禅庭園をパズルに：Gwernの「Samon」が砂紋の美しき難問を設計

Samon: Designing a Zen Garden Raking Puzzle

Gwernの2023年のスケッチを完全な設計に発展させた「Samon」は、砂紋（砂の波紋）をテーマにした禅庭園のパズルだ。7つの世界、148の庭園、毎日の庭園366日分を用意し、厳密なソルバーとCP-SAT証明で難易度を測定。プレイヤーは熊手の一筆で砂を整え、禅の瞑想とパズルの満足感を両立させる。