I consider it both interesting and important to stay informed on the capabilities and limitations of frontier AI models. I'm not a mathematician myself -- he might as well be speaking Martian for all I know -- but the opinion and experience of a leading authority in the math field is very relevant to staying abreast of the larger machine-intelligence field.