用 Codex 与 Claude 求解 17 正方形装箱证明，s(17)=4.6755
ctjlewis · x · 2026-10-13
- Marc Leonard Overbeck 发布一个候选证明，声称 1998 年 Bidwell 的 17 个单位正方形装箱已经是最优解，即 s(17) = 4.67553009… 无法被超越。
- 证明使用 OpenAI Codex 与 Anthropic Claude 协作完成，附带精确 certificates，每个证书由两套独立实现交叉验证，仓库开源、接受公开检验，并计划后续做 Lean 形式化。
- 作者表示该工作建立在 @ojoshe、@MiraMira、@guzhou0806 等人此前成果之上，并邀请社区尝试打破该证明。
「编程与Agent」频道最新
- 开源项目 Open Dots 上线 Muse Wonder,可自托管替代多家付费 AI Agent — matchaman11 · 2026-10-13
- 开发者用 AI 花三天做出多人卡丁车游戏 Acorn Rally,已可在线试玩 — AIandDesign · 2026-10-13
- OpenAI Agents API 推出沙箱预热，大幅降低 Agent 启动延迟 — OpenAIDevs · 2026-10-13
- GitHub 安装 token 变 520 字符，你的校验正则可能悄悄失效 — DanWahlin · 2026-10-13
- 求助：能否用 MCP 打通 Claude Design 与 Claude Code 双账号 — Acbuyys · 2026-10-13
- Agent 团队实战:把公司真相写进文件流,让智能体代替你开会 — rseroter · 2026-10-13