AI startup PSI says system running non-public Anthropic model proved Aaronson-Ambainis conjecture
This story is from 2026-11-06. It is preserved in the archive; the latest stories are on the live feed.
AI physics startup PSI announced on November 6, 2026 that an internal research system running instances of a non-public Anthropic model produced a machine-checked proof of the Aaronson-Ambainis conjecture, a quantum computing question open since 2008.
Read the full story at Techmeme ↗