PSI is trying to make a business out of AI-driven scientific discovery

Physical Superintelligence (PSI) used early access to Anthropic's Fable 5.2 model to solve the eighteen-year-old Aaronson-Ambainis conjecture in quantum query complexity, a result Scott Aaronson said he believes is correct because it was autoformalized in Lean and reviewed by top researchers. PSI, which currently earns revenue by optimizing data centers, aims to convert theoretical physics breakthroughs into technologies, though CEO Matt Pines noted that physics differs from math because "nature gets a vote in your models of reality." The company held its result until Anthropic's model was nearly ready for release, sharing it with relevant researchers, as adviser Jim Halverson said best practices for such work are still emerging.