7.0
深览指数
科技腾讯新闻·新智元··AI 生成
GPT-6 Astra推翻59年核聚变猜想！下一个可能被推翻的会是什么？
两篇论文前后相差一天，推翻了等离子体物理学家Harold Grad于1967年提出的核聚变猜想——该猜想断言不存在强非对称的光滑三维等离子体平衡。文章详细记录了两路突破：一是马里兰大学物理学家用GPT-6 Astra对话框在20分钟内找到一族精确解析解；二是数学家团队用GPT和Claude辅助，结合Nash-Moser迭代构造出147页纯数学反例。文章揭示了AI在科学发现中的角色转变：从辅助计算到直接产出可验证的新解。适合关注AI前沿应用、核聚变技术进展或科学方法论演变的读者。原文 ↗
核心观点
- ▍Harold Grad于1967年及1985年提出的断言——不存在光滑的三维非对称等离子体平衡——已被两篇独立论文推翻，证明这类平衡不仅存在，而且可以构成连续解族。
- ▍AI（尤其是GPT-6 Astra）在科学发现中的角色正从辅助计算工具转变为直接参与探索与发现新解的核心引擎，一位物理学家和一个对话框即可完成此前59年未有人完成的突破。
- 01第一篇反例来自马里兰大学物理学家Matt Landreman，他在9月10日向GPT-6 Astra Pro提出设计非对称磁笼子的要求，Astra在20分钟内给出了第一族精确解析解，次日又给出了第二族旋转变换为非整数的解。
- 02第二篇反例于9月21日由布朗大学Gómez-Serrano、牛津大学Taylor和巴伊兰大学Liehr挂出，走纯数学路线（Nash-Moser迭代），构造了N瓣花环形状的平衡，对称群仅为循环群C_N，完全不依赖轴对称或镜面对称。
- 03第二篇论文附有一套Lean 4形式化证明，主结果已被机器验证。论文147页由三位作者画出构造路线图后，交由GPT-5.6 Sol、Claude Fable 5和Claude Opus 5补技术细节、计算与纠错，Lean代码也由AI协助编写。
- 04Astra找到的两族解满足所有硬性条件：嵌套磁面、零散度、MHD力平衡、压力从中心往外光滑递减，且第二族解具有非整数旋转变换（磁剪切）。解由初等函数（平方根、三角函数）表达，在整个甜甜圈区域严格成立。
- 05Landreman将完整对话记录（含原始提示词）和验证脚本公开在论文GitHub仓库中，并在论文致谢中写明解由AI发现、部分论文内容由AI起草、所有方程经人工确认。
- 06此前离严格解最近的尝试包括近轴展开（只适用于磁轴附近）和Lortz 1970年的证明（旋转变换为0，关不住等离子体）。新解同时解决了这两个缺口。
反方 / 局限
- — Astra找到的第一族解旋转变换为整数（磁力线闭合），作者Landreman自己也承认这一族解在严格意义上不算理想，并让Astra尝试第二族解后才得到非整数旋转变换。
- — Gómez-Serrano团队的反例构造高度依赖Nash-Moser迭代和Lean验证，门槛极高——147页的数学论文不是普通研究者能独立复现的，且AI在其中的参与程度被描述为“补细节”，而非提出核心思路。
- — Stellarator的实际工程可行性并未因这些数学解的存在而发生根本性变化——目前的装置仍依赖数值计算和近似解，新解是“原则上的存在性证明”，而非直接的工程突破。
Harold GradMatt LandremanJavier Gómez-SerranoMitchell TaylorLukas LiehrGPT-6 Astra仿星器 (Stellarator)托卡马克 (Tokamak)MHD平衡Grad-Shafranov方程Nash-Moser迭代Lean 4马里兰大学布朗大学牛津大学巴伊兰大学Wendelstein 7-XITEREASTDeepMind
14 分钟 · 3 卡片 · 9 资料
读原文 →