克莱研究所首次正式回应纳维–斯托克斯:只说「似乎已被解决」

克莱数学研究所(CMI)9 月 11 日发布《Navier-Stokes Announcement》,首次就 9 月 8 日 OpenAI 公布的候选证明表态:公告称「今天 CMI 与全球数学界一同关注纳维–斯托克斯问题似乎已被解决这一消息」,并重申该问题问的是三维欧氏空间中纳维–斯托克斯解的存在性与光滑性。声明没有宣布证明成立,只说明评审按既有规则推进、后续会提供更新。
意义在程序而不在措辞:千禧年难题每道 100 万美元奖金的归属由 CMI 判定,其规则明确写着评审「刻意不慌不忙」。在此之前,这条新闻的全部一手材料都是 OpenAI 自己的论文与 Lean 形式化代码;CMI 的介入把事件从「一家公司宣称」推到「权威机构已受理并承诺更新」,但离「被承认为解决」还差整段评审流程——这是本轮最需要说清的边界。
原文链接:Clay 数学研究所官方公告
核验记录
日期直读官方页两个字段互证:HTML 内 JSON-LD datePublished = 2026-09-11T07:08:02+00:00、dateModified = 2026-09-11T14:56:15+00:00,正文另可见「Date: 11 September 2026」。公告原文未给出任何评审结论,本条正文严格限定为「受理并表态」,不写「已证明」。同页「Full Statement」链接指向 /millennium/navier-stokes-equation/(问题页,非证明评审页),未读到具体评审安排。配图 claymath.org og:image 两次实测(裸请求 + 带 Referer)均 200,JPEG 496×502,像素偏小但为官方原图,详情页按 contain 显示。