techcrunch.com
Nov 11, 2026
PSI is trying to make a business out of AI-driven scientific discovery
AI-summarised brief · reviewed before publication
MIT graduate David Turturean, working at PSI, used Anthropic’s Fable 5.2 to solve the 18‑year‑old Aaronson‑Ambainis conjecture, a key problem in quantum query complexity. The proof, auto‑formalized in Lean, was shared with top researchers, including Scott Aaronson, who confirmed its correctness. PSI’s success illustrates the growing role of AI in tackling deep scientific questions and signals a shift toward AI‑driven research systems that combine specialized models, scaffolding, and experimental validation. The company currently monetizes its tools through data‑center optimization while pursuing broader physics applications.
💡 Why It Matters
- · The breakthrough demonstrates that AI can now resolve long‑standing theoretical physics problems, reshaping how scientific research is conducted and accelerating the transition from theory to practical technology.
