陶哲轩等25位菲奖得主抗议：AI大模型正在摧毁数学界生态？

type

status

date

slug

summary

千禧难题沦为大模型的“跑分工具”

在过去，评估一个LLM（大型语言模型）的能力，往往通过代码编写、奥数测试等常规基准。但如今，AI大厂的竞争已经进入了极度内卷的“无人区”。千禧年难题不再是人类智慧的终极挑战，反而沦为了各大AI公司展示肌肉的“公关素材”和基准测试（Benchmark）。

根据最新流传的测试图表，在千禧难题的基准测试中，人类顶级数学家基线为1分，而OpenAI内部未发布系统竟然达到了2分。为了达成这一目标，OpenAI动用了1万个智能体，耗费88小时的庞大算力。对于AI公司而言，这或许是绝佳的AI资讯和营销手段；但对于数学界来说，这种将数学“通关副本化”的商业逻辑，是对这门古老学科的严重亵渎。

陶哲轩等学者的核心诉求：数学不是冷冰冰的答案

在这封名为《人工智能在数学领域的严重错位》的公开信中，25位当今最伟大的数学大脑表达了深深的痛心。他们抵制的并非大模型技术的进步，而是科技公司对数学本质的曲解。

数学的核心价值从来不在于产出一个冷冰冰的“True”或“False”，而在于理解结构、孕育思想。一个著名猜想的证明，往往需要经历漫长的学术演讲、同行讨论、逻辑简化，最终写进教材，成为全人类共享的知识工具。如果仅仅依靠GPU的狂轰滥炸来获取结果，人类的“思想链”将会断裂。如果没有人类学者的灵感去“养活”这些模型，未来的数学研究将彻底枯竭。数学界最宝贵的资源是学生和创新的想法，而AI公司急功近利的做法，正在无情地破坏这片肥沃的土壤。

细思极恐的学术丑闻：是AI推导还是“洗稿”？

更让学术界感到愤怒和恐惧的，是隐藏在算力奇迹背后的学术道德危机。多位顶尖数学家提出了强烈质疑，怀疑AI公司在窃取人类未公开的研究成果。

纽约大学数学家Tristan Buckmaster指出，他曾将大量未公开的NS方程推演草稿和思路，作为提示词（Prompt）输入给OpenAI的系统。几天后，OpenAI就拿出了高度相似的证明。另一位数学家Andreas Thom也爆料，他曾用chatGPT与同事探讨Gromov的soficity猜想，结果OpenAI宣布解决该问题时，使用的正是他们讨论过的冷门路径。

尽管openai官方对此予以否认，但他们承认“去标识化数据”可能帮助改进了模型。这种利用庞大算力将学者的私人研究“洗稿”并抢跑发表的行为，被学者们斥为科学史上最严重的学术丑闻之一。耗费足以雇佣600名博士后工作一年的算力资金，去抢夺学者的未发表成果，这究竟是在发展科学，还是在绞杀科研生态？

拥抱还是抵制？AI时代科研生态的重塑

面对无论是claude还是ChatGPT带来的技术冲击，我们不可否认AI在辅助计算、形式化验证等方面的巨大潜力。但当科技巨头被AI变现和商业竞争蒙蔽双眼，将基础科学视为跑马圈地的工具时，我们必须保持警惕。

科学的发展需要伦理的约束和对人类智慧的尊重。AI应当是人类探索宇宙星辰的得力助手，而不是掠夺学者心血、抹杀人类思考价值的“黑客帝国”。当所有需要绞尽脑汁的难题都被AI在几十个小时内化解，人类更需要重新审视自身在宇宙中思考的意义。

在这场技术与学术的碰撞中，我们需要更多理性的声音。如果您希望持续关注此事件的后续发展，获取最前沿的AI动态、深度的AI日报，以及全面的AI门户资讯，欢迎访问专业的AI内容平台：https://aigc.bar，与我们一同见证人工智能时代的每一次变革与反思。