Description
P1中文配音 / P2英语原声
----------------------------------------------------------------
StarTalk中，天体物理学家麦克洛聊OpenAI声称AI用Lean找到纳维-斯托克斯方程反例，证明约含2.6万个子定理，人类数学家将其转写成可读版本，引发风波。他们讨论光滑性、湍流、方程与真实物理的差距：奇点或许只说明数学描述有局限，数学家仍关注千禧年悬赏。麦克洛也谈AI黑箱、幻觉与文献探索，提醒AI已真实存在。
----------------------------------------------------------------
00:00:00 什么是纳维-斯托克斯方程？
00:02:27 湍流流体动力学
00:06:50 AI 解决了千禧年难题
00:09:54 AI 解法遗漏了什么
00:17:43 AI 在研究中的应用
----------------------------------------------------------------
原标题：Did AI Solve One of Math’s Hardest Problems?
原作者：StarTalk
发布日期：2026-10-01
视频链接：https://www.youtube.com/watch?v=s7KhLuc3Mck