OpenAI数学论文发布次日即撤回,符号错误引发质疑

10月初,OpenAI在学术预印本平台GitHub上进行了一次引人注目的集中发布。该公司一次性公开了超过700份研究文档,宣称其内部AI模型在几何、计算机科学、代数等多个领域的372个数学问题上取得了实质性进展。这些由人工智能生成的新发现,在短时间内似乎将高等数学的边界向前推进了一步。

光环下的裂痕:三篇论文因符号错误被撤

然而,这场高调的学术展示未能持续。发布后不到24小时,OpenAI便发布通知,宣布因“一个符号错误”撤回其中的三篇手稿。这一快速反转,让最初围绕此次发布的惊叹迅速转变为对研究严谨性的质疑。

虽然撤回是学术界的常规纠错机制,但如此短时间内、在大规模发布后发生的撤回,显得极不寻常。它直接指向了AI驱动研究在基础验证环节可能存在的脆弱性。

数学界的反弹:批评声浪与抵制呼吁

此次事件迅速在数学界掀起波澜。许多研究者对OpenAI的处理方式感到不满,甚至担忧。这种担忧并非仅仅针对技术错误,更关乎其背后的科研文化与动机。

人类数学协会的尖锐批评

代表部分数学家立场的人类数学协会在10月7日发表了一份措辞强烈的声明。声明直指核心问题:

  • 缺乏需求导向:“数学家并没有要求开展这项工作。”声明指出,这项研究并非源于学术共同体的内在需求。
  • 质疑发布形式:“一次性发布700多份文件不是学术展示,而是一种权力展示。”协会认为,这种“数据倾倒”式的做法偏离了以深度理解和同行评议为核心的学术传统。
  • 发出行动号召:声明最后明确呼吁:“我们敦促数学家停止与OpenAI合作,回归以人类理解为中心的科学愿景。”

陶哲轩的转发:重量级学者的态度

这份声明获得了数学界的广泛关注,尤其是菲尔兹奖得主、知名数学家陶哲轩在个人社交账号上转发了相关内容。虽然转发本身不一定代表完全赞同,但这一举动无疑将争议推向了更广阔的公众视野,引发了关于AI在基础科学研究中应扮演何种角色的深入讨论。

事件背后的核心争议:效率与严谨的平衡

此次风波凸显了AI大规模介入基础科研领域时产生的固有张力。一方面,AI在发现潜在规律、生成猜想方面展现出惊人效率;另一方面,学术研究最终需要经受住人类逻辑的严格检验,确保每一个符号、每一步推导都准确无误。

OpenAI的案例像是一次压力测试:当追求发布规模和速度时,如何保障最基础的学术严谨性?数学界的反应表明,如果AI辅助研究不能很好地融入现有的、以严谨和深度为基石的科学范式,仅仅依靠“量”的震撼,将难以赢得学术共同体的真正尊重与信任。