【OpenAI千禧年难题成果大反转：自己都没看懂就发了？】近日，OpenAI攻克“纳维-斯托克斯方程”的成果迎来反转。今年9月OpenAI宣布证明该方程在平滑外力下会发生“有限时间爆破”，起初各方及OpenAI均以为其沿用了“西班牙路线”。但《科学美国人》最新报道及数学家证实，其最终证明方法与“西班牙路线”完全不同。更离谱的是，OpenAI并未真正理解自家模型的证明过程。虽有Lean代码验证逻辑，但人类仍难理解其数学思想。目前OpenAI又公开722篇数学手稿，AI产出速度远超人类理解速度，引发数学界担忧。

《纽约时报》最新披露OpenAI与数学家关于纳维-斯托克斯方程证明的争议细节。OpenAI曾提出让出百万美元奖金等条件，但因排斥对方在Anthropic任职的合作者致谈判破裂，高管更警告其“毁掉职业生涯”。同时，OpenAI澄清7月3日后的用户数据未用于模型训练。争议未平，OpenAI又宣布在另一千禧年难题（传闻为霍奇猜想）上取得实质进展。其内部模型动用上万个Agent，仅用88小时便攻克前题。这场AI与人类学者的“刷题竞赛”正引发关于成果归属与学术伦理的深刻反思。

近日，OpenAI宣布成功破解悬而未决逾90年的千禧年数学难题“纳维-斯托克斯方程存在性与光滑性问题”。OpenAI调动约1万个AI智能体协同工作，仅耗时88小时、消耗约1000万美元算力便得出解法，验证了流体在极限场景下会发生“有限时间爆破”，并表示不领取100万美元悬赏奖金。目前该成果尚未经过独立验证，且引发学术“抄袭”争议。有学者质疑OpenAI获取其研究进展后仓促攻关，OpenAI对此予以否认，强调双方证明路线存在本质差异。这一突破震撼学界，直观展现了AI能力的指数级进化。

【OpenAI 88小时攻破千禧年难题，却陷署名风波】9月5日，OpenAI宣布约1万个Agent耗时88小时，生成千禧年难题“纳维-斯托克斯方程”的完整证明并通过Lean验证。所用模型远超GPT-6 Astra，OpenAI放弃百万美元奖金。但此举引发署名争议：纽约大学数学家Buckmaster指控OpenAI获悉其与Anthropic研究员的进展后才启动项目，且OpenAI研究员要求移除Anthropic员工署名并言语威胁。OpenAI与奥特曼否认抄袭，称系协调发布产生分歧。AI独立证明对现行学术规范构成直接挑战，数学界态度及克雷研究所裁定将成焦点。

标题：陶哲轩：纳维-斯托克斯方程或已不再是流体的良好模型 陶哲轩在巴塞罗那的最新专访中回应了关于AI和纳维-斯托克斯方程的一些热点问题，包括AI在数学竞赛中的表现、AI的潜在威胁以及纳维-斯托克斯方程的有效性。 陶哲轩预测，AI将在两三年内在数学竞赛中超越人类的表现，但AI在需要长期创造力的研究工作...