刚劝行业刹车自己却猛踩油门OpenAI在急什么
当地时间9月8日OpenAI宣布,借助约10000个并发Agent协作、耗时88小时,完成纳维-斯托克斯方程(三维不可压缩流体)存在性与光滑性千禧年难题的完整证明并通过Lean形式化验证,这是继庞加莱猜想后第二个宣称被解决的千禧年七大数学难题。项目9月1日启动、5日得到核心结果,累计产生约270万条消息和约1300亿输出token,由比GPT-6 Astra更强大的下一代模型生成。但成果尚未获数学界正式认定——克雷数学研究所规定解决方案须发表满两年并获学界普遍接受,且已引发优先权争议:纽约大学数学家巴克马斯特质疑OpenAI受其未公开研究影响,并称对方要求将任职Anthropic的合作者阿尔珀厄从署名中剔除。OpenAI一边由首席科学家帕乔基呼吁行业自愿放缓研发节奏,一边抢先披露新模型能力,IPO竞速背景下商业与安全的矛盾叙事凸显。