The Second Machine Turn: From Checking Proofs to Creating Concepts