The Proof in the Code (How a Truth Machine Is Transforming Math and AI)