Notes on engineering, design, and what I'm building. Mostly evergreen.
· 5 min
The Startup Race to Make AI Mathematicians
Well-funded AI startups are luring top mathematicians from academia to build systems that can solve complex problems and verify their own correctness, sparking both excitement and unease about the future of mathematics.