Nestor Guillen analyzes AI's ability to prove results in pure mathematics via a convex hull analogy. He suggests AI currently fills gaps between existing human-proven truths by combining known clever ideas. This incremental progress suggests AI acts as a bridge rather than a source of novel axioms.