LLMs Overturn Math Conjectures, Mathematicians Face Existential Crisis
ryan_t_lowe · x · 2026-08-02
A Substack article describes how LLMs recently produced counterexamples to long-standing conjectures, shaking the math community. Author Kirwin Hampshire expresses a profound spiritual crisis, arguing that mathematicians' traditional roles are threatened, and criticizes the Leiden Declaration for avoiding the core issue. The article explores future roles for mathematicians: even if AI proves theorems efficiently, humans can still teach, appreciate, and collaborate, but under current systems, no one will pay for it.
Related event: LLMs Break Long-standing Math Conjectures, Triggering Existential Crisis(5 posts)→
More from AGI Musings
- LMR-BENCH at EMNLP 2025 tests whether LLM agents can reproduce real LLM research — ZhiyuChen4 · 2026-10-16
- Deep Research becoming useful to experts will signal RSI arrival, researcher predicts — ZeeshanZiaML · 2026-10-16
- Physicist pushes back on ML community's acceptance that models may be beyond understanding — tszzl · 2026-10-16
- Ben Affleck calls AI 'just matrix multiplication'; Grady Booch echoes the skepticism — Grady_Booch · 2026-10-16
- Everyone has a precise AGI definition—until a model gets close to meeting it — VraserX · 2026-10-16
- Viral take: If AI gives us time back, its greatest gift is revealing what we mistook for the cost of living — r0ck3t23 · 2026-10-16