He is a fields medal winner who is looking to see how AI can further mathematics research. I’m unsure of what your specific issue with that is.