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