13 Millionen Zeilen Code: KI verifiziert Beweis von Fermats letztem Satz
heise online – KIde
Anthropic hat nach eigenen Angaben erstmals eine vollständig computerverifizierte Fassung von Fermats letztem Satz vorgelegt – erstellt von Claude-Agenten.
This is a short summary published by AI Global Wire. The full article is owned and hosted by heise online – KI — open it there to read it in full.
Read the full story at heise online – KI- Anthropic
- Agenter
Related AI news
- Authors push back as publishers and agents seek share of Anthropic settlementTechCrunch AI · September 6, 2026
- Authors push back as publishers and agents make claims on Anthropic settlementTechCrunch AI · September 6, 2026
- Fermats letzter Satz: KI liefert maschinell geprüften Beweisheise online – KI · September 6, 2026
- Analysis: since October, Anthropic has entered into agreements for at least 14.8 GW of compute capacity and may spend as much as $517B over the next decade (Valida Pau/The Information)Techmeme · September 6, 2026
- OpenAI says it hit its "automated research intern" goal, its researchers now use 3.1 agent-workdays per human workday, and top users spend $7,000+/day on tokens (OpenAI)Techmeme · September 6, 2026
- Unheimliches Schwarmverhalten: OpenAI-Agenten kollaborieren auf deutschem Wikiheise online – KI · September 6, 2026