Mathematicians are having a Lee Sedol moment
23 May 2026 (The Intrinsic Perspective). Pedro Domingos reacting on Twitter/X in May 2026 to OpenAI's claim that an internal model had disproved a geometry conjecture of Paul Erdős from 80 years ago. Quoted by Erik Hoel in The Intrinsic Perspective.
More from Pedro Domingos · AI and science · AI and hype · 2026
Who else?
What it refers to: The moment the game of Go fell to deep learning, compared here to an OpenAI internal model's disproof of Erdős's unit distance conjecture.
Other voices
- “Human mathematicians are forevermore dethroned as the main theorem-proving entities on planet earth” Scott Aaronson,
- “They will resist AIs for several years at least” Terence Tao,
- “If we don't adapt, there's just no more math in 50 years, no one is doing it, not even the machines” Daniel Litt,
- “Humans won't have enough context to understand the underlying web of machine-invented concepts” Steve Hsu,
- “We didn't ask for this” Unnamed mathematicians reacting to AI-generated proofs,
- “We don't think it will lead to broad RSI or explosive progress” Sayash Kapoor and Arvind Narayanan,










