币圈界报道：

AI团队完成纳维-斯托克斯难题证明，奖金却未兑现

尽管其在纳维-斯托克斯方程上的突破性进展已被孙宇晨主导的新数学奖项认定为有效并具备领奖资格，但OpenAI尚未实际领取这笔100万美元奖金。该公司明确表示无意参与克雷数学研究所设立的千禧年大奖竞争，导致该问题在官方体系中仍维持“活跃”状态。

机器可验证证明获独立奖项认可，传统评审流程未启动

根据孙宇晨奖项库披露的信息，OpenAI提交的解决方案已标记为“已解决”，满足领取条件。研究过程动用约10,000个AI智能体运行近88小时，随后由GPT-6 Astra在Lean系统中完成17小时的形式化校验。这一路径绕过了传统同行评议环节，直接以可机器验证的证据作为授奖依据。

官方机构保持审慎，尚未确认成果有效性

克雷数学研究所虽承认该公告可能标志着问题的实质性突破，但强调其内部评估程序仍未结束，因此仍维持纳维-斯托克斯问题为“活跃”状态。该机构指出，任何正式奖项决定均需经过严格审查，当前阶段尚不具备颁发条件。相比之下，孙宇晨设立的奖项则更注重技术实现的可验证性而非学术共识。

学术争议浮现，原创性存疑引关注

纽约大学教授特里斯坦·巴克马斯特表示，其未发表的研究曾被上传至OpenAI平台，但无法确认是否影响了最终生成结果。他强调并无指控意图，仅表达对潜在数据使用风险的关切。对此，OpenAI回应称，经内部核查，巴克马斯特所使用的Codex提示词无法构成生成该证明的核心输入源。

千禧年难题历经二十余年，仍未有官方定论

自2000年克雷数学研究所发布七项千禧年大奖难题以来，纳维-斯托克斯问题始终是其中最具挑战性的命题之一。尽管此次由人工智能驱动的证明引发了广泛关注，但学界普遍认为，若要获得官方认可，仍需经历长期、透明的同行评审流程。目前，该问题在形式上仍处于待解状态。