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) 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.