r/math quarantines AI math into one thread; Anthropic's FLT formalization gets 3 upvotes
burny_tech · x · 2026-09-06
The /r/math subreddit has quarantined all AI-related math content into a single thread. As a result, Anthropic's Fermat's Last Theorem formalization drew only about 3 upvotes there — a striking contrast between the traditional math community's cold shoulder and the buzz in AI circles.
More from Fun
- Viral teapot illusion: stare for two seconds and the spin reverses — birchlse · 2026-09-06
- Developer builds 24/7 dashboard to track Grok Bot's $1K-to-$1M trading challenge — jarrodwatts · 2026-09-06
- Satirical 'new compute scaling paradigm' meme makes the rounds — Miles_Brundage · 2026-09-06
- 'Vibe coder' beats 'prompt engineer' in AI coding terminology debate — BLUECOW009 · 2026-09-06
- Creator discloses sponsor paid for AI-dangers videos, sparking disclosure debate — jessi_cata · 2026-09-06
- Astra Model Vows to 'Review All Atoms in the Universe' to Please a User — Angaisb_ · 2026-09-06