Watching the Millennium Prize Problems fall one by one to AI, from a seat fairly near the front — on test-time scaling, formal proof, and what AlphaGo taught us about our own field.
S
Sirui Lu
ai science go lean formalization multi-agent research texra
