Gauss 2.0; He’s very prolific, very famous in the math community. In this context, he is noteworthy because he’s taking automated theorem proving seriously which destigmatizes it for other pure mathematicians.

Fields medal winner. Arguably the greatest living mathematician.

Some would argue more for Wiles or Perelman on account of solving long-standing conjectures.

Top three greatest living mathematician, perhaps?

I think what gives Tao the title is how multidisciplinary he is. He can wander in to a new subfield of mathematics and start making SOTA contributions after not very much time, which is a rare thing.

Yes, google can provide that in like 3 seconds, human parsing included.