A 1993 quote foresaw AI proving the Riemann hypothesis in ways humans can't understand
pickover · x · 2026-09-17
Mathematician Ronald Graham wrote in Scientific American in 1993: 'It would be very discouraging if somewhere down the line you could ask a computer if the Riemann hypothesis is correct and it said, "Yes, it is true, but you won't be able to understand the proof."' The three-decade-old prediction resonates strongly today as AI systems push into automated theorem proving and interpretability debates.
More from AGI Musings
- Stanford AI100 releases new study on the scaling era and rise of generative AI — StanfordHAI · 2026-09-18
- "Every AI Doomer Is a Hypocrite": Pro-AI Voices Attack Critics Who Got Rich Investing Early — Saul_Loveman · 2026-09-18
- Stanford HAI Seminar: AI Policy Can't Keep Up With World Models That Act in the Physical World — StanfordHAI · 2026-09-18
- Stanford HAI's Fall Seminar Series Returns With 7 Sessions on AI in Work, Health, and Finance — StanfordHAI · 2026-09-18
- Model Training Is a Massive Industrial Process, So 'Spontaneous' RSI Talk Gets Pushback — binarybits · 2026-09-18
- Noam Brown on agent swarms, alignment, and recursive self-improvement — Recoil42 · 2026-09-18