Thought experiment: a resurrected Galois proves the Riemann Hypothesis but no one can verify it
wellecks · x · 2026-09-17
A follow-up thought experiment on AI and mathematics: if a resurrected Galois proved the Riemann Hypothesis yet no living mathematician could understand the proof, how fundamentally different would that be from the historical Galois producing ideas his contemporaries couldn't grasp that only entered mainstream math later? The author poses the question without offering an answer, continuing a thread that asks whether superhuman AI mathematicians should be used and who should control access.
More from AGI Musings
- Game Industry Veteran: AI Crossed the Dev-Skill Threshold, Studios Face a Death Spiral — draginol · 2026-09-17
- OpenAI close to solving Hodge Conjecture, another Millennium Prize problem, report says — steph_palazzolo · 2026-09-17
- LeCun Reiterates LLMs Aren't the Path to Human-Level AI, Releases Talk Deck — ylecun · 2026-09-17
- Bitter Lesson is misunderstood: RL rewards still come from human ingenuity, researcher argues — agarwl_ · 2026-09-17
- LLMs Still Have the Completion Engine Soul: Alignment Is a Statistical March of the 9s — mayfer · 2026-09-17
- A 1993 quote foresaw AI proving the Riemann hypothesis in ways humans can't understand — pickover · 2026-09-17