PSI says Anthropic's Fable 5.2 solved a quantum conjecture
Original title: PSI is trying to make a business out of AI-driven scientific discovery
Scott Aaronson says he does not fully follow the proof but accepts it after Lean autoformalization.
Physical Superintelligence researcher David Turturean told TechCrunch he used early access to Anthropic's Fable 5.2 to produce a proof of the Aaronson-Ambainis conjecture, an 18-year-old question in quantum query complexity. Scott Aaronson writes that he does not fully understand the proof but believes it because it was autoformalized in Lean and explained by researchers PSI briefed. The result is described as negative: it closes one route, not every route, for quantum speedups. PSI says current revenue comes from data-center physics optimization, while its longer aim is turning theory into technology.
Unconfirmed: Aaronson accepts the proof mainly because of Lean autoformalization and expert review, while saying he does not quite understand it.
- PSI CEO Matt Pines says the system relies on harnesses, tools, memory, and simulation.
- Turturean deferred an MIT CSAIL master's to join the startup.
- Jim Halverson, a Northeastern adviser, will attend an MIT physicists' summit next week.
- Discovered Materials last week offered a $1 million AI challenge on physics problems.
- Vendors
- Anthropic
- Organizations
- Physical SuperintelligenceMIT
- AI models
- Fable 5.2
From the original article
4 min read at techcrunch.com
PSI used an unreleased Anthropic model to answer a fundamental question about quantum computing that scientists have pursued for nearly two decades.
By Tim Fernholz · techcrunch.com
A short excerpt; the article and its images belong to the publisher. Summary, key facts and assessment above are AI-written from the article and can be wrong.