主要内容
OpenAI今日宣布，其AI系统已解决困扰数学界200年的纳维-斯托克斯方程，该难题是克莱数学研究所千禧年大奖难题之一（每项奖金100万美元）。此次解决耗费“数百万美元”计算资源，通过超1000个AI代理协作50余小时，最终形成基于Lean语言的形式化证明。
OpenAI研究员Sebastien Bubeck表示，8月28日公司启动新模型训练后，因关注到Anthropic团队的相关进展，决定加大资源投入。最终，超10000个AI代理参与，经50余小时工作后发现解决方案。“最初以为存在错误，周日上午完成最终证明，用Lean语言形式化。”Bubeck回忆道。
争议随即爆发。Tristan Buckmaster与Levent Alpöge于周一发布文档，称使用Claude和Codex等AI模型取得关键进展。Buckmaster指控，上周得知OpenAI关注其工作后，对方提出合作提议，包括让他单独发表论文但未提及Alpöge。OpenAI否认查看对方数据，Bubeck称未接触其工作直到公开，CEO Sam Altman则支持团队成果。双方均未回应置评请求。
