[JP] AIが証明した11個の正方形の最適パッキングの完全性
[EN] AI Proves the Completeness of Optimal Packing for 11 Squares

https://ai-minor.com/blog/en/2026-10-08-1791404210452-ai_assisted_proof_of_optimal_packing_for_11_square

#最適化 #数理論理 #Lean #AI #Tech