{"slug": "physical-superintelligence-says-its-ai-system-proved-the-aaronson-ambainis", "title": "Physical Superintelligence says its AI system proved the Aaronson-Ambainis conjecture", "summary": "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.", "body_md": "# Physical Superintelligence says its AI system proved the Aaronson-Ambainis conjecture\n\n**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.**\n\n        By [Ryan Merket](https://runtimewire.com/author/ryan-merket)\n        · Published \n\nPrimary source: [X · @psipbc](https://x.com/psipbc/status/2118706269506949152?a=-5kCkM3FKucH5Iy4lD8&s=46)\n\n## Why it matters\n\nIf 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.\n\nPhysical 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.…\n\nWhen 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.", "url": "https://wpnews.pro/news/physical-superintelligence-says-its-ai-system-proved-the-aaronson-ambainis", "canonical_source": "https://runtimewire.com/article/physical-superintelligence-aaronson-ambainis-proof", "published_at": "2026-11-06 16:40:14+00:00", "updated_at": "2026-11-06 19:51:14.597257+00:00", "lang": "en", "topics": ["artificial-intelligence", "ai-research", "large-language-models", "ai-agents"], "entities": ["Physical Superintelligence", "David Turturean", "Anthropic", "Lean", "Aaronson-Ambainis conjecture"], "also_reported_by": [], "alternates": {"html": "https://wpnews.pro/news/physical-superintelligence-says-its-ai-system-proved-the-aaronson-ambainis", "markdown": "https://wpnews.pro/news/physical-superintelligence-says-its-ai-system-proved-the-aaronson-ambainis.md", "text": "https://wpnews.pro/news/physical-superintelligence-says-its-ai-system-proved-the-aaronson-ambainis.txt", "jsonld": "https://wpnews.pro/news/physical-superintelligence-says-its-ai-system-proved-the-aaronson-ambainis.jsonld"}}