Another major AI research breakthrough: Physical Superintelligence says its research system used a non-public Anthropic model to prove the Aaronson-Ambainis conjecture, a central problem in quantum computing that had remained open since 2008.

Physical Superintelligence says its AI research system proved the Aaronson-Ambainis conjecture, a central problem in quantum computing that had remained open since 2008, using a non-public Anthropic model. The system reportedly found a complete proof on its third day of work, and the final version was checked with the Lean proof assistant. If the proof holds up, it would be a striking case of AI resolving a long-standing open problem and clarifying when quantum computers can achieve an exponential advantage over classical ones.

• Kim2026-11-06 16:01