# PSI uses Anthropic's Fable 5.2 to solve the Aaronson-Ambainis conjecture

> Original title: PSI is trying to make a business out of AI-driven scientific discovery

- Source: TechCrunch · AI
- Published: 2026-11-10T19:03:52.000Z
- Bad Influence: https://badinfluence.news/items/tg7kgmjhqm1xghlknjq2jjpj4
- Original: https://techcrunch.com/2026/11/10/psi-is-trying-to-make-a-business-out-of-ai-driven-scientific-discovery/

## Summary

Physical Superintelligence (PSI) researcher David Turturean used early access to Anthropic's Fable 5.2 model to solve the Aaronson-Ambainis conjecture, a quantum computing problem open for eighteen years. Scott Aaronson says he does not fully follow the proof but believes it is correct because it was autoformalized in Lean. PSI's CEO Matt Pines says its revenue currently comes from using its tools to optimize data center simulations.

## Why it matters

The article links one solved quantum computing conjecture to PSI's business model of specialized research harnesses and validation through experiments.