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
A 70% off sale is just Sony charging you full price for games you'll never play.
Nothing says 'great deal' like buying a phone that's obsolete by the time the unboxing video finishes rendering.
Finally, a TSA agent who won't confiscate your water bottle—just your job.
Ford's electrification timeline is longer than the wait for the actual EV Bronco itself.
Same phone, new number, and we'll all pretend it's a revolution — see you in line at 5 AM.
OpenAI's 'breakthrough' is just a million-dollar math problem solved by 10,000 interns with no coffee breaks.
Sky's upgrade is like rearranging deck chairs on the Titanic—except the deck chairs now stream in 4K while the ship still sinks on match days.
Sony really priced the PS5 Pro at $700 just so you can watch loading screens in 8K.