AI 数学证明走向开源式协作：方格装箱证明附可视化讲解

ojoshe 认为 AI 参与的数学证明正走向类似软件开源的协作模式，方格装箱（square packing）证明已配有 GitHub 仓库、AI 撰写的讲解文档和可交互的可视化证明演示，供任何想理解该证明的人使用。他把这类刚性几何问题形容为「在布满尖角和狭窄裂缝的洞穴里绘制地图」，混合视觉与几何直觉及严密的系统化验证论证，不同于高维问题中开阔的下坡搜索。