[Screenshot_2025-05-13-13-14-31-345_com.tencent.mm-edit] 这是目前已知的“可以塞进17个正方形的最小正方形” 这一问题的最优解,由John Bidwell在1998年找到。