OpenAI智能体以Lean形式化产出纳维-斯托克斯千禧年大奖证明

OpenAI分享了由智能体团队生成、并经Lean形式化验证的分析证明，证明纳维-斯托克斯动力学下流体可在有限时间内形成奇点，该奇点表现为向内螺旋并不断拉长的涡旋。

内容详情 · 原文链接

via AI Pulse | 全球 AI 动态简报 - Telegram Channel