Aren't the recent results in mathematics actually stronger evidence for his point? Although the models may be capable of generating proofs they aren't coming out with the same level of quality of a human discovered and communicated proof. Providing a gobbledy-gook yet technically correct proof (generated at least in part by brute force) lacks the qualities of an expert produced proof because they fail to communicate insight or understanding about why the theorem is true.