比GPT-6 Astra强！OpenAI新模型破解90年数学难题，遭纽约大学教授炮轰剽窃

智东西 作者 | 程茜 编辑 | 李水青 智东西9月9日消息，今日，OpenAI宣布使用 比GPT-6 Astra更强的内部系统 ，破解了悬而未决约90年的“千禧年大奖难题”。 这道难题是纳维–斯托克斯存在性与光滑性问题，OpenAI成功证明，描述流体运动的纳维–斯托克斯方程，其动力学演化可在有限时间内产生奇点。 他们的策略是不同智能体群组进行多样化验证，最后由Codex汇总结果。首批智能体启动约 88小时 后，智能体群组于当地时间9月5日得到了证明结果，后续由GPT‑6 Astra耗时 17小时 ，完成Lean形式化构建与核验。 在所有尝试求解的问题中，大约有10000个智能体协作，一共发送了 490万条 消息，消耗约 3000亿输出token 。在求解纳维–斯托克斯问题的过程里，智能体发送 270万条 消息，消耗大约 1300亿输出token 。OpenAI研究科学家诺姆·布朗（Noam Brown）发帖称，这个项目的实施花费了 数百万美元 。 刚公布突破数学难题，OpenAI不忘为用户端上图像生成模型ChatGPT Images 2.5，新模型图像生成速度快了50%，并且清晰度更高、功能更强大。 就在公布这一历史性突破后，OpenAI却深陷剽窃他人研究成果的舆论漩涡。 当地时间周一，纽约大学数学教授特里斯坦·巴克马斯特（Tristan Buckmaster）发布声明称，自己已经在解决纳维-斯托克斯方程方面取得重大突破，OpenAI在得知他们取得进展后才启动研究。 但OpenAI在博客文章中强调，在巴克马斯特团队成果公开前，他们从未以任何方式接触过对方的研究内容。 Annt