A breakthrough in quantum query complexity has been achieved by a researcher utilizing cutting-edge artificial intelligence, effectively resolving the 18-year-old Aaronson-Ambainis conjecture. The milestone was accomplished by David Turturean, a member of the technical staff at the startup lab Physical Superintelligence (PSI), who leveraged early access to Anthropic’s Fable 5.2 model to tackle the complex mathematical problem. The conjecture focuses on evaluating whether quantum computers can consistently outperform classical systems across specific computational tasks.

The resulting proof successfully closes off a prominent theoretical avenue for quantum acceleration, signaling a major shift in how complex scientific challenges are approached. Scott Aaronson, one of the original authors of the problem, admitted mixed feelings of awe and fatigue regarding the speed at which artificial intelligence handled the task, noting that the solution was rigorously autoformalized in Lean, a specialized coding language for mathematics.

While PSI focuses heavily on theoretical breakthroughs, the startup currently generates its primary revenue by applying proprietary tool harnesses and simulation infrastructure to optimize data center environments. By accurately modeling variables such as heat, power consumption, and acoustics, the firm aims to bridge the gap between abstract computational physics and tangible, real-world technological applications.

As artificial intelligence increasingly reshapes the landscape of scientific research, academics and industry leaders are actively working to establish new standards for transparency, peer review, and validation. With experiments remaining a vital component of physical sciences—where nature ultimately dictates the validity of a model—startups are building continuous feedback loops to translate computational discoveries into practical physical devices.

Key Takeaways

• Researchers at Physical Superintelligence (PSI) used advanced AI to solve the 18-year-old Aaronson-Ambainis conjecture in quantum computing.
• The breakthrough proof was autoformalized in Lean, a coding language for mathematics, and verified by leading physicists.
• PSI currently monetizes its technology by optimizing data center physics, with a long-term goal of turning theoretical physics into practical hardware.

Editor’s Analysis & Impact

The successful application of artificial intelligence to solve the Aaronson-Ambainis conjecture marks a pivotal moment in computational science and theoretical physics. For decades, complex proofs relied heavily on human intuition and exhaustive academic collaboration. The emergence of specialized AI model harnesses capable of cracking foundational quantum queries suggests that the timeline for scientific discovery is rapidly accelerating. While abstract mathematics and computer science have readily embraced automated proofs, the integration of AI into physical sciences presents unique challenges due to the necessity of real-world validation. Companies like PSI are pioneering a new breed of commercial research laboratories—or ‘neolabs’—that aim to commercialize fundamental physics breakthroughs. However, this shift raises critical questions regarding academic publishing standards, peer review processes, and the future role of human researchers in theoretical domains.

Frequently Asked Questions

Q: What is the Aaronson-Ambainis conjecture?
A: The Aaronson-Ambainis conjecture is a long-standing problem in quantum query complexity that addresses the boundaries of how much faster quantum computers can solve specific problems compared to classical computers.

Q: How was the quantum computing problem solved?
A: A researcher at startup lab PSI utilized early access to Anthropic’s Fable 5.2 model, leveraging specialized AI harnesses to generate the proof, which was subsequently autoformalized in the Lean mathematical coding language.

Q: What does PSI do as a business?
A: PSI currently generates revenue by using its simulation and tool harnesses to optimize the physical performance and environmental impact of data centers, while pursuing long-term goals of commercializing theoretical physics breakthroughs.