r/math bans AI proof discussions, drawing mockery from AI community
cgarciae88 · x · 2026-09-09
A viral X post notes that r/math doesn't allow discussing AI-generated mathematical proofs, with the author mocking that the subreddit will "be in the stone age by next year." The post captures the ongoing tension between traditional mathematicians skeptical of AI proofs and AI advocates who see the resistance as outdated.
Related event: r/math's Ban on AI Math Sparks Debate(3 posts)→
More from AGI Musings
- MCP Creator: AI Is Now in a High-Compute Regime, Adjust Your Plans — hrishioa · 2026-09-09
- FDA's GenAI medical device paper exposes the accountability gap in AI clinical practice — jonc101x · 2026-09-09
- tszzl: Superintelligence isn't a totally different thing, but pace should be regulated — tszzl · 2026-09-09
- Ethan Mollick: Labs' weird discourse signals everyone is in reaction mode — emollick · 2026-09-09
- Machine civs lack mortality's regularization — 'like training MoE without load balancing' — kellerjordan0 · 2026-09-09
- Mathematicians will 'rage' as AI solves their pet problems, Tao reportedly frustrated — ctjlewis · 2026-09-09