热点事件观察中
AI辅助完成11个正方形最优填充的Lean形式化证明
1 篇报道1 个报道来源2 天前更新
先了解这件事
报道摘要
11 个正方形最优装箱问题的完整证明已通过 Lean 4.34.1 验证，EvolvingPrograms 运行接受全部 7,920 个本地模块且最终审计零错误。该证明采用原生数值证书，最优边长约为 3.8770835900228141773。
摘自 Hacker News · AI 热帖
报道时间线
沿着报道，了解事件的不同侧面。
10月7日
- Hacker News · AI 热帖AI 辅助证明 11 个正方形最优装箱问题
11 个正方形最优装箱问题的完整证明已通过 Lean 4.34.1 验证，EvolvingPrograms 运行接受全部 7,920 个本地模块且最终审计零错误。该证明采用原生数值证书，最优边长约为 3.8770835900228141773。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。