AI接管数学引发的种种风波

过去一年，OpenAI、Anthropic 等头部 AI 实验室接连宣布在多个长期悬而未决的数学难题上取得突破，其中甚至包括攻克了一个千禧年大奖难题。这个进展超出了许多数学研究者对当前 AI 系统能力的预期。但硅谷式的“快速行动、打破常规”作风也随之而来——AI 实验室们像一台失控的推土机一样碾过数学界，原本应该被庆祝的成果反而引发了激烈反弹。AI 实验室表示正在从早期的错误中吸取教训，但这些承诺能否兑现，目前仍是未知数。 这场风波的根源在于 AI 公司与数学界之间长期缺乏信任。数学研究有一套极其严格的验证传统：一个证明必须经过同行评审、逻辑自洽，才能被学界承认。而 AI 实验室往往在论文尚未经过正式评审时就抢先发布成果，甚至被质疑使用了数学家们未公开的工作而未给予署名或致谢。OpenAI 尤其处于争议中心——从被指“狡猾”的数学突破让学术界感到寒意，到围绕其“传奇数学里程碑”的争议不断发酵，再到数学家们要求 OpenAI 拿出证据证明没有使用他们的研究成果。OpenAI 方面则表示，希望咨询顶尖数学家，避免再次搞砸。这场冲突的本质，是两种文化的碰撞：一边是追求速度和声量的 AI 公司，一边是讲究严谨和积累的学术共同体。对关注 AI 能力边界的从业者来说，这不仅是八卦，更关乎一个核心问题——当 AI 开始涉足人类最纯粹的智力领域，谁来定义“突破”，又由谁来验证“正确”。