# PSI says AI-assisted proof resolves long-standing quantum computing question

- URL: https://talkfuse.com/story/psi-is-trying-to-make-a-business-out-of-ai-driven-scientific-discovery/
- Published: 2026-11-10T19:03:52+00:00
- Updated: 2026-11-11T04:53:37+00:00
- Original publisher: TechCrunch
- Original article: https://techcrunch.com/2026/11/10/psi-is-trying-to-make-a-business-out-of-ai-driven-scientific-discovery/
- Topics: AI, Research, Science, Technology

## Key points

- AI-assisted proof addresses an 18-year-old quantum computing conjecture.
- The result closes one possible path to quantum speed-ups.
- PSI aims to connect AI discoveries with practical technologies.

## Summary

David Turturean of startup lab Physical Superintelligence says an AI-assisted proof resolves the 18-year-old Aaronson-Ambainis conjecture, a question about when quantum computers can outperform classical computers. The result rules out one possible route to faster quantum problem-solving, though it does not rule out all such routes.

Turturean used early access to Anthropic’s Fable 5.2, and the proof was formalised in Lean, a language for checking mathematical proofs. Scott Aaronson, who helped pose the conjecture, said he believes the proof is correct after it was explained by leading researchers. PSI says its research approach combines specialised models with tools, memory and simulations; its current business optimises data centre operations, while its longer-term aim is to turn theoretical discoveries into technology. The company says validating AI-generated ideas against real-world experiments remains a key challenge.

---
Summarised by TalkFuse (https://talkfuse.com/). Quote the original publisher for the reporting and link this page for the summary and discussion.