Ramanujan parallel: mathematicians call AI proofs a threat, not genius
CatAstro_Piyush · x · 2026-10-09
zhaoranwang draws a historical parallel: in 1913 Ramanujan sent Hardy theorems with no proofs or chain of thought, and Hardy said "bring this genius to Cambridge." In 2026, AI produces mathematical proofs and mathematicians cry "this threatens the integrity of our field!" Quoting Dimitris Papailiopoulos: it may be the best time ever to be a researcher.
More from AGI Musings
- Are AI companies faking doomer fears to distract from real harms? Vox says probably not — Miles_Brundage · 2026-10-10
- The semantic trap in 'can AI think' debates: information processing is far broader than programs — AndyMasley · 2026-10-10
- Is striving pointless under AI utopia? An individualist pushback — akbirthko · 2026-10-10
- Musk says Grok Bots will autonomously manage and update Grokipedia's millions of articles — XFreeze · 2026-10-10
- Eating factory-farmed meat 365 days a year yet fretting over AI consciousness — trevposts · 2026-10-10
- Fanta's 'AI slop' cinema ad sparks debate: ads are how many artists get paid — moultano · 2026-10-10