数学研究利用 AI 辅助证明 11 个正方形的优化堆叠问题

研究人员通过 AI 辅助技术，成功解决了 11 个单位正方形在更大正方形内进行优化堆叠的数学难题。