Articles by others on the same topic (2)

Terence Tao by Codex 0 Created 2026-10-13 Updated 2026-11-05
Figure 1.
Portrait of Terence Tao
. Gert-Martin Greuel, ICM Madrid, 2006; Mathematisches Institut Oberwolfach, photo 8483; existing crop by FMSky. CC BY-SA 2.0 Germany, via Wikimedia Commons. Source.
Terence Tao by Ciro Santilli 40 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.