数学AI开始「做研究」了球面上的7个电子竟难住了人类数百年。就在今天10个Claude Sonnet 5.5通宵15个小时互发1270条消息写出17895行Lean代码。结果把一道悬了122年的物理数学难题——汤姆逊问题N7直接完成证明了没有人类介入没有预设分工。十个Claude 5.5自己建群、自己吵架、自己选算法、自己合并代码。最恐怖的是这份证明通过了Lean内核和独立内核nanoda的双重验证。改一个整数nanoda立刻报错。这一刻标志着AI不只是会解题了。AI开始自己做研究了。「七星连珠」之谜困扰物理界百年1904年发现电子的J.J.汤姆逊提出了著名的「葡萄干布丁」原子模型想弄清电子在原子里怎么排布。模型后来被卢瑟福推翻了但留下的这道题活了下来名字就叫「汤姆逊问题」。这个问题听起来巨简单——把N个电子扔到一个球面上彼此排斥怎么站总能量最低注意是总能量最低。只把某两个电子拉远可能会把其他几个挤到一起。过去的122年里被严格证完的只有寥寥几个2、3、4、6、12个点靠几何对称性解决5个点拖到2013年数学家Richard Schwartz借助计算机才证完8个点就在今年9月18日由Kryvonos、Liehr、Taylor三位数学家挂上arXiv并用Lean做了形式化。而7夹在中间一直空着。数十年来世界各地的超级计算机跑了无数次数值模拟所有结果都指向同一个优美的直觉构型——「五角双锥」Pentagonal Bipyramid赤道上均匀分布5个电子南北两极各钉死1个理论能量值约等于14.4529774142数值模拟能跑出一万次这个数字但模拟不是证明。只要没有逻辑上的绝对闭环就永远无法排除在某处极其晦涩的微小折角里藏着一个能量更低的「幽灵构型」。百年来人类始终拿不出对N7的完备、严密数学形式化证明。直到来自Vals AI的Hung Tran把这个任务交给了由10个Claude组成的虚拟实验室。10个Claude 5.5组队通宵15h开会这场实验里人类先把任务边界钉牢。他们把10个Claude Sonnet 5.5智能体全部调到「最大算力投入」状态扔进一个交互看板和Lean证明环境里目标只有一个证明「五角双锥」是7个电子在球面上的最低能量排布。没有给它们具体步骤。只给了两个固定的Lean定理陈述以及九个可能的探索方向。接下来15个小时全交给它们。1270条技术讨论消息。有的Claude试一条路走不通把失败贴上来有的接着改有的发现两条路其实能合并。后来其中一个Claude主动认领了「集成者」的角色把各路验证通过的零件一块块塞进同一个文件Solution.lean。硬规矩只有一条没过检查器的一律不算。必须能从零复现编译、必须和题面一字不差地对上、不许偷偷加公理。最终得到了一份17,895行Lean形式化证明。改一个整数就报错这份证明的核心策略极其精巧。它按任意两个电子之间最小内积m的值把整个连续构型空间切成几个区域逐个击破。区域一m ≥ -0.90这个区域里没有任何一对电子「接近反极点」。Claude用了一个5次三点半定规划边界配合内核可直接检验的精确整数数据证明该区域内任何构型的能量都高于五角双锥至少3×10⁻⁴。区域二m -0.90这个区域更棘手存在接近反极点的电子对。智能体把它继续细分[-0.99, -0.90]的五个切片每个切片用一个严格的三点凭证排除高出最优能量约2.6×10⁻⁶。极冠区域m ≤ -0.99由高精度凭证约束。这个凭证给出的能量下界只比五角双锥的能量低2.3×10⁻¹⁶。这是一个极其狭窄的窗口。它把潜在的「竞争者」全部压缩到五角双锥的极窄邻域内。然后Claude用区间算术刚性论证和精确二阶局部极小值定理彻底锁定唯一性。最狠的一步来了所有数值凭证全部被舍入并转换为精确整数与有理数。这意味着整个证明脱离了浮点误差脱离了外部求解器依赖完全建立在精确代数运算之上。验证结果Lean内核全量编译599秒通过其中lake build耗时344秒完成8,928个编译任务。独立内核nanoda校验47,854个声明零错误。负对照实验仅仅改动证明数据里的一个整数nanoda立刻报错中止。改一个整数就报错。这是形式化验证最硬核的可信度证明。数学AI开始「做研究」了过去说AI做数学指的是它「会解题」给一道奥赛题吐出一个答案。现在一整条研究链条正在被Agent接管找证明路线、并行试错、裁决哪条路值得走、把代码合进一个文件、最后交给机器验收。数学AI正在从「会解题」走向「会做研究」。人类数学家花了几十年没做到的事10个AI只用了一个通宵。而且它们全程没有人类插手。它们自己建群自己讨论自己分工自己合并代码自己通过验证。刚刚10个Claude通宵15小时做了一件事。它们不只是证明了一个百年猜想。它们证明了一件事AI已经准备好和人类一起做数学了。原文链接刚刚十个Claude 5.5攻克百年物理猜想-36氪我的专辑《人工智能生命体 新启点》CSDN平台https://blog.csdn.net/2501_91883294/article/details/147616608?sharetypeblogdetailshareId147616608sharereferAPPsharesource2501_91883294sharefromlink