【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在需要长期创造力的研究工作...