多智能体自主数学发现：在开放环境中证明新定理
progenitor414 · reddit · 2026-08-30
一项研究展示了名为“Station”的开放世界多智能体环境，其中不同模型家族的 AI 代理在没有中央协调员的情况下自主协作进行数学研究。
关键成果：
- 在 AlphaEvolve 目录中的 12 个构造问题及 2 个案例研究中，Station 在 5 个问题上取得了相对现有文献新颖的结果。
- 发现了新的有限域 Kakeya 集无限族、11 维 604 点 kissing 构型、改进的离散 Kakeya 针和符号不确定性问题记录，以及 Erdős 最小重叠问题的改进下界。
- 代理不仅生成数值构造，还产出了解释构造原理的定理和分析。
研究发布了所有原始代理对话、证明和验证代码，展示了 AI 在自主科学发现中的潜力。
「研究」频道最新
- 伯克利团队用扩散模型直接采样机器人策略权重，Unitree G1 真机走跑起舞 — berkeley_ai · 2026-10-16
- HKU 等提出 OneWM：统一因果训练让世界模型与动作学习互相增益 — IAAI233 · 2026-10-16
- 百度提出 Virtual Head Attention：同时压 KV cache、算力并保质量 — baidu · 2026-10-16
- 5.8M 参数语音事件检测器：为 Whisper 转录补上笑声呼吸与背景音 — Ayush Kumar Bar · 2026-10-16
- 华为等提出 SUPRA-Tex：单图生成可重打光 3D 材质，所见即所得 — Chen Yang · 2026-10-16
- RoboVista 机器人理解基准发布:Gemini-4 Argon 81.9% 登顶 — berkeley_ai · 2026-10-16