Not to be judgmental, and to support your argument, but two points: I don't think we know how smart he is and I don't think it's that important. Euler was to me a balanced person as opposed to a extreme person like Grothendieck. So, to each their own.
Second point: I think almost everyone being promoted for being involved in AI or AGI are probably irrelevant in the longer run. Self driving cars are at this point something of a social problem rather than a clear mathematical problem. So, whether we solve the current list of business related AI problems is probably immaterial for mathematics, but important for public opinion. I haven't read or seen any projects that are even remotely close to AGI, unless someone is hiding something.
Whether some person x is doing (edit: working on) AGI I guess matters only in the social or business sense.
Second point: I think almost everyone being promoted for being involved in AI or AGI are probably irrelevant in the longer run. Self driving cars are at this point something of a social problem rather than a clear mathematical problem. So, whether we solve the current list of business related AI problems is probably immaterial for mathematics, but important for public opinion. I haven't read or seen any projects that are even remotely close to AGI, unless someone is hiding something.
Whether some person x is doing (edit: working on) AGI I guess matters only in the social or business sense.