Expired50% confidenceOpinionExact time
Terence Tao believes that mathematics has moved from a phase of 'proof scarcity' into a new phase of 'proof abundance'.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
7/19/2026
First Seen
This claim has expired. It is kept for the record and no longer describes the current state.
Valid until: 10/17/2026(expired)
Sources
Related Claims
UnverifiedTerence Tao collaborated with Ben Green to prove the Green-Tao theorem, which states that the prime numbers contain arbitrarily long arithmetic progressions.63% similarUnverifiedThe Taniyama–Shimura conjecture, which was the core tool Andrew Wiles used to prove Fermat's Last Theorem, is a special case of the Langlands program.58% similarUnverifiedTerence Tao stated that complex mathematical proofs still require human completion, and he would not have Claude attempt proofs of certain lemmas because it either fails or produces very ugly proofs.58% similarUnverifiedDeMillo 等人认为数学定理被信任是因为经历了社会过程（被数学家反复阅读、检验、引用），而程序的形式化证明缺少这种社会过程58% similarUnverified关于计算机辅助证明是否算真正数学证明的哲学争论持续至1990年代才逐渐平息57% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/563071API
curl https://kongchang.com/api/v1/knowledge/claims/563071MCP
get_claim(id=563071)