11個の正方形の最適パッキングに関するAI支援による証明
原題: AI-assisted proof of optimal packing for 11 squares
AI要約
生成・訂正方針11個の正方形のパッキングにおける最適性証明のLeanによる形式化が公開され、AIの支援を受けた研究として紹介されている
重要ポイント
- •11個の正方形のパッキングにおける最適性証明がLeanで形式化されている
- •この研究はAIの支援を受けた証明として位置づけられている
- •形式化されたコードはQueuingtheorydotcom/11SquaresFormalizedリポジトリで公開されている