行业动态
2026/10/7
0 次阅读
AI-assisted proof of optimal packing for 11 squares
来源：github.com
来源: https://github.com/Queuingtheorydotcom/11SquaresFormalized 热度: 13 points on HackerNews
来源: https://github.com/Queuingtheorydotcom/11SquaresFormalized
热度: 13 points on HackerNews