Claude skriver datorverifierat bevis för Fermats sista sats
Anthropic har publicerat ett datorverifierat bevis för Fermats sista sats. AI-modellen Claude genererade beviset i programmeringsspråket Lean under elva dagars autonomt arbete.
Vad har hänt?
Anthropic har publicerat vad som beskrivs som det första kompletta datorverifierade beviset för Fermats sista sats. AI-modellen Claude arbetade i stort sett autonomt under 11 dagar med att skriva beviset i programmeringsspråket Lean. Beviset bygger vidare på matematikern Sir Andrew Wiles historiska pappersbevis från 1995.
Snabbfakta
| AI-modell | Claude |
|---|---|
| Programmeringsspråk | Lean |
| Tidsåtgång | 11 dagar |
| Publiceringsdatum | 4 september 2026 |
”We are sharing the first complete computer-checked proof of Fermat’s Last Theorem. Claude worked largely autonomously over 11 days to write the proof in the Lean programming language.”
Varför spelar det roll?
Att översätta ett 129 sidor långt komplext matematiskt bevis till kod som en dator kan verifiera har tidigare krävt år av manuellt arbete från matematiska experter. Att en AI-modell kunnat utföra större delen av formaliseringen på drygt en vecka markerar ett tydligt framsteg inom automatiserad forskning och datoriserad matematik.
Vem påverkas?
Nyheten berör främst forskare inom matematik, datavetenskap och AI-utveckling. Utvecklare som arbetar med automatisk bevisföring och formell verifiering får ett nytt referensfall för hur storskalig resonemangsförmåga kan tillämpas.
Hur påverkas EU?
Arbetet påverkas inte direkt av EU-specifika AI-regelverk som EU AI Act, men görs tillgängligt globalt i öppen källkod. Det innebär att forskare och matematiker inom EU kan granska och använda beviset fritt.
Vad mer bör du veta?
Själva grundarbetet bygger på den formella matematiken i Lean-miljön och har delats offentligt av Anthropic för vidare granskning av det matematiska samfundet.
Snabba svar om den här nyheten
Vad har hänt?
När hände det?
Varför spelar det roll?
Vilka berörs av detta?
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
- Avgör om detta påverkar strategin på 6–12 månaders sikt eller är brus.
- Diskutera i ledningsgruppen: äger vi rätt fråga eller behöver ansvaret flyttas?
- Fråga: vilken risk tar vi genom att INTE agera på det här den här kvartalet?
Genererad vinkling — inte redaktionell analys av "Claude skriver datorverifierat bevis för Fermats sista sats"