Very pertinent given the current "AI misalignment" with Mathematics.

Be sure to also read Jaffe and Quinn's ``Theoretical mathematics'': Toward a cultural synthesis of mathematics and theoretical physics referred to in the paper - https://arxiv.org/abs/math/9307227

Also see this for responses from other Great Mathematicians; Responses to ``Theoretical Mathematics: Toward a cultural synthesis of mathematics and theoretical physics'', by A. Jaffe and F. Quinn - https://arxiv.org/abs/math/9404229