ARTICLE · 1249665
AI攻克数学难题这事,为什么数学家全都不买账?
AI攻克数学难题这事,为什么数学家全都不买账?（一）一件吵翻数学圈的事 OpenAI宣称，他们的AI模型可以攻克数学难题。 消息发出，数学界集体质疑。这场争论值得普通人也看一眼，因为它不是「AI到底行不行」的行家对喷，而是暴露了一个更根本的问题：AI的能力，由谁来认证？ （二）数学家在质疑什么 数学证明的铁律，是每一步都可以被验证。哪一步说不通，整个证明作废。 而大模型做题有个老毛病：跳步。结论可能对，中间过程经不起推敲。所以学界担心的核心是——AI是真正「解决」了问题，还是检索拼接出了一段「看起来像解答」的文字？ 前者是能力，后者是高级复印机。 （三）OpenAI的逻辑 站在工程视角：结果正确、表述完整，就算解决了问题。这没毛病——绝大多数应用场景要的只是正确答案，不是可发表的论文。 两边其实吵的不是答案对不对，而是「解题」这个词的定义。 （四）真正的症结 这类争议为什么一而再、再而三地出现？因为整场演示里，出题的是厂商、答题的是厂商、发榜的还是厂商。 没有第三方裁判的考试，分数再漂亮，本质也是宣传物料。 （五）普通人的三条防坑标准 1. 看可复现性：别人用同样的题目、同样的设置，能不能跑出同样的结果； 2. 看同行评审：结果有没有经过领域内独立专家的挑剔，而不是只出现在官方博客； 3. 看落地体验：发布会的奇迹落到你手边的工具，中间隔着十万八千里——你自己问它十个问题，比看一百篇通稿都管用。 （本文含AI辅助创作内容）
