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 · Published
Primary source: X · @psipbc
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) announced the result in a thread on X on November 6th and published its research page the same day.…
When you purchase through links in our articles, we may earn a small commission. This doesn’t affect our editorial independence.