用 OpenAI Dots 智能体集群免费攻破 47 年数学纪录，并通过 Lean 验证
2026.10.06 · 事件 · AI 事件 · 本人发布
7 个 Dots 智能体 3 天证明 C(24,14,4) ≥ 20，成本 0 美元
一位用户用 OpenAI Dots 的 7 个 GPT-6 Astra 智能体组成集群，免费运行约 3 天，把 1964 年以来的下界 C(24,14,4) ≥ 19 提升到 C(24,14,4) ≥ 20，并把 C(25,15,5) 的下界从 32 提到 34。证明经 Lean 形式化，并通过 Palomar registry 的机械校验。
- 7 个智能体分工：研究、Lean 形式化、搜索、对抗审查、协调
- 耗时约 3 天（10 月 1 日至 3 日），成本 0 美元
- C(24,14,4) 下界由 19 提升至 20
- C(25,15,5) 下界由 32 提升至 34
- Lean 证明通过 Palomar registry 机械校验
为什么值得看
零成本智能体集群做出可验证数学成果
适合谁关注
关注 AI 数学、智能体编排与形式化验证的人