Every July, the best coders in the world meet in Tokyo.
They compete in the AtCoder World Tour Finals. In July 2025, an AI joined them.
The whole story, in writing
July 2025
Humanity prevails (for now)
Przemysław Dębiak (“Psyho”) against an OpenAI reasoning model. The model led for most of the ten-hour heuristic final; Psyho caught it at the very end, on three days of almost no sleep. The models weren't good enough for the algorithmic division at all that year.
July 2026
Humanity surrenders
The organizers reportedly picked a heuristic problem designed to favor humans. It didn't matter: Psyho reckoned the human field would have needed several more days to match the model. The next day it solved all five algorithmic problems, two that no human in the room cracked. Two “humanity surrenders” awards, one per division.
July 2026
And then, new science
Mathematician Levent Alpöge announced that Claude Fable 5 found a counterexample to the Jacobian conjecture, open for 87 years and independently verified within days. Timothy Gowers called it the first example he knew of an LLM solving a famous problem outside his own area.
September 2026
A Millennium Prize problem
Then OpenAI announced that about 10,000 of its agents, working for 88 hours, had proved that the Navier–Stokes equations (the equations of how fluids move) can blow up in finite time when pushed by a smooth force. It is one of the seven Millennium Prize problems, each worth a million dollars. The proof was checked by computer, and the Clay Mathematics Institute said the problem had “apparently been settled.” The unforced version is still open.
- P vs NP
- Riemann hypothesis
- Hodge conjecture
- Yang–Mills mass gap
- Birch & Swinnerton-Dyer
- PoincaréPerelman, 2003
- Navier–StokesAI agents, 2026









