Top storyResearchReddit r/artificial
An AI system just proved an 18-year-old quantum conjecture — and Lean checked every step
Physical Superintelligence (PSI) announced on November 6 that an internal research system running instances of a non-public Anthropic model produced a complete proof of the Aaronson–Ambainis conjecture — a quantum-computing question open since 2008 — on the third day of a run. Th