AI 找出 1967 年聚变猜想的显式反例，13 天内连发两篇论文
2026.10.17 · 事件 · 论文 · 论文预印本
等离子体物理学家用 GPT-6 Astra Pro 找到恒星器平衡方程的显式解，推翻 Grad 猜想。
马里兰大学等离子体物理学家 Matt Landreman 于 2026 年 9 月 22 日发布恒星器聚变设计方程的显式解，论文致谢称解由 GPT-6 Astra Pro 发现、他本人逐式手工验证。13 天后他与三名 Google DeepMind 研究者把解扩展到无恒星器对称性的形状，论文致谢 Gemini 4 以小型智能体团队运行。
- Landreman 发布两族光滑三维解，称其为 Grad 猜想的反例
- 论文致谢称解由 GPT-6 Astra Pro 发现，作者手工验证
- 13 天后与 DeepMind 三人合作扩展到无对称性形状
- 10 月 5 日论文称这是首个显式闭式平衡解
- 此前 9 月 21 日已有 Lean 认证的存在性证明
为什么值得看
AI 开始产出可被逐行核验的物理与数学新结果。
适合谁关注
关注 AI for Science、聚变与数学形式化的读者。