// PERSON
Terence Tao
ROLE PROFESSOR / FIELDS MEDALISTMENTIONS 2LAST SEEN JUNE 18, 2026
// BIO
Fields Medal winner and UCLA professor, prolific advocate for formal mathematics and collaborative proof projects.
// RECENT MENTIONS
// SIGNALS
2 SIGNALS
01
mention·Dialectic·JUNE 18, 2026
“Oh, you can have a superhuman tutor in your pocket and you can just get like tutored in math by the equivalent of Terence Tao in your pocket. And I'm like, how many Americans really want Terence Tao in their pocket?”
Source→02
mention·张小珺Jùn｜商业访谈录·APRIL 20, 2026
“Terence Tao has many podcasts and writings about formal proofs. My friend Kenny was one of the 5–7 students who built the foundations of Mathlib from scratch.”
Source→AI-extracted from podcast / newsletter / paper summaries. May contain errors.