25位菲尔兹奖得主联名警告：AI实验室正侵蚀数学研究的“灵魂”

【科技24时区】当二十五位站在人类智力巅峰的数学家——每一位都是菲尔兹奖（Fields Medal）得主，这一被誉为“数学界诺贝尔奖”的最高荣誉获得者——共同签署一封公开信时，这绝非寻常的学术抗议。他们发出严厉警告：各大人工智能实验室在争夺解决著名数学难题的竞赛中，正在威胁到整个学科的知识根基与智力生态。

这场风波并非空穴来风。本周，纽约大学教授特里斯坦·巴克马斯特（Tristan Buckmaster）公开指控OpenAI向其施压，要求他在解决一个关键数学问题时，不得提及一位供职于Anthropic的合作者。更令人疑窦丛生的是，巴克马斯特质疑OpenAI是否利用其Codex模型，在一个漫长的周末推理马拉松中，直接生成了所谓的“突破性证明”。这种对学术署名权的漠视，以及对合作成果的潜在掠夺，瞬间点燃了学界积压已久的焦虑。

作为回应，周四，OpenAI宣布撤回对加州理工学院（CalTech）一项数学活动的赞助。此前，该校研究人员对OpenAI的做法提出了尖锐批评。这一举动看似是公关止损，实则折射出顶级AI巨头与传统学术共同体之间日益紧绷的关系。

诚然，AI模型若能攻克那些困扰人类数个世纪的数学难题，无疑将是造福人类的壮举。但在这封新近发布的公开信中，签名者们强调了一个常被技术乐观主义者忽略的前提：只有当这些解决方案能够被数学社区理解、阐释，并最终传递给更广泛的世界时，它们才具有真正的价值。“往往这些解法被仓促公布，”信中写道，“没有留出足够的时间进行规范的撰写，未能提炼出新的方法与思想，也忽视了对他人相关既往工作的引用。”截至目前，OpenAI的那份证明仍未得到独立验证。

正如所有创造性职业一样，这种做法引发了严重的归属权与剽窃争议。更为深层的危机在于，如果没有愿意投入精力去开发、整合并将其纳入数学经典体系的数学家，AI构想出的想法将永远无法获得真正的“生命力”，而连接数学家之间至关重要的知识传承链条也将断裂。

一种偏执的情绪正在蔓延。越来越多的数学家开始担忧，他们使用Codex等工具的过程数据，是否反过来被喂给了OpenAI的新模型？如果前沿实验室发现了一条通往发现的捷径，他们可以豪掷数千万美元，利用大型语言模型（LLM）抢在原研究者之前完成证明。这种动态不仅扭曲了科研激励，更在实质上鼓励了保密而非共享，从而危及开放研究的文化基石。

这封信紧随今年六月由数学家工作组发布的《莱顿宣言》（Leiden Declaration）。该文件同样深入探讨了LLM证明如何改变数学工作模式，并为数学家、机构及政策制定者提供了一系列建议。如同软件工程及其他受AI工具重塑的领域，数学家们正在为“围绕工作的工作”寻找正当性理由：数学的价值不仅仅在于证明本身或谁获得了荣誉，更在于那个滋养学生、发掘新问题与新思想、并将它们融入更广阔人类文明的智力上层建筑。

如果你并不特别关心高风险数学证明领域中那种你死我活的竞争，请记住：你的专业领域可能是下一个目标。“数学界目前面临的问题，与其他科学和创意职业所面临的问题相似，”他们在信中总结道，“这也预示着全人类可能面临的挑战：如何在AI改变工作方式的同时，确保我们不迷失初衷，不忘却这项工作原本旨在实现的目标。”