OpenAI称智能体完成纳维-斯托克斯证明

OpenAI称，约1万个数学智能体运行88小时，完成纳维-斯托克斯千禧年大奖问题的证明，并用Lean定理证明器进行了形式化；相关结果已发布为722篇AI撰写手稿，覆盖数百个开放问题，其中162篇在发布时已形式化主结果。 目前这些成果仍在接受专家评审。相关分析据此认为，数学家与企业团队的分工可能转向由智能体生成候选证明、再由专家审阅和验证，但这一影响尚不能视为已经得到证实。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。