PSI solves eighteen-year-old quantum computing conjecture using AI
Physical Superintelligence researchers used Anthropic's Fable 5.2 model to solve the Aaronson-Ambainis conjecture regarding quantum computing speed limits.
Researcher solves long-standing problem
David Turturean, a recent MIT graduate and PSI technical staff member, utilized early access to Anthropic's Fable 5.2 model for this breakthrough. He stated he might publish his final paper soon after resolving the eighteen-year-old Aaronson-Ambainis conjecture about quantum query complexity. Scott Aaronson confirmed the proof is likely correct because it was autoformalized in Lean and explained by a top researcher team.
Company strategy and revenue sources
PSI CEO Matt Pines told TechCrunch that effective research systems require specialized model harnesses, tools, memory systems, and simulation infrastructure. The company currently generates revenue by optimizing data centers for heat, power, water, and sound variables using its physics tools. Investors previously required validation that theoretical physics would soon become the domain of machines, a transition Pines says is underway.
Physics challenges differ from math
Pines noted that physics differs from mathematics because nature votes on models of reality in this less abstracted discipline. Researchers aiming to investigate superconductivity and heat dissipation with AI have been offered a $1 million grand challenge by the startup Discovered Materials that was just released. PSI aims to convert theoretical physics breakthroughs into actual technologies while acknowledging the difficulty of applying AI to life sciences.
Reported by one outlet
Only one outlet has published this. Nothing here has been checked against a second report, so read it as that outlet's account and follow the link below for the original.
Reported by
1 independent outlet. Headline as published. Links open the original report.