【预印本·厂商自报·未见独立复核】Bake AI 发布技术报告 Épi(arXiv 2610.24944,10 月 18 日提交):一个能跨多个模型会话持续做同一研究问题的 agent,靠分层记忆、分支回溯和独立模型审查,配固定验证器,底层用 GPT-5.6 Sol 和 GPT-6-Astra。
报告称拿到 120 项记录:n 皇后常数区间缩窄约 84 倍;四次 Feigenbaum 吸引子维数的严格区间缩窄 360 万倍以上;10、11 维的 Cohn–Elkies 线性规划下界超过已知堆积密度上界(约 0.35%、1.92%),即这套方法解到最优也到不了真实密度;另有 Tuza 猜想一个新情形的计算机辅助证明。编程侧 Épi-turbo 在 30 个 FrontierOR 任务上比同模型 Codex 总分高 5.4%,模型成本为其 64%(每任务单次运行,未报显著性)。
注:构造和证书已在 GitHub 公开,但仓库描述写的是 106 项构造加 15 项数学结果,与论文的 120 项口径不一致。
论文:网页链接证书:网页链接