数学研究者撰文质疑：OpenAI 数学强不代表能治愈癌症
Frances01896069 · x · 2026-10-08
一位数学从业者对「OpenAI 模型数学能力狂飙」发出长文质疑：
- 数学之所以适合 AI，是因为它能被精确地表达为语言，并可通过 Lean 形式化与证明检查高效训练；医学研究并不具备这些条件，「数学强」无法推导出「能治癌」。
- 现代数学是数万人参与、需要多年培养的复杂体系，是几十年传统演化而成，并非计划设计。如果停止培养新人，整个体系会崩塌，且崩塌后无法轻易重建——目前没有「机器训练人类以替代人类培养体系」的模型。
- 作者认为宣称机器将在短期内取代数学研究者是「匆忙而冒险的赌注」，这类宣传对 IPO 有利，但对判断 AI 能否解决癌症等实际问题没有参考价值。