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