ARTICLE · 1094676
AI解开了杨振宁理论的九圈难题
一道人类卡了很多年的物理难题,被 AI 用几天时间推了出来。这道题出自杨振宁 1954 年和米尔斯一起创立的杨-米尔斯理论——整个现代粒子物理学的基石。AI 算到的「九圈」,把人类保持的「八圈」纪录正式翻篇。
这道题,难在哪
物理学家预测粒子怎么撞、撞完会怎样,靠的是「散射振幅」公式。公式不是写一遍就完,要在草稿纸上一圈一圈往上算,每多一圈,精度高一层,计算量也翻着倍地涨。它是大型对撞机实验背后的理论账本,算得越准,实验数据才解读得越清。
人类的进度条是这么走的:2016 年算到五圈,2019 年算到六圈和七圈,后来推到八圈,然后停在这里。九圈展开后有多大?其中一部分的展开就有 300 亿项。人手算这个量级,一辈子不够用。
这次出题的物理学家 Lance Dixon,2016 年那篇五圈论文的作者名单里就有他,2019 年六圈、七圈的论文他也都在作者列表里。这个人几乎把自己半辈子钉在了这道题的进度条上。他原本的态度是不信邪:除非亲眼看到 AI 解掉自己领域的难题。后来他给 AI 出了三道题,其中一道就是「把 N=4 超杨-米尔斯模型算到第九圈」。
他等的那一天,来的时候没打招呼。
一个提示词,几千美元,无人值守
接下战书的是 Anthropic 的 Claude。他们用的是一个叫 Claude Science 的系统,专门为科学家设计,让模型遵循严谨的科研规则运行,里面跑的是目前最强的公开可用模型 Fable 5.1。
做法听起来朴素得离谱:科学家把题目写成一条提示词发过去,附一句「你继续算,除非我叫你停,每隔 4 到 6 小时汇报一次进度」。
然后 AI 就真的自己开算了。几乎无人工干预,连跑数天,用的方法是物理学家这些年开发的「自举法」——像解数独,在无数参数里不断排除错误选项,一步步逼出唯一解。到点交卷,报告打得整整齐齐。
费用呢?几千美元。没有几百万的算力堆料,就一条提示词加几天电费量级的开销。
验证结果的正是 Dixon 本人。他说,身边大多数理论物理学家早就承认大模型迟早会颠覆物理学,只是不知道那一天什么时候砸到自己头上。对他来说,那天是 9 月 1 日。
这件事真正的新意,在于「几乎无人类干预」这六个字。以前 AI 做科研,是人把步骤拆好、喂一步算一步;这次是人类只给目标和规矩,推理、试错、汇报,全程它自己来。从「高级计算器」到「能独立攻关的研究搭档」,这一步跨过去,牌桌上坐着的就不一样了。
往远了想一层:理论物理这类「算力换真理」的行当,药物分子筛选、新材料模拟、气候模型,逻辑上是相通的。几十年攒不动的一道题,变成一条提示词的事,这个信号比九圈本身值钱。
科学家的直觉依然宝贵,但草稿纸已经换了主人。
你觉得 AI 下一个解开的,会是哪个领域的难题?评论区聊聊 👇
关注我,下一篇继续聊 AI 圈那些真进展;觉得有用,点个「在看」👇