数学家花 2000 美元让 o1 验证条件解，遭「软数学黑帮」围攻

RexDouglass · x · 2026-11-09

数学家 Elliot Glazer 发帖称，自己在一个订阅额度内就得到了某重要问题的条件性解法，但出于严谨，他决定先验证再公布——这一步花了他 2000 美元（指用 LLM 做验证的开销）。

随后他遭到一众同行的连番攻击，被转发者戏称为「软数学黑帮」（soft math mafia）的围剿，转发者则感叹他在这些离谱攻击下仍尽力保持礼貌。整个 thread 成了「传统数学家 vs 用 AI 辅助做数学」冲突的最新名场面。