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.