PSI pursues AI-driven scientific discovery as quantum computing proof sharpens business model
Physical Superintelligence is using advances in AI reasoning to position itself at the intersection of scientific research and commercial applications. Its latest result, an AI-assisted solution to a long-standing quantum computing conjecture, adds momentum to the startup's pitch that specialized model systems can produce valuable breakthroughs.
Highlights
- PSI's David Turturean used Anthropic's Fable 5.2 model to solve the Aaronson-Ambainis conjecture, providing an AI-enabled quantum computing breakthrough.
- PSI generates current revenue by optimizing data centers through modeling heat, power, water, and sound, while positioning for future physics-based product commercialization.
- AI and formal proof tools are accelerating mathematical and computer science research, but PSI highlights ongoing validation challenges in experimental sciences and evolving scientific standards.
Quantum proof strengthens PSI's commercial case
As reported by TechCrunch, PSI says David Turturean, a member of the startup's technical staff and a recent MIT graduate, used early access to Anthropic's unreleased Fable 5.2 model to solve the Aaronson-Ambainis conjecture, an 18-year-old open problem in quantum computing.The conjecture addresses how quantum computers might solve some problems faster than classical machines. Scott Aaronson, one of the researchers behind the problem, says he does not fully understand the proof but believes it is correct because it was autoformalized in Lean and explained by top researchers with whom PSI shared the result.
Turturean says the outcome is a negative result that rules out one possible route for high-speed quantum problem-solving, while leaving other avenues open. The episode also highlights how AI systems are starting to affect research workflows in mathematics and theoretical computer science, where outputs can be checked in formal code.
From data center optimization to physics-based products
PSI's current revenue comes from applying its tools to data center optimization, modeling variables such as heat, power, water and sound. The company says that work ties site performance and community impact directly to physical constraints, while serving as a nearer-term business line than frontier scientific discovery.Over the longer term, PSI is aiming to turn theoretical physics advances into usable technologies. Chief executive Pines says the company is building loops in which AI proposes ideas, researchers validate them efficiently, and successful findings become exploitable facts of nature that can underpin new devices or systems.
The company also acknowledges the limits of AI-led discovery outside highly formal domains. While mathematics and some areas of computer science allow machine-generated results to be verified in code, fields such as physics and life sciences still require experimental confirmation, a challenge that is shaping PSI's validation strategy.
Questions about scientific standards are emerging alongside the technology. Jim Halverson, a Northeastern University professor who advises PSI, says best practices are still taking shape as AI-generated breakthroughs move into mainstream research, and he is attending an MIT summit next week where physicists plan to discuss how the field should respond.
The latest update follows our earlier article on AI data center financing risks amid rising costs, delays, and power constraints in the U.S.