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

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.