PSI Proves the Aaronson-Ambainis Conjecture Using an AI System
Understand the story
AI science startup Physical Superintelligence (PSI) has completed a proof of the Aaronson-Ambainis quantum computing conjecture using its in-house system, which runs a non-public Anthropic model. According to Import AI, the system produced a complete proof of the conjecture on the third day of running, and the result was verified with the Lean proof assistant. Afterward, the system further improved the proof twice.
AI overview of reporting · Updated 2 h前
Reporting timeline
Explore different aspects of the story through its reporting.
- Import AIImport AI 480: Self-sustaining space economies; AI for science progress, and Meta builds perfect hands for a superintelligence
AI science startup Physical Superintelligence, using its in-house research system running an undisclosed Anthropic model, produced a complete proof of the Aaronson-Ambainis quantum computing conjecture on day three of a run, verified with the Lean proof assistant, and then improved the result twice more.
Story heat trend
Not enough continuous observations to show a trend yet.