Unverified50% confidenceOpinionExact time
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.
1
Sources
50%
Confidence
Long-term
Relevance
10/11/2026
First Seen
Sources
Related Entities
Related Claims
Unverified陶哲轩认为数学已经从'证明稀缺'迈入'证明充裕'的新阶段70% similarUnverifiedTerence Tao outlined his thinking on the future form of mathematical research with a presentation titled "Math 2.0".67% similarUnverifiedTerence 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".63% similarUnverifiedEuclid's Elements constructed geometry into a rigorous axiomatic system, setting the standard for mathematical rigor for the following two thousand years.63% similarUnverifiedFermat's Last Theorem eluded the mathematics community for 358 years.60% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/997040API
curl https://kongchang.com/api/v1/knowledge/claims/997040MCP
get_claim(id=997040)