论纳维-斯托克斯千禧年大奖难题
这件事讲了什么
OpenAI 分享了一个由内部 AI 系统生成的纳维-斯托克斯存在性与光滑性问题的解答，包括证明文章和 Lean 形式化证明，表明三维不可压缩流体的平滑运动可在有限时间内产生奇点，从而解决了千禧年大奖难题中的陈述 C 和 D。
← 返回列表
这是基于来源内容整理的摘要。原文链接失效后，本页摘要和讨论仍会保留。
讨论 0
登录后参与讨论，阅读资讯无需注册。
还没有评论，来分享第一个看法。