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 Bans AI Math Findings, Yet Falls for RSA-260 Post(3 posts)→
More from AGI Musings
- Economist Bharat Chandar named Research Director for AI Economics at Stanford Digital Economy Lab — RishiBommasani · 2026-10-27
- Aeon's former EVP: AI agents are the most impactful innovation of my lifetime — akumar · 2026-10-27
- Physicists Let AI Pick Its Own Problem—It Wrote a Publishable Paper in 2 Hours — burny_tech · 2026-10-27
- Deep learning veteran warns: don't let entrenched disbelief derail prep for the next big tech — jachiam0 · 2026-10-27
- Should platforms serve third-party AI agents? The antitrust question — sjgadler · 2026-10-27
- Musk: robot RAM demand will dwarf everything else, and 100% of superintelligence compute goes to deep space — elonmusk · 2026-10-27