AI Startup Proves Quantum Computing Conjecture Using Private Claude Model

1 reports archived1 independent sourcesupdated 11/9/2026, 21:31:34

Synthesis & Latest Updates

1 Sources Cross-Validated

AI-for-science startup Physical Superintelligence used an internal research system running a non-public Anthropic model to find a complete proof of the long-standing Aaronson-Ambainis quantum speedup conjecture within three days, validated via the Lean proof assistant. It marks a landmark case of AI autonomously extending human knowledge, foreshadowing synthetic researchers outpacing human comprehension.

LATEST/AI-for-science startup Physical Superintelligence used an internal research system running a non-public Anthropic model to find a complete proof of the long-standing Aaronson-Ambainis quantum speedup conjecture within three days, validated via the Lean proof assistant. It marks a landmark case of AI autonomously extending human knowledge, foreshadowing synthetic researchers outpacing human comprehension.

Hourly heat curve

5 fully observed hours

Now

18.6

Peak

19.822:00

24h change

–

The line compares only sources observed throughout; gap hours are interpolated to keep the trend continuous.

Coverage timeline

Total 1 reports · Latest first

Import AI (Jack Clark)T1Nov 9, 21:31·78 pts
AI Startup Proves Quantum Computing Conjecture Using Private Claude Model
- The PSI research system produced a complete proof by day three of its run, formally checked in Lean
- The conjecture, open since 2008, concerns when quantum computers can achieve exponential speedup
- Synthetic researchers may outpace human comprehension, posing a new paradigm challenge for science
View Related Reports & Analysis Original Source