币圈界报道:

学界拒为OpenAI数学主张背书:三重验证机制未获认可

针对OpenAI声称其内部模型成功推翻“指数时间假设”(ETH)的公告,多位国际知名学者公开表示不予支持。他们指出,该实验室在过往数学声明中屡次出现夸大或事实偏差,当前成果缺乏足够证据支撑,公众应保持高度警惕。

关键数学猜想仍待独立验证,权威小组拒绝认证

由麻省理工学院的Ryan Williams、拉塞尔·伊姆帕利亚佐及加州大学圣地亚哥分校的Ramamohan Paturi领衔的审查团队,正负责评估该假设的可驳倒性。尽管被邀请参与,三人明确声明:研究介入不代表对结论的认可。他们强调,如此重大的理论突破必须经过严格、透明且可复现的同行评审流程。

开放审查不附带保密协议,数据共享成核心条件

Williams在社交平台透露,该审查小组未签署任何保密协议,亦未获得报酬。其工作基于完全开放原则,要求OpenAI提供全部原始数据以供分析。此外,该实验室同意资助一场专题研讨会,探讨其声称成果的潜在影响。这一安排被视为推动学术透明的重要举措。

历史先例警示:三次声明均被发现存在严重疏漏

回顾过去,OpenAI曾三次宣布取得数学突破,但每次均由专业数学家核查后发现其表述与实际结果严重不符。例如,2025年10月16日宣称的反例虽经Lean语言验证,但独立团队仍在持续审查其逻辑严密性。相关论述文稿与形式化证明已上传至GitHub,但剑桥大学的Anders Hansen等人指出,即使通过编译验证,也不代表自然语言论证成立。

著名数学家Thomas Bloom曾批评其副总裁称GPT-5解决十项Erdős问题的说法为“严重误导”。事实上,该模型仅呈现了现有文献中的信息,并未生成新解。此事件引发包括Yann LeCun和Demis Hassabis在内的业界人士公开嘲讽。

同年10月6日,OpenAI发布722篇预印本,涵盖372个数学议题。因一处符号错误导致多个推论失效,三天内被迫撤回三篇论文并修订十四篇。康奈尔大学数学家Alex Townsend预测,未来还将有更多漏洞浮现。

此前9月的纳维-斯托克斯风波亦加剧信任危机。数学家Tristan Buckmaster指控其方法被未授权使用,而当时OpenAI却声称已解决该难题。公司否认侵权,但未提供充分解释。

三项主张并行发布,策略差异引发学术讨论

指数时间假设是同一公告中提出的三大主张之一。在数学领域,OpenAI声称其模型已证明1991年Christopher Sogge提出的局部平滑猜想适用于所有维度,从而间接解决Kakeya与Stein限制猜想。相关论述与形式化证明均已公开。

在物理领域,该机构宣称其模型确认了某些量子场论在四维空间的存在性,触及克雷数学研究所千禧年难题的一部分。对此,诺贝尔奖得主David Gross领导的小组决定暂不发表,转而由人类研究者主导撰写成果。

OpenAI表示不追求署名权,并向西蒙斯基金会捐赠500万美元,用于举办关于AI生成成果的学术会议。公司承认三种发布方式各有优劣,期待通过反馈优化后续传播路径。