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