Unverified50% confidenceEventExact time
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".
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
10/11/2026
First Seen
Valid until: 1/9/2027
Sources
Related Entities
Related Claims
UnverifiedTerence Tao outlined his thinking on the future form of mathematical research with a presentation titled "Math 2.0".76% 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.63% similarUnverifiedChinese mathematician Chen Jingrun proved the "1+2" form of Goldbach's conjecture (a prime plus the product of two primes).63% similarUnverifiedAn AI claimed to have solved a difficult mathematics problem, but may have actually copied the solution manuscripts of two top mathematicians rather than deriving it independently.61% similarUnverifiedThe Conway conjecture was proposed by mathematician John Horton Conway and is an open problem in the field of combinatorics or number theory.58% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/997041API
curl https://kongchang.com/api/v1/knowledge/claims/997041MCP
get_claim(id=997041)