Skip to content
NewA calmer, faster ZeroHour
StoryAI researchinfo

Physical Superintelligence AI proves Aaronson-Ambainis conjecture

2 sources · 2 articlesFirst reported Updated ()
What's new

First merged summary.

Merged summary · x-ai/grok-4.7 · rewritten as coverage arrivesSummaries by Vani AI

A Physical Superintelligence system produced a Lean-accepted proof of the Aaronson-Ambainis conjecture using an Anthropic model.

Physical Superintelligence says an internal AI system proved the Aaronson-Ambainis conjecture, an 18-year-old question in quantum query complexity about when quantum computers are exponentially faster. Researcher David Turturean told TechCrunch he used early access to Anthropic’s non-public Fable 5.2; Import AI reports a complete proof was accepted by Lean on day three. Scott Aaronson writes that he does not fully follow the proof but accepts it after Lean autoformalization and briefings by PSI researchers. The result is described as negative: it closes one route to quantum speedups, not every route. PSI says revenue now comes from data-center physics optimization, while its longer aim is turning theory into technology.

Key facts
  • Proof of the Aaronson-Ambainis conjecture was accepted by Lean on day three.
  • David Turturean used early access to Anthropic’s Fable 5.2.
  • Aaronson accepts the result after Lean autoformalization despite not fully following it.
  • The result closes one route to quantum speedups, not every route.
  • CEO Matt Pines says the system uses harnesses, tools, memory, and simulation.
  • PSI says current revenue is from data-center physics optimization.
Explain this AI news with Vani AIWhat was announced, what is new and why it matters, in a new chat

What each outlet adds

beyond the shared facts
  • Import AIReports Lean accepted a complete proof on day three using a non-public Anthropic model.
  • TechCrunchNames Fable 5.2, Aaronson’s reaction, the negative result, and PSI’s business aim.
Vendors
AnthropicMeta
Products
Tactus
Organizations
Physical SuperintelligenceMITNASA Kennedy Space Center
AI models
Fable 5.2Anthropic

Coverage

oldest first · one row per article · UTC
  1. · 1d ago Import AIFirst report

    AI proves Aaronson-Ambainis quantum conjecture; Meta releases Tactus glove

    Physical Superintelligence uses AI to prove quantum computing conjecture; Meta publishes Tactus glove for data collection.

  2. · 6h ago TechCrunch · AI

    PSI says Anthropic's Fable 5.2 solved a quantum conjecture

    Scott Aaronson says he does not fully follow the proof but accepts it after Lean autoformalization.