多智能体自主数学发现：攻克 5 项数学难题并生成定理
Stephen Chung · hf · 2026-08-27
研究在“Station”开放世界多智能体环境中探索自主数学发现。AI 代理在没有中央协调的情况下自主选择方向、实验、协作并构建文献。在 12 个构造问题和 2 个案例研究中，代理在 5 个问题上取得了相对既往文献新颖的结果，包括新的有限域 Kakeya 集族、11 维 604 点 kissing 配置等。代理不仅生成了数值构造，还生成了解释构造原理的定理和分析。项目发布了所有原始对话、证明和验证代码。
所属事件:多智能体环境The Station实现自主数学研究(2 条相关)→
「研究」频道最新
- Pathway CSO 演讲展望后 Transformer 架构 BDH：每瓦特更高智能 — schwentker · 2026-10-15
- EmbodiedEvo 登顶 RoboDojo：失败的机器人练习也能被下一个 agent 继承 — thetripathi58 · 2026-10-15
- 797GB n-gram 放进 CPU 内存，小模型硬扛多 57% 算力 — PangWeiKoh · 2026-10-15
- Google 论文 Harness²:无验证器下递归进化 agent harness,最高提升 11.5 分 — dair_ai · 2026-10-15
- Kambhampati 明尼苏达开讲：「LLM 思考 token 神话」的系统拆解 — rao2z · 2026-10-15
- 3D Gaussian Splatting 科普：机器人如何记住看不见的世界 — TheTuringPost · 2026-10-15