Mathematical Koans and Cartan Convexity: $\Gamma$-Convex Hulls and Butterfly Realizations
In homage to Hofstadter, we call a compact, citable specification of definitions, theorem, proof mechanism, and examples a mathematical koan when a full paper can be reconstructed and verified from it, including in reader-specific forms generated by AI. Every AI-solvable problem is itself a koan, although reconstructio...