Hacker NewsHN submitter: bluepeter
Original published:

AI-assisted proof of optimal packing for 11 squares

11個の正方形のパッキングにおける最適性証明のLeanによる形式化が公開され、AIの支援を受けた研究として紹介されている

Key points

  • •11個の正方形のパッキングにおける最適性証明がLeanで形式化されている
  • •この研究はAIの支援を受けた証明として位置づけられている
  • •形式化されたコードはQueuingtheorydotcom/11SquaresFormalizedリポジトリで公開されている
See more