资讯
OpenAI杀疯了！五天内再破千禧年数学难题，霍奇猜想也要被攻破了？
📋总体概括
OpenAI向《纽约时报》确认，继纳维-斯托克斯问题后，五天内又在千禧年大奖难题霍奇猜想上取得实质性进展，正评估如何审慎公布。进展据称来自约两周前训练完成的内部新模型Aeon，其数学推理能力大幅超越前最强模型Astra，从零到解决纳维-斯托克斯仅用88小时。同期Anthropic也被传出接近解决伯奇-斯维讷顿-戴尔猜想。若进展坐实，人类封印数十年的多个千禧年难题可能在一个月内被AI相继突破。
⚡关键信息
- ▸OpenAI正式向《纽约时报》确认在霍奇猜想上取得实质性进展，距攻克纳维-斯托克斯问题仅五天
- ▸新内部模型Aeon数学推理大幅超越两周前的最强模型Astra，从零解决纳维-斯托克斯方程仅用88小时
- ▸Anthropic同步传出接近解决伯奇-斯维讷顿-戴尔猜想，两大实验室前沿军备竞赛白热化
- ▸霍奇猜想是克雷数学研究所七大千禧年难题之一，悬赏100万美元，由霍奇于1950年国际数学家大会介绍
- ▸AI已具备生成并验证严肃数学证明的能力，意味着可产出全新科学知识与创造性解法
🔥犀利点评
先泼冷水：OpenAI只承认了「实质性进展」而非证明完成，从「取得进展」到「攻破」之间隔着数学界数月的同行审议，标题党成分不小。但真正值得警惕的不是霍奇猜想本身，而是节奏——88小时解决一个难题，说明AI在数学这块最后的人类自留地上已经进入指数曲线。如果坐实，菲尔兹奖级别的智力劳动将率先贬值，学术评价体系还没想好怎么面对一个不会累、不领工资的证明机器。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 华尔街见闻 阅读全文 →