Claude bevisar Fermats sista teorem – genererade 13 miljoner rader Lean-kod
Anthropic har meddelat att AI-modellen Claude har skapat det första maskinverifierade beviset för Fermats sista teorem med 13 miljoner rader Lean-kod.
Vad har hänt?
Den 4 september 2026 meddelade Anthropic att deras AI-modell Claude har slutfört en helt maskinverifierad formalisering av Fermats sista teorem. Claude arbetade i stort sett autonomt under 11 dagar och genererade cirka 13 miljoner rader kod i bevisassistenten Lean 4. Det är det första kompletta maskinverifierade beviset för det historiska teoremet.
Snabbfakta
| Offentliggjort datum | 4 september 2026 |
|---|---|
| Tidsåtgång | 11 dagar |
| Kodvolym | 13 miljoner rader Lean 4-kod |
| Utvecklare | Anthropic |
”Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—guarantees mathematical correctness.”
Varför spelar det roll?
Att kontrollera stora matematiska bevis manuellt tar ofta flera år. Genom att konvertera matematiska resonemang till kod i verifieringssystem som Lean 4 kan datorer kontrollera korrektheten automatiskt. Claude visar att AI-modeller nu kan utföra avancerad logisk formalisering och kodgenerering under flera dagar i sträck med minimal mänsklig mänsklig styrning.
Vem påverkas?
Resultatet berör främst matematikforskare, AI-utvecklare och experter inom formell verifiering. Det öppnar för att AI kan användas till att automatisera verifieringen av extremt komplexa matematiska bevis som annars tar åratal för mänskliga experter att kontrollera.
Hur påverkas EU?
Arbetet och koden för den maskinverifierade bevisföringen är publicerade globalt av Anthropic och finns tillgängliga för forskare och utvecklare inom EU utan restriktioner.
Vad mer bör du veta?
Antalet rader kod uppgår till cirka 13 miljoner rader Lean 4-kod. Anthropic har publicerat forskningsresultaten och koden öppet så att andra matematikforskare och utvecklare ska kunna granska och bygga vidare på bevisföringen.
Snabba svar om den här nyheten
Vad har hänt?
När hände det?
Varför spelar det roll?
Är resultaten tillgängliga för forskare?
Länken öppnar i nytt fönster och leder till utgivarens egen sida.
Källan har spårats automatiskt från utgivaren via Aheadlines signalkedja.
AI-verktyg i artikeln
Ämnen
Få liknande nyheter direkt i mejlen
Läsarrummet
Skicka in en fråga eller ett tillägg. Redaktionen läser allt innan det publiceras och svarar när det är relevant. Ingen AI-fri text – bara människor.
Logga in för att skicka in en kommentar eller fråga.
Läs artikeln genom din roll
- Bedöm teknisk risk: modellval, leverantörsberoende, dataflöde och driftskostnad.
- Uppdatera arkitekturdokumentet om nya API:er eller regelkrav berör produktionen.
- Säkerställ observability + rollback-plan innan ni rullar ut i skarpt.
Genererad vinkling — inte redaktionell analys av "Claude bevisar Fermats sista teorem – genererade 13 miljoner"