Bake AI 推出自主研究框架 Épi,数天产出 120 项纪录级结果
my_cat_can_code · x · 2026-10-07
Bake AI Research 发布自演化自主研究框架 Épi,让 agent 在可验证环境中持续产出可检验的数学与组合研究成果,几天内获得 120 项破纪录结果:
- Klarner 常数上界:将 polyomino 枚举中的上界从 4.5238 降到 4.29569;
- 球堆积:证明 Cohn–Elkies 方法即使在理论极限下也无法在 10 维和 11 维达到精确球堆积密度;
- Tuza 猜想:给出经独立验证的计算机辅助证明,覆盖一个无穷图族。
Épi 的核心设计是把「算力」转化为「可验证的进步」:每个研究 session 会保留最佳结果、未完成的问题与此前决策的理由,agent 在会话间迭代自己的研究策略,使发现具备累积性——每一项进展都能扩展后续研究的范围与深度。作者认为这表明前沿模型的能力已足以推动真实研究进程。
「漫话AGI」频道最新
- 模型终将可替换，Agent 系统真正的护城河是连续性 — tallmetommy · 2026-10-07
- IDAI 获 ARIA 资助开发 dovetail,解决 AI 智能体间互信难题 — sebkrier · 2026-10-07
- Afinetheorem 押注 2028 年前 AI 能提出 Shannon 级原创问题 — Afinetheorem · 2026-10-07
- 作者预言：想在 AI 时代不掉队，脑机增强或成必需品 — danfaggella · 2026-10-07
- 可验证奖励决定 AI 自动化速度:下一个爆发域是芯片设计 — OmarUFlorez · 2026-10-07
- MIT研究：用ChatGPT写文章质量下降，思考能力出现退化 — AnnaCiaunica · 2026-10-07