开发者与开源重要度 6 首次收录 2026-10-07 22:10:55

AI辅助完成11个正方形最优装箱证明

研究者借助AI完成11个正方形最优装箱问题的完整最优性证明，并通过Lean验证。项目接受了7920个本地Lean模块检查，数值证书、几何推理与证明组装的源码及构建配置均已固定并可复核。

事件进展（1 篇报道）