psi利用anthropics fable 5.2模型解决量子计算难题
psi使用anthropics fable 5.2模型解决了量子计算领域的aaronson-ambainis猜想，并计划利用ai进行科学发现。
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.