For sure, he was arguably the first well known person to bring chatGPT to maths.

When his more "anti-ai side" (again, it's more nuanced but I'm calling it that) was showing, everyone was so quick to call him a Luddite. No one stopped to think why a well know ai in maths fan all of a sudden had a more negative opinion. Even reading his actual nuanced take was too much.