TechAILatest.newsTrackers

Physical Superintelligence news

AI for physics and mathematics company1 story

Physical Superintelligence (PSI) is a public benefit corporation that builds AI research systems for physics and mathematics.

Every story about Physical Superintelligence

Abstract illustration of orbits and a graph of data pointsTech AI Latest

Physical Superintelligence publishes Lean-checked proof of the Aaronson-Ambainis conjecture

AI Research

PSI says a non-public Anthropic model, run in its research harness, proved the Aaronson-Ambainis conjecture. A Lean 4 formalization of the proof is on GitHub.

Summary

Physical Superintelligence (PSI) published a paper and a Lean 4 formalization on 6 November 2026 proving the Aaronson-Ambainis conjecture, an open problem in quantum query complexity. The proof was produced by instances of a non-public Anthropic model inside a harness built by PSI's David Turturean, who reviewed the paper. Lean's kernel and a second independent checker accepted the four final theorems. Scott Aaronson wrote that he believes the proof is correct.