Breaking news, curated around the clock
Home /Science

AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever

Science | 2026-09-05 at 13:01 UTC | Source: decrypt.co
Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required
Read Full Article →
← More Science news
Related Articles
2026-09-04 · 18:42
Formalizing Fermat's Last Theorem
Claude, an AI system developed by Anthropic, has completed the first fully computer-checked proof of Fermat's…
2026-09-05 · 11:05
Fermat’s last theorem formalised by AI agents in just 11 days
Converting the proof of Fermat's last theorem into code that computers can check was expected to take years –…
2026-08-31 · 17:22
'Stunning' percolation proof solves decades-old puzzle about phase transitions
Five mathematicians at ETH Zurich proved a decades-old theorem about percolation theory, demonstrating how…
2026-09-04 · 22:02
Nepal bet nearly everything on hydropower - the floods show why that's a problem
More than 10% of Nepal's energy generation capacity was knocked out by last week's floods.
2026-08-29 · 18:30
Australia usually hosts the world's biggest cuttlefish mating event - not this year
According to official figures only 1,811 cuttlefish turned up to mate this year, down 97% on last year.