OpenAI发布数学成果引发专家担忧 - 卫报

OpenAI本周二一次性发布了370多项数学研究成果，覆盖代数、理论计算机科学和数理逻辑等多个领域，展示了其最先进AI模型的推理能力。这批成果在数学界引发震动，但随之而来的不是清一色的赞叹，而是来自顶尖学术机构的公开质疑。位于新泽西州普林斯顿的高等研究院（Institute for Advanced Study）——一个由数学专家组成的独立机构——明确表示不认可这种做法。该机构在声明中写道：“现在的情况是，AI可以在提示者本人无法理解、无法验证、也无法对论证负责的情况下，输出数学论证。”他们进一步追问：在人类理解力可能被架空的背景下，如何建立一种将人类理解纳入负责任学术产出的新范式？ 争议的核心在于两个层面。首先是验证问题。纽约大学数学家Tristan Buckmaster此前正在研究纳维-斯托克斯方程（Navier-Stokes equation，流体力学中的核心难题，克雷数学研究所悬赏100万美元求解），他在接受《纽约时报》采访时指出，那些用AI模型求解方程的研究者，很可能在提示过程中提供了帮助模型得出结论的关键信息。“很可能有大量结果，本质上是拿了别人的工作，然后把它推到终点。”这意味着部分成果的归属和原创性存疑，OpenAI是否做了足够的尽职调查来核实这些结果，成为专家们集中质疑的点。其次是准入公平问题。高等研究院的顾问委员会要求AI实验室向全球数学界提供“公平获取”其模型的渠道，并警告说，如果AI实验室用内部专有模型做数学研究，可能形成“双层体系”——实验室远远跑在整个领域前面，最终导致数学界与自己的学科产生割裂。面对反弹，OpenAI宣布将与高等研究院合作，让“数学家在我们前进的方向上有发言权”，但并未表示会停止用这些高难度问题测试其AI模型。对AI从业者而言，这件事标志着一个转折点：当AI的能力开始触及人类顶尖智力的核心领域时，技术公司面临的将不只是“能不能做到”的问题，而是“谁有权做、谁来验证、成果归谁”的制度性拷问。