Station：AI 自主发现数学新定理
Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment
在名为 Station 的开放世界多智能体环境中，来自不同模型家族的 AI 智能体在没有中央协调器或预设流程的情况下，自主开展数学研究。它们自行选择研究方向、进行实验、相互协作并构建共享的科学文献。在 AlphaEvolve 目录中的 12 个构造问题及两个额外案例研究中，智能体在五个问题上取得了相对于现有文献的新成果，包括发现有限域 Kakeya 集的新无限族、维度 11 中新的精确 604 点 kissing 构型、离散 Kakeya 针问题和符号不确定性问题的新纪录，以及显著改进 Erdős 最小重叠问题的下界。此外，智能体还发现了 Book Ramsey 数的新无限族。更重要的是，它们不仅生成了数值构造，还提出了定理和分析来解释这些构造的运作原理，使结果更具可解释性，便于数学家在此基础上进一步研究。所有原始智能体对话、证明和验证代码均已开源，完整记录了这些发现的产生过程。
智能体不仅生成了数值构造，还提出了定理和分析来解释这些构造的运作原理，使结果更具可解释性，便于数学家在此基础上进一步研究。
HN 评论区
39- robotresearcher
我对这类系统的拟人化有两个同时存在的想法：
1. 我们应该少做一点，因为这会扭曲我们正确思考它们的能力。将这些过程称为“思考”、“休假”等，会诱导读者带入一些系统实际运行中并不具备的概念和预期。
2. 继续这样做也有好处，因为反复使用会削弱人们似乎特意保留给我们自身行为的特殊感或神秘感（“这其实不算智能/思考/推理/创造”），而除了感觉之外，这种立场并没有任何合理的依据。
我倾向于第二种观点。
- dash2
> Agents were also periodically
given holidays, during which they set aside their ongoing work and received random prompts designed to
encourage open-ended thought.
我们生活在一个多么奇妙的世界啊。这群人简直是为 AI 重新发明了剑桥大学的高级公共休息室（Senior Common Room）。
- anigbrowl
如果你还没读过 Greg Egan 的《Permutation City》，那你点击这个讨论的事实意味着你会从中获益良多。
- StrauXX
这让我想起了这篇 LW 文章。https://www.lesswrong.com/posts/znbfRXHq285nS7NAh/the-terrar...
- daxfohl
这很令人兴奋，而且事后看来也合乎情理。有时候，面对一个问题，你需要的只是一双“新鲜的眼睛”。一个拥有不同背景、能用不同术语理解问题并从不同角度入手的人。甚至不需要他们亲自干活，只需要一句“这让我想起……你有没有想过试试类似的方法？”，就能让一个团队摆脱困境，毕竟他们之前用同样的方式思考却毫无进展。