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.
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.