AIToday
Large Language ModelsAI Business & IndustryTechCrunch AIPublished: Nov 11, 2026, 06:00 JST

PSI's Turturean solves 18-year-old quantum problem with Fable 5.2

Send on LINE
PSI's Turturean solves 18-year-old quantum problem with Fable 5.2

3 Key Points

  1. What happened

    David Turturean of startup lab Physical Superintelligence used early access to Anthropic's Fable 5.2 to solve the 18-year-old Aaronson-Ambainis conjecture; co-poser Scott Aaronson says he believes the proof is correct after it was autoformalized in Lean and explained by top researchers.

  2. Why it matters

    The result is a negative one that closes off one avenue for quantum computers to solve certain hard problems fast, and it suggests specialized model harnesses can crack open problems that eluded broader AI math efforts.

WHO IT HITSResearch labs and academic physicists now face a faster pipeline of AI-generated proofs and will need to agree on validation standards, while PSI's data-center optimization customers fund a longer bet on turning theoretical physics into technology.

Not sure about something? Ask the AI

Questions and answers are published on this page.

Summaries like this, every morning.

Context & Analysis

The Aaronson-Ambainis conjecture had stood for 18 years as one of the last centrally important open problems in quantum query complexity, so its resolution by a recent MIT graduate working at a startup is a notable shift in who produces foundational results. Scott Aaronson's reaction — surprised it was missing from OpenAI's recent math-focused release — points to a gap between broad model capabilities and targeted research systems.

PSI's approach is to wrap models in what CEO Matt Pines calls harnesses, tools, memory systems and simulation infrastructure, letting the system attack a problem at breadth and depth rather than relying on a single model pass. That framing helps explain why a startup rather than a major lab got there first, and why Pines says theoretical physics is not yet mostly the domain of machines but is on its way.

The company's commercial base is narrower than its ambitions: revenue today comes from optimizing data centers by simulating heat, power, water and sound. Pines acknowledges that physics differs from math because nature gets a vote, and PSI is focused on validating computational results through experiments. The academic side is still catching up on norms — PSI held its result until Anthropic's model was nearly ready for release, shared it with researchers, and Halverson will join an MIT summit next week where physicists try to agree on a response.

FAQ
What exactly did PSI solve?
David Turturean solved the Aaronson-Ambainis conjecture, an 18-year-old open problem about whether quantum computers can solve certain problems faster than classical ones. The result is a negative one that rules out one avenue, not all quantum speedups.
How does PSI make money now?
Its revenue comes from using its tools to optimize data centers by simulating heat, power, water and sound variables. The longer-term plan is converting theoretical physics breakthroughs into actual technologies.
Why did Scott Aaronson accept the proof?
He writes that he doesn't fully understand it but believes it is correct because it was autoformalized in Lean, a coding language for math, and explained by a team of top researchers PSI shared the solution with.
Send on LINE

AI news that matters for your work, delivered every morning.

Pick your industry and the AI tools you use, and get news related to your work every day.

Free · 30 seconds with Google · unsubscribe anytimeWhat is AIToday? →

Ask AI

Ask AI anything about this article. The AI reads this article, earlier AIToday articles, and Wikipedia, and cites its sources. Q&As are published on this page for other readers too.

Questions and answers are published on this page.

Related Articles

Next articleGemini Intelligence expands to motorola signature 27 and Pixel 10