Slightly offtopic, but there are other Fields Medalists on youtube too, such as Richard E Borcherds. He has some very nice videos on number theory and abstract algebra.
Lean is a lovely language ecosystem, as Tao clearly demonstrates though, LLMs can struggle with it. The language and the tooling is designed heavily around not merely text code, but continuous feedback from a specialized shell, though Tao attributes the issue to another condition, that there are two acutely similar versions of the language.
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.
Slightly offtopic, but there are other Fields Medalists on youtube too, such as Richard E Borcherds. He has some very nice videos on number theory and abstract algebra.
https://www.youtube.com/@richarde.borcherds7998
Lean is a lovely language ecosystem, as Tao clearly demonstrates though, LLMs can struggle with it. The language and the tooling is designed heavily around not merely text code, but continuous feedback from a specialized shell, though Tao attributes the issue to another condition, that there are two acutely similar versions of the language.
Can someone provide a tl;dr on him/why he’s important?
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.
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.
Top three greatest living mathematician, perhaps?
Yes, google can provide that in like 3 seconds, human parsing included.