午夜学术新闻

昨天最出圈的成果是

散射振幅（scattering amplitudes）：理论物理学中用来预测粒子相互作用的公式。

就是那个刷屏的什么9圈……的新闻。

计算时逐层加入更精细的修正，每增加一环，计算量呈指数级增长。通常人类计算能做到 2–3 环，顶尖成果是 8 环（由 SLAC 的 Lance Dixon 团队完成）。

上个月，物理学博主 发起挑战：能否用 AI 在学术可承受的算力下突破 8 环？

Anthropic 的 Claude 接受挑战，在一个描述“九环问题”的提示下，几乎无人监督地运行数天，成功算出了 9 环振幅。

成本：几千美元的算力。

这是迄今为止使用 AI 取得的最重要的物理学成果。也是在简化模型 平面 N=4 超杨–米尔斯理论 中的世界纪录。

有多简化呢?

它是在 4D 中平面极限下可能的最具超对称性的理论中推导出来的。这个理论沉浸在如此多的对称性中，以至于它是有限的且具有标度不变性。基本上相当于量子场论中的完美球体

此外

经过9年的搜寻，私人资助的“Project Callisto”未发现冷聚变的证据。

该项目始于2015年，旨在验证氘（氢的重同位素）可以在钯内部发生核反应并在相对较低温度下释放过量热量的主张。这一假设过程通常被称为“冷聚变”或“低能核反应”（LENR）。

该项目吸引了100多名研究人员，并重现了主要实验。他们测试了500多个样品，开发了在高压下将氘强迫入钯的设备，尝试加热、加电场以及利用激光脉冲触发反应。这些尝试都未产生无法解释的热量或令人信服的核信号。表面上的过量热量实际上是由化学过程引起的，比如氢气和氧气的复合。

研究人员得出结论：“我们没有发现任何冷聚变现象的证据”，尽管他们承认并未测试所有可能的材料和条件。

刚刚发布的报告未透露资金来源，但间接证据表明该项目与比尔·盖茨有关。项目的几位参与者此前曾获得盖茨的资助，他对冷聚变有明确兴趣。

完整报告 网页链接

————————————————

事实的积累并不比一堆石头更科学。

——庞加莱

有个团队宣称指导大型语言模型（LLM）去寻找有趣的定理。同时证明了人类能教LLM做到这一点。

总结：→一个可定量的有趣概念→ 4.3× 更高趣味性→自我扩展的发现循环

该指标简单且可用lean语句计算：

有趣度 = 证明难度 / 描述长度≈容易表述，难以证明。

在mathlib上，排名直观：平凡恒等式得分较低，而费马大定理的变体得分接近顶端。

”更令人惊讶的是，有趣度预测下游效用：ρ = 0.756“

个人看法，这是有趣的糟糕定义。实际上只是为了某种复杂度划分而优化，却没有任何理由说明这能体现某些“数学上有趣”的性质。

另外，这个项目的很多成员也是上半年ATLAS项目的参与者。后者自称是迄今为止最大的自动化形式化项目之一。包含了来自25+数学教材的精益4形式化，涵盖数十个领域，总代码总量达50万行。

但据社区抽查，这些陈述要么错了，要么过于简化......

有人说这仍是迄今为止最大的失败形式化项目。我倒是没那么肯定，但至少是一个半成品。