Psi uses anthropic's fable 5.2 to crack 18-year quantum problem
psi used anthropic's fable 5.2 model to solve the aaronson-ambainis conjecture, a longstanding quantum computing problem, and plans to leverage ai for scientific discovery.
psi, a startup, utilized early access to anthropic's fable 5.2 model to solve the aaronson-ambainis conjecture, an 18-year-old problem in quantum computing. the solution, verified by top researchers and autoformalized in lean, a coding language for math, closes one avenue for quantum computers to solve certain problems quickly. psi's approach involves using specialized model harnesses and scaffolding to tackle scientific problems. the company's revenue currently comes from optimizing data centers, but its long-term goal is to convert theoretical physics breakthroughs into actual technologies. this development highlights the growing role of ai in scientific discovery.