18-year-old quantum computing conjecture solved with artificial intelligence support

David Turturean, a researcher at Physical Superintelligence, resolved the 18-year-old Aaronson-Ambainis conjecture—which concerns the speed advantage of quantum computers over classical computers—with the help of artificial intelligence.

David Turturean, a technical staff member at Physical Superintelligence (PSI), gained early access to Anthropic's Fable 5.2 model and solved the eighteen-year-old Aaronson-Ambainis conjecture. Addressing the speed advantage of quantum computers over classical computers, this problem resulted in a negative proof that narrows the scope of quantum query complexity research.

This resulting solution was automatically formalized in the Lean language and reviewed by a group of researchers, including Scott Aaronson, who originally posed the problem. Led by Matt Pines, PSI aims to bring AI-driven scientific discovery into the commercial sphere by building custom model infrastructures and simulation systems. Although the company currently generates its revenue by optimizing data center physics, it aims to transform theoretical successes into practical technologies.

As academic circles discuss the standards of AI-produced scientific research, experts such as Jim Halverson from Northeastern University draw attention to the importance of transparency and expert collaboration.