Physical Superintelligence (PSI) announced that its AI research system, powered by an unreleased Anthropic model, proved the Aaronson–Ambainis conjecture, an 18-year-old open problem in quantum computing.
Physical Superintelligence (PSI) announced that its AI research system, powered by an unreleased Anthropic model, proved the Aaronson–Ambainis conjecture, an 18-year-old open problem in quantum computing.
The system produced a mathematical proof in three days, which was accepted by the Lean proof assistant, helping clarify when quantum computers can achieve exponential advantages over classical machines. The result represents a potential milestone for AI-assisted mathematics, although independent peer review is still pending.