Fermats letzter Satz, maschinell geprüft
Für n größer als zwei gibt es keine positiven ganzen a, b, c mit aⁿ + bⁿ = cⁿ. Der Satz war bereits bewiesen; Claude formalisierte ihn.
Redaktionelle Zusammenfassungen fremder Aussagen; keine eigene Beweiszertifizierung und keine Vertretung der genannten Unternehmen.
Für n größer als zwei gibt es keine positiven ganzen a, b, c mit aⁿ + bⁿ = cⁿ. Der Satz war bereits bewiesen; Claude formalisierte ihn.
Claude löste die Riemannsche Vermutung nicht. Anthropic berichtet aber eine Erhöhung der nachweisbaren Untergrenze von 41,6 % auf 67,2 %.
AI for science · provider_announcement
We’re highlighting 20 scientific foundations, institutions, and research groups from around the world that we’ve partnered with in an expansion of our AI for Science
Automatisch gesichtet · hier nicht fachlich begutachtetForschungsnotiz lesen ↗Complexity theory · provider_announcement
Working largely on its own, Claude designed quantum circuits that improve on the best published versions, in some cases by an order of magnitude or
Automatisch gesichtet · hier nicht fachlich begutachtetForschungsnotiz lesen ↗Evaluation & safety · provider_announcement
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.
Automatisch gesichtet · hier nicht fachlich begutachtetForschungsnotiz lesen ↗AI models · provider_announcement
Claude Frontier Academy trains Frontier Deployed Engineers to the standard of Anthropic’s own — a $100 million commitment to train 10,000 by the end of
Automatisch gesichtet · hier nicht fachlich begutachtetForschungsnotiz lesen ↗AI models · provider_announcement
Barclays, the British universal bank, is expanding its strategic collaboration with Anthropic to integrate secure, enterprise-grade AI systems across its global operations.
Automatisch gesichtet · hier nicht fachlich begutachtetForschungsnotiz lesen ↗Evaluation & safety · provider_announcement
We’re partnering with Accenture on independent evaluation of frontier AI—part of our recent commitment to embed evaluators at Anthropic. Both we and Accenture expect to
Automatisch gesichtet · hier nicht fachlich begutachtetForschungsnotiz lesen ↗AI models · provider_announcement
We're launching the Anthropic Economic Index connector for Claude, which lets anyone explore the data directly.
Automatisch gesichtet · hier nicht fachlich begutachtetForschungsnotiz lesen ↗AI models · provider_announcement
Verified US K-12 educators get free access to premium Claude capabilities, a teaching skills library, and standards-aligned curricula for all 50 states.
Automatisch gesichtet · hier nicht fachlich begutachtetForschungsnotiz lesen ↗AI models · provider_announcement
Anthropic is committing $10M to Canadian research institutions to fund the next generation of AI research.
Automatisch gesichtet · hier nicht fachlich begutachtetForschungsnotiz lesen ↗AI models · provider_announcement
Former Federal Reserve Chair Ben Bernanke has been appointed to Anthropic's Long-Term Benefit Trust, bringing expertise on AI's economic impacts.
Automatisch gesichtet · hier nicht fachlich begutachtetForschungsnotiz lesen ↗Evaluation & safety · provider_announcement
The Government of Alberta has been using Claude Code with both Opus and Sonnet models to review its systems, find vulnerabilities, and fix them.
Automatisch gesichtet · hier nicht fachlich begutachtetForschungsnotiz lesen ↗AI models · provider_announcement
Claude Corps is a national fellowship for early-career people passionate about extending the benefits of AI to communities across America.
Automatisch gesichtet · hier nicht fachlich begutachtetForschungsnotiz lesen ↗