每天听简报，了解最新科技、AI、软件资讯
几何学领域长达数十年的经典难题近期迎来突破，研究团队借助人工智能辅助与 Lean 形式化证明工具，首次完全证实了十一个单位正方形的最优密铺猜想。在正方形包装问题中，十一个正方形的最优摆放反直觉地呈现为带有杂乱倾角与微小缝隙的交错结构，而非对称对齐。这项由七千九百多个代码模块构成的严格验证，在零未决假设的前提下通过了原生数值凭证审核。数学界不仅彻底终结了这一几何悬案，也标志着大模型与形式化验证在攻克复杂连续几何问题上展现出巨大潜力。
进度保存在本设备 · 登录同步