AI Startup Proves Quantum Computing Conjecture Using Private Claude Model

2 reports archived2 independent sourcesupdated 11/11/2026, 03:03:52

Synthesis & Latest Updates

2 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

39 fully observed hours

Now

18.1

Peak

21.604:00

24h change

+24%

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

Coverage timeline

Total 2 reports · Latest first

TechCrunch AIT2Nov 11, 03:03·74 pts
PSI Uses AI to Crack 18-Year-Old Quantum Computing Conjecture
- PSI solved an 18-year-old quantum computing conjecture using early access to Anthropic's Fable 5.2
- The proof was autoformalized in Lean and reviewed by top researchers, though the author admits he doesn't fully understand it
- PSI is attempting to turn AI-driven scientific discovery into a sustainable business
View Related Reports & Analysis Original Source
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

Hourly heat curve

Coverage timeline

PSI Uses AI to Crack 18-Year-Old Quantum Computing Conjecture

AI Startup Proves Quantum Computing Conjecture Using Private Claude Model