AGI Hunt· skdh·· 1 天前精选AI 评分77
数学家评价 OpenAI 宣称攻克 Navier-Stokes 的 AI 证明
数学家评 OpenAI 攻克 Navier-Stokes:没有 AI 百年也难达成
AI 导读
法国数学家 Sylvia Serfaty 评价 OpenAI 宣称解决的 Navier-Stokes 问题,称其解法极其复杂,且证明完全由 AI 找到而无需人类引导。OpenAI 披露,相关智能体交换了 270 万条消息、产出 1300 亿 tokens,同期尝试其他问题的算力账单估计约 2000 万美元。公司称因担心被竞争团队抢先,直到 9 月 1 日才紧急启动该项目。
推荐理由
材料并列呈现数学家评价、OpenAI披露的AI求解过程与投入成本,为理解AI参与高难数学研究提供具体参照。
来源:AGI Hunt · agihunt.info