十个 Claude5.5 协作攻克百年汤姆逊难题，这意味着什么？

刚刚，十个Claude 5.5攻克百年物理猜想新智元·2026年09月30日 17:19数学AI，开始「做研究」了 球面上的7个电子，竟难住了人类数百年。 就在今天，10个Claude Sonnet 5.5，通宵15个小时，互发1270条消息，写出17895行Lean代码。 结果，把一道悬了122年的物理数学难题——汤姆逊问题N=7，直接完成证明了！ 没有人类介入，没有预设分工。 十个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 数值模拟 刚刚，十个claude 5.5攻克百年物理猜想

前往原平台核验详情 ↗