AI辅助证明11个正方形最优堆叠

一个名为“11SquaresFormalized”的GitHub仓库发布了关于11个正方形最优堆叠的AI辅助形式化证明。该项目似乎利用AI或机器学习技术来帮助形式化证明，并在Hacker News上引发讨论，获得107分和49条评论。