KEY POINTS
- A PSI staff member used early access to Anthropic's Fable 5.2 model to address the Aaronson-Ambainis conjecture, open for 18 years.
- The proof was autoformalized in Lean and explained by top researchers, and Scott Aaronson says he believes it is correct.
- PSI currently earns revenue by optimizing data centers and aims to turn theoretical physics results into technologies.
A researcher at the startup lab Physical Superintelligence (PSI) has used an early-access version of Anthropic's Fable 5.2 model to solve an open problem in quantum computing that had stood for 18 years, TechCrunch reported. The researcher is David Turturean, a recent MIT graduate.
