当一家AI公司宣称要“解决”数学界多年悬而未决的问题时,它挑战的不只是难题本身,还有学术共同体赖以运转的规则。

发生了什么

据WIRED报道,OpenAI正准备发布超过100个针对未解数学问题的新解法。这一动作在数学家中引发强烈不满,有数学家对WIRED形容,头部AI公司展现出一种“黑帮式的行事作风”。报道用“又一次”点明,这并非OpenAI首次与数学界发生摩擦。

需要说明的是,目前公开信息有限:这些“解法”的具体内容、形式、是否经过同行评审、以何种渠道发布,均未在摘要中披露。因此对结果本身的数学价值,外界尚无法判断。

为什么重要

争议的焦点其实不在“AI能不能做数学”,而在“以什么方式做”。

数学是一门高度依赖共同体验证的学科。一个结果要被承认,通常需要清晰的证明、可复现的推理链条,以及同行评审。AI生成的解法如果绕过这套流程,直接以公司公告的形式对外发布,就会产生一个尴尬局面:结论悬在半空,既未被证伪,也未被学界接纳,却已经获得了公众关注。

更深层的张力在于话语权。过去几年,头部AI实验室频繁以“攻克某某难题”的姿态进入基础科学领域,从数学到物理再到生物。对研究者而言,这既带来工具与算力的诱惑,也带来被边缘化的焦虑——如果重大成果由公司而非学术共同体宣布,署名、优先权、评审标准这些学术秩序的基石就会被重新定义。

“黑帮做派”这一措辞之所以刺耳,正因为它指向的不是技术能力,而是姿态:先宣布,再让学界被动回应。

影响与看点

对行业而言,这件事是AI公司进军基础科学时反复出现的信任摩擦的又一例。它提醒我们,模型能力的提升并不会自动转化为学术合法性,后者需要的是透明、可验证和尊重既有流程。

对开发者和研究者来说,值得关注几个具体问题:这些解法是否附带可检验的证明过程?是否开放给社区复核?如果其中确有正确结果,优先权与署名如何界定?如果存在错误,谁来承担纠错成本?

对普通读者,则要警惕“AI解决百年难题”这类叙事的简化。数学突破的判定权,最终仍在数学共同体手中,而非发布会的舞台上。

一句判断:AI进入基础科学的最大障碍,可能不是智力,而是礼节——以及学界是否愿意接受一种新的成果发布秩序。