> ## Content Index
> Fetch the complete content index at: https://adjacent.media/llms.txt
> Use this file to discover other available public pages before exploring further.

# AI startup proves quantum computing conjecture, automating theoretical breakthroughs
- URL: https://adjacent.media/signals/ai-startup-proves-quantum-computing-conjecture-automating-theoretical-breakthroughs/
- Published: 2026-11-09T17:18:40.000Z
- Updated: 2026-11-09T17:18:40.000Z
- Description: Physical Superintelligence used an Anthropic model to formally prove the Aaronson-Ambainis conjecture—a foundational 16-year-old problem about quantum speedup—with Lean verification. The system iterated on the proof twice, improving the result without human guidance.
- Author: Jonathan Greene
- Tags: #signal, theme-ai, ai for science, research breakthroughs, ai capabilities

Source: [Import AI](https://open.substack.com/pub/importai/p/import-ai-480-self-sustaining-space)

Physical Superintelligence used an Anthropic model to formally prove the Aaronson-Ambainis conjecture—a foundational 16-year-old problem about quantum speedup—with Lean verification. The system iterated on the proof twice, improving the result without human guidance. This marks a shift from AI assisting human mathematicians to AI autonomously settling open questions in pure mathematics. The speed of normalization matters more than the capability itself. What once took years to move from breakthrough to routine is now compressing into months.