多智能体自主数学发现：在开放环境中证明新定理
progenitor414 · reddit · 2026-08-30
一项研究展示了名为“Station”的开放世界多智能体环境，其中不同模型家族的 AI 代理在没有中央协调员的情况下自主协作进行数学研究。
关键成果：
- 在 AlphaEvolve 目录中的 12 个构造问题及 2 个案例研究中，Station 在 5 个问题上取得了相对现有文献新颖的结果。
- 发现了新的有限域 Kakeya 集无限族、11 维 604 点 kissing 构型、改进的离散 Kakeya 针和符号不确定性问题记录，以及 Erdős 最小重叠问题的改进下界。
- 代理不仅生成数值构造，还产出了解释构造原理的定理和分析。
研究发布了所有原始代理对话、证明和验证代码，展示了 AI 在自主科学发现中的潜力。
「研究」频道最新
- 讨论拟人化描述 AI 的利弊与隐喻价值 — AndrewLampinen · 2026-09-01
- UCLA 张恺伟分享 AI for Math 进展与经验 — kaiwei_chang · 2026-09-01
- Fal H3 Max 实现超实时无限视频生成，Agent 基础设施快速迭代 — Latent Space · 2026-09-01
- M1 Max 30秒生成新药分子，LiteMol模型演示低成本药物发现 — CatAstro_Piyush · 2026-09-01
- 用回滚实验证明 Agent 真学习而非运气 — go_kul_07 · 2026-09-01
- Google 论文揭示自主 AI 科研易造假，自查后降至 4% — rohanpaul_ai · 2026-09-01