11 个正方形最优装箱的 Lean 形式化证明通过验证
基于人工智能的11个正方形最优装箱证明
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
仓库 Queuingtheorydotcom/11SquaresFormalized 宣布 11 个正方形装箱的最优性证明在 Lean 中完成形式化并通过验证，全部 7,920 个本地 Lean 模块通过 EvolvingPrograms 验证运行，最终审计零遗漏。
来源：github.com（经 Hacker News） · github.com