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.
Terence Tao by Ciro Santilli 37 Created 2025-03-24 Updated 2025-07-16
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.

New to topics? Read the docs here!