据光明网10月12日报道,OpenAI近日在GitHub公开由前沿模型产出的722篇数学预印本手稿,按结果相关性划分为372个「结果族」,覆盖数论、几何、数学物理等17个领域,部分成果附有可机检的Lean形式化证明。OpenAI称绝大多数结果出自一款尚未发布的内部模型,平均每个结果的计算量约相当于ChatGPT Pro三个小时。这是该公司一个月内第二次用大模型攻克知名数学难题。
争议随之而来:公布两天后,OpenAI在成果更新日志中承认首批手稿存在瑕疵,撤回3篇、修订14篇,其中撤稿原因是同一处符号错误连带影响依赖其构造的两篇论文。此前,2026年6月已有16位知名数学家联署《人工智能与数学莱顿宣言》,对AI冲击数学研究表达担忧。
【AICOR 点评】AI批量产出科研结果后,瓶颈从「生成」转向「验证与信任」。这一幕正在所有行业复现:企业引入AI后,真正稀缺的是能判定AI产出对错的质量体系。建议企业为智能体建立分层验收机制——机器可验证的部分自动化,需人判定的部分明确责任人,避免信任缺口演变为合规事故。
Copyright Notice This article is AI-assisted, rewritten from public reports. Copyright of the information belongs to the original authors and media; content is for industry sharing only and does not constitute investment or business advice.
For copyright concerns, contact AICOR (400-601-8080 / WeChat: aicor-ai); we will handle it promptly upon notification.