AI-assisted proof of optimal packing for 11 squares
Article URL: https://github.com/Queuingtheorydotcom/11SquaresFormalized
Comments URL: https://news.ycombinator.com/item?id=49993121
Points: 20
# Comments: 11
原文：https://www.a8q9.cn/en/article/ai-assisted-proof-of-optimal-packing-for-11-squares-4334b5.html