Technology

AI-Generated Proof Targets a Long-Open Quantum Computing Conjecture

Physical Superintelligence says an AI-assisted system proved the Aaronson–Ambainis conjecture. Its Lean proof is public, but independent mathematical review has not yet confirmed the claim.