The Great Inside
← All People

Ivonne Vetter, Archives of the Mathematisches Forschungsinstitut Oberwolfach, 2012, CC BY-SA 2.0 DE · Oberwolfach Photo Collection (Archives of the Mathematisches Forschungsinstitut Oberwolfach), photo ID 17061, taken by Ivonne Vetter in 2012 at the Arbeitsgemeinschaft on Ergodic Theory and Combinatorial Number Theory (Tao annotated as organiser); Wikimedia Commons file 'Terence C. Tao Oberwolfach 2012.jpg'. The MFO Terms of Use (clause 4) allow its reduced-resolution watermarked images, where MFO owns the copyright, to be used under CC BY-SA 2.0 Germany; the collection page lists Copyright: MFO and Author: Vetter, Ivonne. Saved at the Commons size of 400 x 266 with its small MFO watermark, no resizing. · CC BY-SA 2.0 DE

mathematician · Contemporary

Terence Tao

b. 1975

Known For

scientific

Not yet included in personality matching — the documented evidence doesn't yet cover enough of the personality model. Everything else on this page is fully available.


Trait Constellation


Key Achievements

With Ben Green he proved in 2004 that the prime numbers contain arithmetic progressions of any length, a long-standing question.

He received the 2006 Fields Medal for contributions to partial differential equations, combinatorics, harmonic analysis and additive number theory, with work ranging from the Kakeya problem to wave maps.

He worked with Emmanuel Candes on compressed sensing, used in image reconstruction, and organised the open online Polymath project on prime gaps in 2013.


Moments That Reveal Them

In 2015 Tao proved the Erdos discrepancy conjecture, weeks after a blog commenter suggested a link to the Elliott conjecture, and thanked the commenter in the paper.

This is consistent with a willingness to revise a first impression and build on others' ideas. Belief Updating

In June 2013 he created the Polymath project on bounded prime gaps, splitting Zhang's modular proof among participants; at times the bound fell every thirty minutes.

This is consistent with a collaborative, modular way of attacking a problem in public. Collaboration


Turning Points

In October 2023 he announced he was learning the Lean proof language with AI help, and in November led the formalization of the PFR proof with many volunteers, completed in about three weeks.

This is consistent with a mid-career shift toward formal verification and large-scale collaboration. Adaptability


Similar People

People whose overall profiles resemble theirs.

Sequoyah

scholar1770–1843
91% Profile Match

Opposite Profile

Not a rival — a different profile shape worth a look.


Sources