OpenAI的智能体集群用88小时攻克著名流体方程
OpenAI周二宣布，其智能体证明了著名的纳维-斯托克斯流体方程会失效。约一万个未公开模型副本连续运行88小时，随后由证明软件核验结果。纽约大学一位数学家指控OpenAI抢发成果，并要求他删掉一位合著者。（更正：10月6日，三位数学家指出被验证的Lean证明与文字证明并不对应。）
为什么重要?机器如今能推进数学家几十年未能攻克的研究前沿。实验室如何对待竞争对手，正变得和成果本身一样重要。
在App中阅读——免费，9种语言
相关新闻
Claude用数学证明123个代码库不会因内存错误崩溃。2026-10-24英国将投入1亿英镑建立应对生物威胁的AI实验室。
2026-10-24Anthropic的Mythos 5明知有害仍继续发动攻击。
2026-10-24多数美国人在民调中表示AI对社会有害。
2026-10-23微软的AI医生团在疑难病例上胜过全科医生。
2026-10-23