AI 圈玩梗名画：蒙德里安构图被调侃为 9 个矩形的最优装箱解

威斯康星学者 Kyle Cranmer 在 AI 社区把蒙德里安构图调侃为“9 个矩形的最优装箱问题解”。他还以马蒂斯的剪纸作品戏仿形式化验证表述，称其为“11 个多边形的最优密铺”，但未提供 Lean 证书。