Mathematician spent $2K verifying a conditional solution with AI, then got mobbed by the "soft math mafia"
RexDouglass · x · 2026-11-09
Mathematician Elliot Glazer posted that he obtained a conditional solution to an important problem within his normal subscription allowance, but decided to verify it before announcing — which cost him $2,000 (the cost of LLM-assisted verification).
He then faced a barrage of attacks from peers, with the retweeter calling the critics the "soft math mafia" and marveling at how Glazer stayed civil under the onslaught. The thread has become the latest flashpoint in the "traditional mathematicians vs AI-assisted math" culture clash.
More from Fun
- Developer crafts a Diwali greeting card with Codex — Dimillian · 2026-11-09
- A cathedral that sings: 1D acoustic sim shows voices fighting their own resonant body — Sauers_ · 2026-11-09
- GLM recommends scalable oversight more often the taller you claim to be — xuanalogue · 2026-11-09
- Community brands Opus 5 as a rare LLM release worse than its predecessor — adonis_singh · 2026-11-09
- Mistral launches first in 100% of 59 nuclear dilemma games while GPT, Claude, Grok, Kimi all cooperate — eliebakouch · 2026-11-09
- A song, an elevator, 25 seconds: the clip that charmed Jensen Huang — sven_ai · 2026-11-09