OpenAI昨天在GitHub上一次性公开了700多份数学研究文稿,全部由内部前沿模型产出,许多证明还附带了计算机可验证版本。数学界直接炸锅了。
兴奋的一方认为:AI证明了它真能攻克研究级难题,数学的产能要起飞了。
但担忧的声音明显更大,而且来自三个层面:
1️⃣ 研究计划被"清零"。 纽约大学教授巴克马斯特说得直白——"他们一下子放出这么多成果,我们整个研究计划都被毁了。"青年数学家数年心血,可能一夜之间失去发表价值。
2️⃣ 数据来路的质疑。 更敏感的是:学者们曾把未发表的材料、基金申请书提交给AI工具辅助写作,这些内容是否反过来"喂"出了OpenAI的成果?如果属实,这触及的是学术伦理的底线,而不仅是技术问题。
3️⃣ 合作传统的瓦解风险。 这是最深远的一层。数学这门学科靠的就是公开交流半成品思路、互相启发。西北大学教授克拉的担心不无道理:如果学者开始害怕"说出来的想法被AI吸收",沉默就会成为理性的选择——而一旦没人再公开讨论,整个学科的创新引擎反而会熄火。更何况,没有任何一个OpenAI员工能为这700篇成果做学术报告、回答技术追问,这在数学界是前所未有的怪事。
OpenAI的回应是:制定了修订和引用规范、办研讨会。说实话,这个回应和问题的分量不太匹配。
真正被冲击的不是数学本身,而是数学界的价值分配体系。
论文还重要吗?奖项该颁给谁?"会提问"和"会证明"哪个更值钱?罗格斯大学教授孔托罗维奇的观点我很认同——未来真正值钱的,是长时间深入思考重大问题的能力,而训练这种能力的唯一路径仍然是扎实的数学功底。AI能产出证明,但产出不了提出好问题的直觉。
但规则必须跟上:未发表材料的使用边界、AI成果的署名与引用规范、评审环节的保密机制,这些不能只靠公司自律。
700篇成果是里程碑,也是警钟。技术跑得太快的时候,如果学术共同体的信任机制没跟上,下一次被"背刺"的,可能就是我们整个知识生产体系。

