The cool thing about Terrence Tao is that besides being a mathematical genius, he is also interested in modern technology such as formal proof systems (notably Lean), automated theorem proving and forum-like collaboration as in MathOverflow[ref]. For that, huge kudos.
Articles by others on the same topic
Terence Tao is a highly regarded mathematician known for his work in various areas of mathematics, including harmonic analysis, partial differential equations, additive combinatorics, and prime number theory. Born on July 17, 1975, in Adelaide, Australia, Tao showed extraordinary mathematical talent from a young age, participating in the International Mathematical Olympiad at just 10 years old and winning a gold medal at 13.