The Second Machine Turn: From Checking Proofs to Creating Concepts. - Asvin G (CoRR, 2025)