Csaba Szepesvári: AI proofs unsettle us just like the four-color theorem once did
CsabaSzepesvari · x · 2026-09-14
RL researcher Csaba Szepesvári notes that machine-assisted proofs like the four-color theorem upset mathematicians for the same reason AI proofs do today: we crave understanding. He adds that it's a theorem that some theorems can't have this, 'but we can always dream.'
Related event: Mathematicians Debate Whether AI's Brute-Force Proofs Are Elegant(3 posts)→
More from AGI Musings
- Ex-Anthropic/OpenAI researcher Jacob Coxon explains AI extinction risk to NBC — rohanpaul_ai · 2026-09-14
- Redditor: Top AI Labs' 'Slow Down' Call Is Ladder-Pulling After Approaching RSI — TheNotoriousStuG · 2026-09-14
- Claim: OpenAI and Anthropic now know each other's model capability floor — and it's far ahead — teortaxesTex · 2026-09-14
- Post-math alignment: a researcher on unreadable GPT/Claude-written student papers — xuanalogue · 2026-09-14
- Beyond UBI: when AI abundance breaks the link between labor and purchasing power — r0ck3t23 · 2026-09-14
- Oxford scholar pushes back on AI-writing snobbery: judge ideas, not provenance — StefanoGogioso · 2026-09-14