#psi

AI Resolves Long-Standing Quantum Computing Conjecture

Researchers at PSI have used an AI model to solve the 18-year-old Aaronson-Ambainis conjecture in quantum computing, with the proof verified by the Lean formal logic system.