# Physical Superintelligence says its AI system proved the Aaronson-Ambainis conjecture > Source: > Published: 2026-11-06 16:40:14+00:00 # Physical Superintelligence says its AI system proved the Aaronson-Ambainis conjecture **Led by PSI technical staffer David Turturean, the system used a non-public Anthropic model and produced a proof that Lean accepted on the third day of the run.** By [Ryan Merket](https://runtimewire.com/author/ryan-merket) · Published Primary source: [X · @psipbc](https://x.com/psipbc/status/2118706269506949152?a=-5kCkM3FKucH5Iy4lD8&s=46) ## Why it matters If the proof holds under outside scrutiny, it settles a question open since 2008 about where exponential quantum speedups can occur and gives PSI's virtual-physicist model a result the field can verify in Lean rather than take on trust. Physical Superintelligence says an internal AI research system has proved the Aaronson-Ambainis conjecture, a problem open since 2008 that bears on when quantum computers can beat classical machines by an exponential margin. [Physical Superintelligence (@psipbc)](https://x.com/psipbc?ref=runtimewire) announced the result [in a thread on X](https://x.com/psipbc/status/2118706269506949152?a=-5kCkM3FKucH5Iy4lD8&s=46&ref=runtimewire) on November 6th and published [its research page](https://psi.inc/research/aaronson-ambainis/?ref=runtimewire) the same day.… When you purchase through links in our articles, [we may earn a small commission](https://runtimewire.com/affiliate-monetization-standards). This doesn’t affect our editorial independence.