一道让仿星器悬了59年的核聚变猜想，被GPT-6 Astra两天挖出两族精确解
先说结论：这桩事目前都来自论文和提示词公开记录，具体的解也还没经受更广的同行复核，但它值得被认真看一遍。9月下旬，和核聚变仿星器相关的「Grad猜想」被两篇论文前后脚推翻，其中一位物理学家手上那两族解，是对话式AI模型在两天里写出来的。
先说背景。核聚变要做的，是把上亿度的等离子体关进一个甜甜圈形状的磁笼子里。理想的磁笼子是一层套一层的嵌套磁面，像洋葱，等离子体往外冲的力和磁场的力处处抵消，物理学家管这叫MHD平衡。托卡马克（比如ITER、中国的EAST）是轴对称的，这个问题几十年前就归结成一个二维方程算明白了。仿星器（比如德国的Wendelstein 7-X）走另一条路，靠一圈扭来扭去的线圈故意造不对称磁场——问题就出在这个不对称上。
1967年，纽约大学Courant研究所的Harold Grad在《Physics of Fluids》上写下判断：不太可能存在一般的一类具有光滑压力的环形平衡。1985年他又推进一步，断言除了对称的例外，不存在光滑依赖参数的解族——换句话说，不对称的解就算碰巧存在，也只能是孤零零的个例。这等于对仿星器派说，你们想要的完美磁笼子，严格来说可能根本不存在。此后几十年仿星器靠着近似解和电脑数值计算照造不误，但算出来的是真存在还是近似带出来的假象，没人能打包票。离严格答案最近的一是近轴展开，只在磁轴附近有效；二是Lortz 1970年证明的一种带镜面对称的解，可它的旋转变换ι为零，关不住等离子体。
这次破局的细节，据论文和公开的提示词记录是这么走的。9月10日早上6点44分，马里兰大学的等离子体物理学家Matt Landreman给GPT-6 Astra Pro发了一段提示词，要它设计一个不对称的磁笼子：磁场要有一层层嵌套磁面，散度必须为零，磁力线顺着甜甜圈走要绕着截面螺旋前进（物理上叫旋转变换，记作ι），整个还得满足MHD力平衡。他补充说ι最好不是整数，但只是加分项，还给了三条造出旋转变换的思路。提示词结尾他换了口气，像在给熬夜的博士生打气。
Astra第一轮只想了20分34秒就交卷，第一句是「我找到了一族显式、精确的解」，硬性条件全满足，只是它自己主动交代短板：这族解的ι是整数，磁力线绕一圈就首尾闭合。Landreman心里真正想要的是ι取无理数的那种，磁力线永远回不到起点、在磁面上缠满一圈圈。第二天下午4点05分他把第一族解当附件丢回去要加这个分，还附上那句打气。这次Astra想了33分37秒，第一轮回一句「没做出来」，但没空手：它证明了一族限制——第一族解背后的「二次振子」构造，不管怎么调参数，ι永远是整数，在这基础上修补从根上走不通。然后它在同一段对话里换了一套构造，交出第二族解，这次ι随磁面变化（叫磁剪切），几乎每层上的ι都是无理数。交卷前它自己做过验算，在1202个点上把方程代进去，用64位自动微分查误差，又用四阶有限差分独立核对了一遍。
两天交付两族解，剩下十来天是人干的活：Landreman用仿星器平衡求解器DESC把两族解各算了一遍，又用SymPy和Mathematica逐项推方程。9月22日论文挂上arXiv，致谢开头写明，这些解是用人工智能模型GPT-6 Astra Pro发现的，论文部分内容也由它起草，所有方程由作者手工确认。他还把三段对话导出成PDF、连同验证脚本放进论文的GitHub仓库——把原始提示词全盘公开的论文，确实不多见。
值得对比的是前一天。9月21日，布朗大学Gómez-Serrano、牛津大学Mitchell Taylor、巴伊兰大学Lukas Liehr三人组先挂出《Grad猜想的反例》，走的是纯数学的Nash-Moser迭代，论文写了147页，造出的解是N瓣花环形的，只绕固定角度重合一次，配一套Lean 4形式化证明。这段也是AI写出来的：项目7月开工，作者先画好详细构造路线图，细活交给GPT-5.6 Sol、Claude Fable 5和Claude Opus 5轮番补技术细节、计算和挑毛病，Lean代码也是作者一路盯着写出来的，后期换上了更新的GPT-6 Astra和Claude Fable 5.1收尾校对。
所以我真正在意的不是「AI打败物理学家」，而是这一周里两批人把同一道悬了59年的题推翻了，用的工具和验证路径完全不同——一边是纯数学硬核分析加形式化证明，一边是一个物理学家加一个对话框加20分钟。Landreman这两族解把早先几个缺口一次补齐：在整个甜甜圈里严格成立、ι不为零、还是能用初等函数直接写在纸上的精确解析解，磁场、磁面、压力全部用平方根、三角函数这类最基础的式子写出来，区域处处光滑。他在论文结尾自己也写了句很坦诚的话：对仿星器聚变来说，能确定知道这种强非对称、磁面完美的平衡原则上存在，让人安心。
最后说点保留意见。材料里提到论文挂出一周多，做AI数学的Przemek Chojecki又用GPT-6 Astra和Opus 5.5挖出更多反例族，但这些新解还没经过Lean验证和同行评审。Landreman的两族解也只经受了他自己用DESC、SymPy、Mathematica的核对，还没看到更广的独立复核记录——尤其注意，材料里那份「1202个点、64位自动微分」的验算是模型自己做的，这跟「作者手工逐项确认全部方程」在材料里是并存的两种说法，别混成一件事。至于「X上炸了」「京都大学博主感叹」这类描述，属于没实名可追溯的社区情绪，仅供参考，不当成硬事实。更远的推论——「下一次可能是材料、天体」——就更是个人脑补了。一道难题被推翻，不等于仿星器立刻就能造，严格解存在和能造出来，中间还隔着工程的距离。但这确实是个值得盯着的信号：以往这类难题要熬几十年，现在一个物理学家在对话框中把它两下问穿了，提示词还全公开，谁都能照着问。