Hacker News· bluepeter·· 11 天前AI 评分22
AI 辅助证明 11 个正方形的最优装箱
AI-assisted proof of optimal packing for 11 squares
AI 导读
一项 AI 辅助证明给出了 11 个正方形装箱问题的最优解。该结果针对 11 个正方形的最优装箱，属于数学优化与 AI 辅助定理证明交叉方向的工作。
来源：Hacker News · github.com
AI 辅助证明 11 个正方形的最优装箱
AI-assisted proof of optimal packing for 11 squares
一项 AI 辅助证明给出了 11 个正方形装箱问题的最优解。该结果针对 11 个正方形的最优装箱，属于数学优化与 AI 辅助定理证明交叉方向的工作。
来源：Hacker News · github.com