资讯🔥8.0
OpenAI杀疯了！五天内再破千禧年数学难题，霍奇猜想也要被攻破了？
📋总体概括
OpenAI向《纽约时报》确认，继纳维-斯托克斯问题后，五天内在另一千禧年难题上取得实质性进展，外界指向霍奇猜想；其代号Aeon的新模型从零到解决纳维-斯托克斯方程仅用88小时，数学推理能力大幅超越两周前的最强模型Astra。同时Anthropic被传接近解决伯奇-斯维讷顿-戴尔猜想。若进展坐实，封印数十年的千禧年难题或将在一个月内被AI相继攻破，头部AI实验室的科学军备竞赛已白热化。
⚡关键信息
- ▸OpenAI正式向《纽约时报》确认五天内在第二个千禧年难题上取得实质性进展，外界指向霍奇猜想
- ▸代号Aeon的新模型从零开始解决纳维-斯托克斯方程仅用88小时，推理能力超越两周前的最强模型Astra
- ▸Anthropic被传接近解决伯奇-斯维讷顿-戴尔猜想，两大实验室进展形成竞速态势
- ▸霍奇猜想是克雷数学研究所七大千禧年难题之一，悬赏100万美元，由霍奇于1950年国际数学家大会介绍
- ▸AI若能生成并验证严肃数学证明，意味着其具备产出全新科学知识与创造性解法的能力
🔥犀利点评
别急着欢呼数学史改写——OpenAI只承认「实质性进展」，离通过克雷所严苛的同侪审核、正式发表还隔着十万八千里，把「取得进展」等同于「攻破猜想」是典型的媒体营销话术。但即便只是辅助人类数学家完成关键证明，也已足以重新定义科研范式。真正值得警惕的是：当证明效率不再是瓶颈，数学界的评价体系和信任机制准备好了吗？巨头竞赛压出来的成果，审核环节最不该被压缩。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 华尔街见闻 阅读全文 →