
The Frontier
React's creator closed Conway's 50-year-old conjecture with AI
The most interesting AI proof of the year did not come out of a lab. It came out of a software engineer's chat subscriptions, a swarm of agents he admits he didn't understand, and a Lean repository anyone can check. Dan Abramov, co-creator of React, says he proved Conway's refinement conjecture — an open problem John Conway posed 50 years ago in On Numbers and Games — using a self-built laboratory of AI agents that he steered mostly on instinct. He was not being modest when he wrote that he is










