Aaronson-Ambainis Conjecture

Startup lab Physical Superintelligence (PSI) used early access to Anthropic's Fable 5.2 model to solve the 18-year-old Aaronson-Ambainis conjecture in quantum computing, and is now trying to build a business around AI-driven scientific discovery. The proof was autoformalized in Lean and reviewed by top researchers, marking a landmark case of AI directly producing frontier mathematical results.