Unverified50% confidenceOpinionExact time
Fields Medal winner Terence Tao has proposed that mathematics may move from an era of "proof scarcity" to an era of "proof abundance" thanks to AI and mechanized verification.
1
Sources
50%
Confidence
Long-term
Relevance
10/12/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedTerence Tao believes that mathematics has moved from a phase of 'proof scarcity' into a new phase of 'proof abundance'.75% similarUnverifiedAutomated theorem proving (ATP) is a research field with decades of history; early representative systems include the Logic Theorist and the Resolution Prover from the 1950s.66% similarUnverified机器辅助完成的四色定理证明历经十余年争论才被数学社区广泛接受65% similarUnverifiedHistorically, the emergence of tools from calculators to computer algebra systems has not reduced the demand for mathematics professionals; on the contrary, it has expanded the domains accessible to mathematics.65% similarUnverifiedTerence 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.64% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1001689API
curl https://kongchang.com/api/v1/knowledge/claims/1001689MCP
get_claim(id=1001689)