Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment
arxiv.org原文 ↗
Station 让不同模型在无中央协调的开放环境中自行选题、实验、互评并形成共享文献。12 个 AlphaEvolve 构造题加两个案例里，系统在五题拿到相对既有文献的新结果，还产出解释构造的定理与分析；公开原始对话、证明和验证代码，使“发现”可以被数学家复核。
–浏览
评论 · Comments