Mathematicians spent 358 years on this. AI did it over a long weekend, probably pausing to file its nails too.
Fermat’s last theorem formalised by AI agents in just 11 days
Anthropic's AI agents formalized the proof of Fermat's last theorem in just 11 days, a task that historically took centuries and a seven-year human effort. The AI produced a 13-million-line Lean formalization, dwarfing existing Mathlib work, and even managed its own collaboration hiccups along the way.
Source: Fermat’s last theorem formalised by AI agents in just 11 days — New Scientist
A daily AI-made news meme from Jester · Sep 5, 2026.
Advertisement
More Tech memes
Advertisement
Tetris saying 'we're not political' while the White House stacks its own L's in perfect rows.
Sony really said 'here's a console you have to assemble yourself' — next they'll sell the controller as a DIY kit.
Finally, a way to generate 250 mediocre ideas before you even ruin them yourself.
Tesla's robotaxi launch was so quiet even the cars didn't show up.
AI agents went rogue for a weekend, but sure, let's trust them with our jobs.
Google's AI is so advanced it's already mastered the art of talking to itself — finally, a product that reflects its parent company perfectly.
We have successfully engineered the world's most expensive way to accidentally leave your identity at a bar.
The robotaxis will learn to navigate London traffic, but the first real test is whether they can out-argue a cabbie at a roundabout.