Terence Tao
Terence Tao is an Australian-American mathematician currently serving as a professor at the University of California, Los Angeles. He has made significant contributions across multiple fields of mathematics, including harmonic analysis, partial differential equations, combinatorial number theory, and ergodic theory. For breakthrough research on the distribution of prime numbers and nonlinear partial differential equations, he was awarded the Fields Medal in 2006. He is widely regarded as one of the most influential mathematicians of the contemporary era.
Core Facts
Terence Tao is a Fields Medal laureate.
Terence Tao collaborated with Ben Green to prove the Green-Tao theorem, which states that the prime numbers contain arbitrarily long arithmetic progressions.
At the end of 2023, Terence Tao and collaborators used Lean and LLM assistance to prove an important special case of the polynomial Freiman-Ruzsa conjecture
Timeline (last 90 days)
Terence Tao formally articulated the Mathematics 2.0 view in a lecture at Caltech, with the original topic "Machine-Assisted Proofs" later revised to "Mathematics 2.0".
Terence Tao proposed that the era of Mathematics 1.0—built on the scarcity of proofs—is coming to an end, and the era of Mathematics 2.0 has arrived.
Terence Tao attributes the main bottleneck in achieving Mathematics 2.0 to imagination rather than compute.
Terence Tao believes the value of a PhD lies in cultivating the systematic ability to absorb difficult material, synthesize knowledge, and ask good questions, rather than in producing papers.
Terence Tao co-founded the SAIR Foundation and launched an open mathematics model initiative; the first phase targets everyday research needs, with related models to be released soon.
Terence Tao advocates for less emphasis on racing to generate proofs first and more emphasis on explanation, review, and knowledge organization, arguing that formal verification alone is far from sufficient.
In "Mathematics in the Age of AI," Terence Tao broke down proof-solving into five stages: generating a proof, verifying correctness, explaining it clearly, having it understood and accepted by the community, and finally integrating it into the field's standard theory.
Terence Tao warned that continuing to blindly optimize for the single metric of problem-solving would harm the long-term health of mathematics.
Terence Tao called for the establishment of more transparent evaluation mechanisms that include failed results and AI compute costs in reporting.
The Association of Human Mathematicians (AHM), led by Terence Tao, issued a joint statement saying that releasing more than 700 documents at once demonstrates power rather than scholarship, and urged mathematicians to stop collaborating with OpenAI.
40 more timeline events
All Facts (20)
Terence Tao is a Fields Medal laureate.
65%VerifiedTerence Tao collaborated with Ben Green to prove the Green-Tao theorem, which states that the prime numbers contain arbitrarily long arithmetic progressions.
65%VerifiedAt the end of 2023, Terence Tao and collaborators used Lean and LLM assistance to prove an important special case of the polynomial Freiman-Ruzsa conjecture
80%Unverified陶哲轩建议当AI使用变得更普遍时，人们应不仅发布最终成果，还应分享到达那里的所有不同路径
95%Unverified陶哲轩提出了'认知摩擦'（cognitive friction）的概念，指每一项任务都需要动用大脑的智力成本
90%Unverified陶哲轩是IPAM（纯粹与应用数学研究所）特别项目主任
85%UnverifiedTerence Tao documented in his blog his use of GPT-4 and Claude to assist with research, evaluating that current models still fall short of experienced mathematicians in mathematical taste, but have practical auxiliary value in mechanical derivations and literature retrieval
60%UnverifiedTerence Tao proposed that the era of Mathematics 1.0—built on the scarcity of proofs—is coming to an end, and the era of Mathematics 2.0 has arrived.
50%UnverifiedTerence Tao called for the establishment of more transparent evaluation mechanisms that include failed results and AI compute costs in reporting.
50%UnverifiedIn "Mathematics in the Age of AI," Terence Tao broke down proof-solving into five stages: generating a proof, verifying correctness, explaining it clearly, having it understood and accepted by the community, and finally integrating it into the field's standard theory.
50%UnverifiedTerence Tao advocates for less emphasis on racing to generate proofs first and more emphasis on explanation, review, and knowledge organization, arguing that formal verification alone is far from sufficient.
50%UnverifiedTerence Tao believes the value of a PhD lies in cultivating the systematic ability to absorb difficult material, synthesize knowledge, and ask good questions, rather than in producing papers.
50%UnverifiedTerence Tao warned that continuing to blindly optimize for the single metric of problem-solving would harm the long-term health of mathematics.
50%UnverifiedTerence Tao attributes the main bottleneck in achieving Mathematics 2.0 to imagination rather than compute.
50%UnverifiedTerence Tao believes AI will not replace mathematicians' creative intuition in the short term, but can significantly reduce the cost of tedious work.
50%UnverifiedIn traditional mathematics, proving a long-standing conjecture stimulates a large amount of subsequent activity, forming an intergenerational relay mechanism of understanding
50%UnverifiedTerence 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.
50%UnverifiedTerence Tao is a Fields Medal laureate.
50%UnverifiedTerence Tao has previously discussed publicly the possibility of using large language models as research collaborators, recognizing their practical value in literature retrieval, idea inspiration, and formal verification assistance.
50%UnverifiedA Stanford assistant professor stated that Astra surpassed existing results on questions about prime gaps—including those of Terence Tao—by an order of magnitude, and provided an entirely new starting point for solving the problem, the first since the 1930s.
50%