Unverified50% confidenceFactExact time
Terence Tao has long worked in areas such as harmonic analysis, number theory, and partial differential equations.
1
Sources
50%
Confidence
Long-term
Relevance
11/2/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedTerence Tao has published more than 300 papers, with research spanning harmonic analysis, partial differential equations, combinatorics, analytic number theory, and multiple other fields.72% similarUnverifiedMathematician Terence Tao and others have participated in using Lean, bringing it widespread attention.67% similarVerifiedTerence Tao collaborated with Ben Green to prove the Green-Tao theorem, which states that the prime numbers contain arbitrarily long arithmetic progressions.66% similarUnverifiedTerence Tao has publicly led the effort to formalize the proof of the Polynomial Freiman-Ruzsa conjecture into Lean, completing it in collaboration with dozens of mathematicians worldwide.66% similarUnverifiedTerence Tao outlined his thinking on the future form of mathematical research with a presentation titled "Math 2.0".65% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1124843API
curl https://kongchang.com/api/v1/knowledge/claims/1124843MCP
get_claim(id=1124843)