OpenAI 称找到纳维-斯托克斯难题解法，署名与数据使用争议随之爆发
OpenAI抄袭、威胁数学家？“AI攻克千禧难题”秀，终成 OpenAI 和 Anthropic 的大战
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
OpenAI 宣布找到纳维-斯托克斯问题的一个解法，按其公开说法，约 1 万个 Agent 在 88 小时后找到有限时间爆破解法，GPT-6 Astra 再用 17 小时完成 Lean 形式化验证。
推荐理由
围绕 OpenAI 数学证明成果的署名与数据使用争议，呈现了 AI 参与科研时成果归属尚无共识的现状。
来源：InfoQ · 微信公众号 · mp.weixin.qq.com