名人张聊
26-09-09 10:48 微博认证:科技博主

#OpenAI宣布攻克千禧年难题#

9月8日,OpenAI宣布其内部AI系统仅用88小时便攻克了困扰数学界90年的纳维-斯托克斯千禧年难题,但随即卷入了一场激烈的学术争议。

OpenAI证明了三维不可压缩流体在光滑外力作用下,可在有限时间内发展出“奇点”(流速无限增长但能量有限)。该结论精准对应克雷数学研究所官方表述中的C和D情形,宣告该千禧年难题在特定条件下被攻克。

OpenAI在破解过程中用约10000个AI智能体分组并发探索,耗时88小时生成165页证明论文。消耗了约1300亿输出Token后,由GPT-6 Astra耗时17小时完成Lean代码验证。

OpenAI明确表示不申领克雷数学研究所的100万美元奖金,将其定位为“AI进步的快照”。尽管Lean验证保证了逻辑严密性,但克雷研究所规定需经至少两年社区审查才正式承认,目前官网仍将该题列为未解决状态。

#热点跨界共创##老张聊科技# http://t.cn/AX0u6hgk

发布于 河南