本月早些时候，数学家曾公开指责OpenAI试图抢占一道超高难度数学难题的成果，将这家公司推入舆论漩涡。而据了解研究进展的人士透露，OpenAI实际上已接近攻克千禧年大奖难题中的另一道——千禧年大奖难题共列出七道著名数学挑战，此前引发争议的纳维–斯托克斯方程存在性与光滑性问题即为其中一道。
据该消息人士称，OpenAI内部员工预计，下一个目标霍奇猜想的证明有望在较短时间内完成。霍奇猜想探讨的是：当几何体由多项式方程定义时，其特定几何特征能否总能用更简单的代数组件来描述。但公司可能不会很快对外公布结果。OpenAI正在筹划如何与数学界协作、以何种方式发布成果，以免再度引发公关危机。
OpenAI投入这些冷门艰深难题的动机何在？这类攻关成本并不低：此前证明纳维–斯托克斯方程相关结论，耗费的成本据信高达数百万美元。该消息人士透露，当时完成这一证明的，是下一代预训练模型的一个变体，代号"道格"。
在部分OpenAI研究员看来，继软件工程之后，数学是大模型顺理成章的下一个目标。两者的共性在于：都依赖分步逻辑推理，产出结果大多可被自动验证。有研究员甚至预计，过去一年软件工程领域经历的自动化变革，将在未来6至9个月内在数学领域重演。
攻克高难度数学难题还有一层意义：它有助于AI研发人员推进机器学习研究的自动化——机器学习本身包含大量数学内容，而这类自动化正是他们迈向递归自改进（即AI自主研发新AI）目标的关键环节。
让前沿模型挑战从未被证明的数学难题，同样为评估模型进展和复杂推理能力提供了标尺。若模型能破解纳维–斯托克斯方程、霍奇猜想这类问题，或许也意味着它有能力处理生物、化学等其他领域同等难度的问题。
此外，只要成果发布不招致数学家群体的强烈反弹，此类突破本身也将为OpenAI树立新的标志性里程碑，成为其在通用超级人工智能竞赛中的宣传筹码，这显然符合公司利益。
对文章打分
OpenAI有望攻克另一项千禧年大奖数学难题
1 (50%) 1 (50%)最新资讯
加载中...编辑精选
加载中...相关文章
-
37国调查显示多数人担心AI抢走工作 富裕国家忧虑尤其明显
- 3 分钟前
-
中美专家呼吁建立"核安全级"AI防护机制 防范超级人工智能失控风险
- 2 小时前
-
联合国秘书长警告AI风险：全球不能陷入逐底竞争
- 8 小时前
-
DeepMind联合创始人警告：AI能力不能跑在安全前面
- 8 小时前
-
马斯克突然对苹果撤诉 OpenAI怀疑有鬼、法官下令披露背后协议
- 8 小时前
Top 10
本周 本月-
Switch模拟器迎来性能飞跃 开发工作却在巅峰时刻宣告终结
阅读 (1364) 评论 (0) -
Anthropic指控中国多家AI公司大规模蒸馏 阿里巴巴、月之暗面和DeepSeek被指涉数千万次交互
阅读 (1343) 评论 (5) -
首都禁飞区将于9月20日启用 北京全市禁飞无人机且不得持有、存放、运输、携带
阅读 (1198) 评论 (5) - 32天就下架 DeepSeek为何对自家旗舰下狠手
- 罗永浩，再也掀不起什么大风大浪
- 罗永浩评苹果折叠屏iPhone Duo：全是抄的 折痕处理是"屎上雕屎"
- iOS 27，你长得好像安卓啊
- Anthropic掌门人称"中国因素"是放缓AI竞赛的最大难题
- iPhone Duo开合动画火出圈 国产折叠屏已经开始抄作业了
- GPT-6 Astra开放Plus 20美元只能拿它干活，不能聊天
-
新研究发现母亲生育年龄影响后代的身体特征、寿命以及行为表现
阅读 (3493) 评论 (0) -
苹果正式发布iPhone 18 Pro系列 强化系统级端侧AI 售价小幅调高
阅读 (1629) 评论 (0) -
时隔多年 摩拜299元押金可全额退了
阅读 (1569) 评论 (1) - OpenClaw 2.0正式发布 一次简化安装的尝试最终重塑整个产品
- 马斯克变性女儿床上大战机器人引热议
- 男子听信AI抄近道结果被困深山 事后质问AI竟回答：早走成熟线路就好了
- Switch模拟器迎来性能飞跃 开发工作却在巅峰时刻宣告终结
- 中国科学家公布800座"飞翼"客机方案 或重新定义商业航空
- Anthropic指控中国多家AI公司大规模蒸馏 阿里巴巴、月之暗面和DeepSeek被指涉数千万次交互
- 苹果iPhone Duo亮相 正式进军折叠屏领域 售价1999美元起