Why Are So Many Mathematicians Resistant to AI-Assisted Proofs?
PreferenceOk5132 · reddit · 2026-09-11
A Reddit user asks why many mathematicians seem to dislike AI's recent involvement in theorem proving, speculating it may be fear of the field losing prestige. The poster argues they would be proud to have a tool that accelerates human knowledge so drastically, sparking discussion on disciplinary culture and professional identity in the AI era.
More from AGI Musings
- Sophos CISO: AI agents are functionally insiders, monitor them like insider threats — TechNadu · 2026-09-11
- AI researcher: coherent dystopia is unlikely — expect extinction or near-utopia after ASI — adam_dorr · 2026-09-11
- Demis Hassabis Wins RSA Albert Medal, Says Nobody Knows What Happens Next — TorturedPoet30 · 2026-09-11
- Ex-OpenAI/Anthropic researcher warns AI could copy itself beyond unplugging — rohanpaul_ai · 2026-09-11
- Hot take: Consumer AI assistants won't be the next iPhone — only 1-10% actually want AI bots — ivan_bezdomny · 2026-09-11
- AI could add 0.3-0.4 points to Europe's productivity growth, but the EU holds under 5% of global compute — rohanpaul_ai · 2026-09-11