资讯
OpenAI杀疯了！五天内再破千禧年数学难题，霍奇猜想也要被攻破了？
📋总体概括
OpenAI向《纽约时报》确认，在攻克纳维-斯托克斯问题后，五天内在另一千禧年难题霍奇猜想上取得实质性进展，审慎评估发布中。幕后新模型代号Aeon，数学推理大幅超越两周前的最强模型Astra，从零到解决纳维-斯托克斯仅用88小时。同时Anthropic传出接近解决伯奇-斯维讷顿-戴尔猜想。若进展坐实，人类封印数十年的千禧年难题可能在一个月内被AI相继攻破，两家实验室的科学军备竞赛随IPO节点彻底白热化。
⚡关键信息
- ▸OpenAI正式向《纽约时报》确认在霍奇猜想上取得实质性进展，距攻克纳维-斯托克斯仅隔五天
- ▸新内部模型Aeon从零开始到彻底解决纳维-斯托克斯方程仅用88小时，推理能力大幅超越两周前的最强模型Astra
- ▸Anthropic同期传出接近解决伯奇-斯维讷顿-戴尔猜想，头部实验室正面交锋
- ▸霍奇猜想是克雷研究所七大千禧年难题之一，悬赏100万美元，1950年由霍奇在国际数学家大会介绍
- ▸AI生成并通过验证的严肃数学证明，意味着其首次具备产出全新科学知识的能力
🔥犀利点评
把千禧年难题说成『LeetCode刷题』，媒体狂欢远大于学术审慎——注意措辞：OpenAI只敢说『实质性进展』，离完整证明和同行认可还有十万八千里。纳维-斯托克斯、霍奇猜想这种级别的成果，正常数学界要数月甚至数年验证，五天连爆三题的节奏更像是IPO前的市值叙事。真伪留待论文说话，但可以确定的是：AI介入数学研究从此不是概念，而是军备竞赛了。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 华尔街见闻 阅读全文 →