Claude挑战黎曼猜想，实际发生了什么 - Ellie Sleightholm - 英语原声/中配

P1中文配音 / P2英语原声
----------------------------------------------------------------
剑桥数学博士生 Ellie 先科普黎曼猜想和临界线，再拆解 Claude 的尝试：它没证明猜想，只把临界线上非平凡零点比例下界推到至少三分之二，最终 67.25%。她还原约 60 个子智能体在协调者、验证者和敌对审稿者协作下，用 Lean 形式化、查 arXiv 论文，并强调结果未经同行评审，即便到 100% 也不等于证明。她用完全平方数类比说明，这只表示临界线外零点可能极稀疏。最后聊 AI 数学的透明度、管理及数学界如何接纳。
----------------------------------------------------------------
00:00:00 AI与数学的危机
00:01:24 素数与众数计数函数
00:02:58 从巴塞尔问题到zeta函数
00:04:25 欧拉乘积:连接zeta与素数
00:07:26 一段简短的抓绒插曲
00:08:18 黎曼的论文与复数
00:11:10 零点、临界带与黎曼猜想
00:13:04 临界线上研究进展的历史
00:14:48 Anthropic 究竟宣布了什么
00:15:55 深入 Claude 的 AI 智能体团队
00:17:44 失败的尝试与新的方向
00:18:56 宣称的50%结果与推翻它的尝试
00:19:45 把界限推进到67.25
00:20:58 检验证明:AI、数学家与 Lean
00:23:00 这算重大突破吗?
00:23:46 为何即使100%也无法证明该猜想
00:25:56 我对 AI 进展的看法
00:26:31 护栏与滥用
00:27:11 数学不只是基准测试
00:28:27 透明度与给予数学家认可
00:30:42 成为数学家意味着什么?
----------------------------------------------------------------
原标题：Claude Took On the Riemann Hypothesis. Here’s What Actually Happened
原作者：Ellie Sleightholm
发布日期：2026-09-27
视频链接：https://www.youtube.com/watch?v=kvLOiTxYSzA