PSI researcher uses Anthropic's Fable 5.2 to solve Aaronson-Ambainis conjecture
Overview
David Turturean, a researcher at Physical Superintelligence (PSI), used early access to Anthropic's Fable 5.2 model to solve the Aaronson-Ambainis conjecture, a quantum computing problem open for eighteen years, according to TechCrunch.
Scott Aaronson says he does not fully follow the proof but believes it is correct because it was autoformalized in Lean.
PSI CEO Matt Pines says the company's revenue currently comes from using its tools to optimize data center simulations, not from the quantum result.
Written by AI from the articles below · updated Nov 10, 2:18 PM ET
Check the sources:
Article timeline
The articles in this story. Times are ET.
- TechCrunch · AINewsPickPSI uses Anthropic's Fable 5.2 to solve the Aaronson-Ambainis conjecture
AIPhysical Superintelligence (PSI) researcher David Turturean used early access to Anthropic's Fable 5.2 model to solve the Aaronson-Ambainis conjecture, a quantum computing problem open for eighteen years. Scott Aaronson says he does not fully follow the proof but believes it is correct because it was autoformalized in Lean. PSI's CEO Matt Pines says its revenue currently comes from using its tools to optimize data center simulations.
Heat Trend
Not enough continuous observations to show a trend yet.