数学家团体 AGMAI 要求 OpenAI 立即公开 Yang-Mills 理论证明
« Aucune raison scientifique de retarder » la preuve : des mathématiciens s’agacent de l’attitude d’OpenAI sur un résultat de physique crucial
由九名数学家组成的 AGMAI 呼吁 OpenAI 立即公开其宣称的 Yang-Mills 理论、量子色动力学及标准模型完备性证明的自然语言与 Lean 版本。OpenAI 于 10 月 26 日公布三项数学、计算机与物理成果,称 Yang-Mills 证明完成于 9 月 9 日、Lean 形式化于 10 月 16 日完成,但证明仅由 OpenAI 选定的五名物理学家(由 2004 年诺贝尔物理学奖得主 David Gross 带领)看过。AGMAI 隶属于普林斯顿高等研究院,指出该问题属于千禧年难题之一,并援引其 10 月 25 日发布的说明,反对 AI 公司自行挑选首批审阅者。
推荐理由
AI 评分 69
事件呈现了AI公司公布重大数学物理成果时,外部学术团体对验证与公开流程提出的公开质疑。
主题
正文 · AI 翻译
AGMAI,一个由九名数学家组成的团体,要求OpenAI“立即”公开该公司于2026年10月26日(周一)宣布的关于Yang-Mills理论的证明。OpenAI此前曾主动联系其中部分研究人员以征询意见。
一边是OpenAI的对外宣传,另一边则是科学界对此事的反应。而阅读数学与人工智能咨询小组(AGMAI)的声明后,至少可以说,这家美国AI专精企业最新的各项公告仍然引发热议。
事实回顾:OpenAI于10月26日(周一)公布了数学、计算机科学和物理学领域的三项顶级成果。
其中的物理学成果引发了AGMAI的反应。OpenAI曾接触其部分成员,希望组建一个外部咨询委员会。经与该公司协商,他们更倾向于成立一个独立、志愿性质的团体,为所有AI公司就数学成果的发表提供建议。
具体而言,一个内部AI模型据称证明了Yang-Mills理论在四维空间中的数学存在性。OpenAI的AI还据称证明了量子色动力学的存在性,即把夸克彼此束缚、位于原子核心的那种力的理论。然而,除了OpenAI选定的五名物理学家(由2004年诺贝尔物理学奖得主David Gross带领)之外,没有人能够阅读其证明。
此内容已被屏蔽,因为您未接受Cookie及其他追踪器。此内容由YouTube提供。要查看该内容,您必须接受YouTube对您数据的使用,这些数据可能用于以下目的:允许您查看并与社交媒体分享内容,促进Humanoid及其合作伙伴产品的开发与改进,根据您的个人资料和活动向您展示个性化广告,为您建立个性化广告画像,衡量本网站广告和内容的性能,以及衡量本网站的受众(了解更多)
点击“全部接受”,即表示您同意上述目的,涵盖Humanoid及所投放的全部Cookie和其他追踪器。
您保留随时撤回同意的权利。如需了解更多信息,请查阅我们的Cookie政策。
没有任何科学理由推迟这一发表
然而,这给AGMAI带来了一个大问题。AGMAI是一个由九名数学家组成、隶属于普林斯顿高等研究院的团体。他们的理由是什么?与Yang-Mills相关的发现显然在数学上具有重大意义。因此,AGMAI认为必须与学界共享这一成果。
OpenAI将其Yang-Mills证明的日期定为9月9日。该团体称,他们一直在等待其Lean翻译完成——Lean是一款逐步验证证明的软件。这项工作于10月16日完成。在该委员会看来,事情因此很清楚:如果验证已经完成,就再也没有“任何科学理由”推迟发表。
“我们呼吁OpenAI立即公开其自然语言和Lean版本成果,这些成果支撑了其关于Yang-Mills理论、量子色动力学以及标准模型完备性存在性证明的公告。”这是10月26日(周一)发布的声明中的内容。
“我们呼吁OpenAI立即公开其成果”AGMAI
“尽管这些是物理学中的核心问题,”AGMAI指出,“它们同样是数学中的重大问题。[该理论]的存在性是千禧年难题之一,而构建四维相互作用量子场论数十年来一直是数学物理学的目标。”
AGMAI的呼吁之所以更有分量,是因为与此同时,OpenAI却已经上线了同日宣布的另一项成果的文本和Lean代码:即对指数时间假说的反驳,据OpenAI一位AI研究员称,这被描述为该领域20年来“或许是最大的惊喜”。
“知识必须在公开环境中发展,每个人都应享有同等程度的获取机会。OpenAI曾表示将推迟发表,直到Lean形式化完成。据他们自己所说,如今这已经完成;因此没有任何科学理由进一步推迟这一发表。”AGMAI补充道。
来源:Numerama 与 ChatGPT
备受争议的做法,以及一个并不能解决一切的结果
正如《科学美国人》所指出的,将证明交给由公司挑选的专家,违背了AGMAI在前一天、即10月25日发布的一份说明。该文本建议AI公司不要自行选择首批查看结果的研究人员。10月初,另一个团体“人类数学协会”(Association for Human Mathematics)就已呼吁停止与OpenAI的一切合作。
即便公开,这份证明也不足以解决关于Yang-Mills的千禧年难题。克莱数学研究所于2000年提出该问题,同时提出的还有其他六个重大数学问题,每项悬赏一百万美元(约86万欧元)。其表述还要求证明存在“质量间隙”,即该理论中的粒子具有严格为正的最小质量。OpenAI并未声称解决了这一部分。
探索会员福利
更快速、更实用、更独家
零广告、高级阅读功能、AI摘要文章、独家内容等更多。
探索Numerama+的众多优势。
订阅Numerama+
您本月已在Numerama阅读了0篇文章
有一个充分的理由不订阅
并非人人都有能力为信息付费。
因此我们坚持让我们的新闻向所有人开放。
但如果您有能力,
以下是支持我们工作的三个充分理由:
1 Numerama+有助于为所有Numerama读者提供免费体验。
2 您将享受无广告阅读、众多高级阅读功能和独家内容。
3 帮助Numerama完成其使命:理解当下,预见未来。
如果您相信一个免费的网络和人人可及的高质量信息,请加入Numerama+。
订阅Numerama+
一瞥尽览科技全资讯
将Numerama添加到您的主屏幕,与未来保持连接!
为了不错过任何新闻,请在Google上关注Numerama!
用物理学理解物质与宇宙
OpenAI声称已解开物理学最大谜题之一,但将证明保密
材料越小越坚固:为什么纳米颗粒比同种金属在我们尺度上坚固一千倍
从巴比伦到原子钟:秒是如何被发明并随时间被重新定义的
这个为适应地球自转的任性而添加的特殊秒,可能很快就会消失