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
- 'What did Ilya see?' Joke answer: AI powerful enough to hack everyone — imjustnewatai · 2026-10-23
- Dev builds SkiFree-style sled game in one prompt, praises DeepSeek Flash — victormustar · 2026-10-23
- Effect's author: released today, the massive TS library would be dismissed as slop — ethanniser · 2026-10-23
- Abliterated V4.1-Flash eval: abstract algebra drops 6pp but college math gains 5pp — teortaxesTex · 2026-10-23
- Moody AI-reimagined Harry Potter portraits showcase stunning cinematic generation — azed_ai · 2026-10-23
- 'Time for an Ana de Armas benchmark': X user jokes about new Gemini output — lyraxana · 2026-10-23