Physical Superintelligence says its AI system proved the Aaronson-Ambainis conjecture

Physical Superintelligence announced on November 6 that an internal AI research system, led by PSI technical staffer David Turturean and built on a non-public Anthropic model, produced a proof of the Aaronson-Ambainis conjecture that the Lean proof assistant accepted on the third day of the run. The conjecture has been open since 2008 and concerns when quantum computers can achieve exponential speedups over classical machines. PSI published the result in a thread on X and on its research page; the claim still requires outside scrutiny before it is treated as settling the question.

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.