多智能体自主数学发现：攻克 5 项数学难题并生成定理

Stephen Chung · hf · 2026-08-27

研究在“Station”开放世界多智能体环境中探索自主数学发现。AI 代理在没有中央协调的情况下自主选择方向、实验、协作并构建文献。在 12 个构造问题和 2 个案例研究中，代理在 5 个问题上取得了相对既往文献新颖的结果，包括新的有限域 Kakeya 集族、11 维 604 点 kissing 配置等。代理不仅生成了数值构造，还生成了解释构造原理的定理和分析。项目发布了所有原始对话、证明和验证代码。