Mathematician who claimed a proof in 2019
Appears in 1 story
Last updated Nov 7, 2026
Retracted the 2019 preprint after a flaw was found
For 18 years, a conjecture by Scott Aaronson and Andris Ambainis has limited what quantum computers could do with random inputs. On November 6, Physical Superintelligence said an internal AI system had proved it, and the Lean proof assistant accepted every step.
Updated 1 hour ago
No stories match your search
Try a different keyword
How would you like to describe your experience with the app today?
