Physical Superintelligence says an internal research system running an unreleased Anthropic model closed the Aaronson-Ambainis quantum-speedup conjecture — open since 2008. A Lean proof assistant accepted the complete argument on day 3, and the system improved its own bound twice more.
No peer review yet and the audit is internal, but the proof is machine-checkable, which is a higher bar than the usual 'the model wrote a plausible PDF.' If even half holds, this is one of the strangest AI stories of the year.
Key points
- Conjecture open since 2008
- Complete proof on day 3 of the run
- Verified by Lean 4; improved twice
- No peer review yet; audit internal
Read the full story on threerouter: https://www.threerouter.com/blog/359
Top comments (0)