陶哲轩批AI巨头：大量数学证明或成有毒废料

菲尔兹奖得主、加州大学洛杉矶分校教授陶哲轩近日在英国《观察家报》专访中批评OpenAI、Anthropic等人工智能公司，认为它们将数学难题变成模型能力竞技场，却忽视证明是否优雅、可理解并推动新思想。 争论源于OpenAI公布涉及722道未解决数学问题的研究结果。陶哲轩称，许多由人工智能批量生成但未经充分整理的证明如同“有毒废料”，给数学界带来核查、理解与消化的沉重负担。他还披露，OpenAI曾担心Anthropic率先攻克千禧年难题，一度投入数千万美元并组织上万个智能体集中研究，甚至暂停部分高级服务新增注册。OpenAI否认相关说法，称数学研究是长期方向，已承诺投入500万美元支持数学界检验相关成果。 陶哲轩指出，传统数学不仅追求答案，更重视概念发现、方法提炼与同行交流。人工智能或许能快速给出证明，但若冗长难懂、缺乏整理，即便形式正确，也难以融入数学知识体系。顶尖模型权限也可能成为新的科研门槛，改变研究合作与成果发表格局。 此前，他与多位菲尔兹奖得主联署声明，指出人工智能数学能力与数学理解存在严重目标错位。陶哲轩承认人工智能具有辅助价值，也尝试用人工智能开展形式化证明，但呼吁数学界进入“数学2.0”时代，将人类理解重新置于研究文化核心。他强调，数学的意义不只在于得到答案，更在于从解题过程中发现联系、提炼思想。