资讯🔥7.0
OpenAI杀疯了！五天内再破千禧年数学难题，霍奇猜想也要被攻破了？
📋总体概括
OpenAI向《纽约时报》确认，继宣布解决纳维-斯托克斯问题后，五天内在另一千禧年难题上取得实质性进展，消息指向霍奇猜想；背后是约两周前训练完成、据称代号Aeon的新模型，从零到解决纳维-斯托克斯方程仅用88小时，数学推理大幅超越前最强模型Astra。同期Anthropic也被传接近解决伯奇-斯维讷顿-戴尔猜想。若进展坐实，人类封印数十年的千禧年难题或在一个月内被AI接连攻破，AI已能产出全新科学知识。
⚡关键信息
- ▸OpenAI正式向《纽约时报》确认：继纳维-斯托克斯后，五天内在另一千禧年难题上取得实质进展
- ▸最新消息称该难题为霍奇猜想，克雷研究所悬赏100万美元，1950年由霍奇在国际数学家大会介绍
- ▸新模型据称代号Aeon，从零到解决纳维-斯托克斯方程仅用88小时，能力大幅超越两周前的最强模型Astra
- ▸Anthropic同期传出接近解决伯奇-斯维讷顿-戴尔猜想，三大难题或一个月内被AI相继攻克
🔥犀利点评
先别急着欢呼数学的终结。千禧年难题的判定权在数学共同体，不在公司发布会——正式论文、同行评审、形式化验证一个都不能少，OpenAI『审慎公布』的说法本身就说明结果还没走完流程。但即便最终只坐实一半，这也是范式级信号：数学证明从人类灵感游戏变成算力工程问题。真正的胜负手不是谁先解出猜想，而是A厂IPO前这场军备竞赛里，谁能把验证型AI推理率先变成可售卖的生产力。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 华尔街见闻 阅读全文 →