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,