blog — Proofs and Prompts — 27 Oct 2026
The Convex Hull Hypothesis
#large-language-models #ai-assisted-mathematics #proof-generation
Ever since the dawn of the "LLMs do math" era, many have independently come up with what I'll call the "Convex Hull Hypothesis" (CHH). Roughly speaking, CHH states that every AI-generated proof, no matter how complicated it may seem at first glance, is a simple combination of known mathematical ideas.