
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.
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.
Summaries like this, every morning.
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.
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 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.
FRAIM announced a free online webinar on November 12, 19 and 26, 2026, each day from 13:00 to 14:00, where pre…

At the Palm Beach CorpGov Forum panel "Supporting Your CFO in the AI Era," Sysdig CFO Karen Walker said ROI ca…

Google opened a public-preview REST API and MCP server for Gemini Notebook to individual accounts; the author…

An OpenAI and Upwork report published November 10 found AI-related Upwork postings grew 45% more diverse in ta…

Google's November Pixel Drop brings personalized suggestions (formerly Magic Cue), the Rambler voice input sys…

Nvidia CEO Jensen Huang admitted to an affair with Alice Huang, a woman suspected of being a Chinese spy, repo…
