
A Fermat-sejtésre a professzor 5 évet és 1 millió fontot kapott — a Claude 11 nap alatt végzett
Az Anthropic 2026. szeptember 4-én bejelentette: a Claude 11 nap alatt, jórészt önállóan elkészítette a Fermat-sejtés első teljes, géppel ellenőrzött bizonyítását Lean nyelven — 13 millió sor kód, 29 500 tétel. A Nature szerint a feladatra 10 évet szántak. Miért fontos ez annak, aki szoftvert ad el, nem tételt bizonyít?
























































