AI-for-science startup building automated research systems that proved a quantum computing 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.
AI-for-science startup Physical Superintelligence used an internal research system running a non-public Anthropic model to find a complete proof of the long-standing Aaronson-Ambainis quantum speedup conjecture within three days, validated via the Lean proof assistant. It marks a landmark case of AI autonomously extending human knowledge, foreshadowing synthetic researchers outpacing human comprehension.