AI Crowd Jokes: Mondrian as Optimal Rectangle Packing

Kyle Cranmer jokingly described Mondrian paintings as optimal rectangle packing solutions and a Matisse cutout as optimal polygon tiling "without a Lean certificate," a meme riffing on AI's formal verification culture.

2026-10-24 ~ 2026-10-24 · 2 related posts