Anthropic zufolge: Fermats letzter Satz in Lean formalisiert
Der Beweis umfasst 13 Millionen Zeilen Lean-Code und rund 29.500 Zwischentheoreme.
Modelle, Agenten, Anwendungen: künstliche Intelligenz, die an echten Problemen arbeitet.
Hier wird künstliche Intelligenz an Belegen gemessen: was sie leistet, für wen, zu welchen Kosten. Die Rubrik verfolgt Modelle und ihre messbaren Fortschritte, Agenten, die echte Aufgaben erledigen, und vor allem den Einsatz in der Praxis — ein Krankenhaus, das mehr Patienten untersucht, ein besser gesteuertes Stromnetz, eine Verwaltung, die schneller antwortet. KI als Spektakel, Finanzierungsrunden ohne Produkt und Prophezeiungen finden hier nicht statt.
Wir bevorzugen dokumentierte Anwendungsfälle mit Zahlen: wie viele Untersuchungen, welche Fehlerquote, welche Ersparnis. Nichtwestliche Akteure — Labore aus China, Indien, den Emiraten — werden wie die amerikanischen behandelt, weil ein Großteil des realen Einsatzes dort stattfindet. Jeder Artikel nennt seine Quellen und trennt den Prototyp vom Dienst in Produktion.
Der Beweis umfasst 13 Millionen Zeilen Lean-Code und rund 29.500 Zwischentheoreme.
Detection results will be sent directly to customers’ security teams, eliminating the need for manual review by Anthropic.
Fable 5.1 is available today through cloud platforms and Anthropic’s API.
Janelia neuroscientist Arco Bast built the Model Hardware Standard with Anthropic and Claude Code.
Anthropic’s update lets Claude carry project details from conversations into Cowork without a fresh briefing.
The US-only API offers models from OpenAI, Anthropic, DeepSeek and other providers.