Expired50% confidenceOpinionExact time
de Moura strongly believes that this false proof of the Collatz conjecture was constructed by AI.
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
10/3/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 Entities
Related Claims
UnverifiedTrue mathematical proof requires abstract thinking, logical reasoning, and creative insight.60% similarUnverifiedThe core strategy of Wiles's proof is to prove a special case of the Taniyama–Shimura conjecture (the modularity theorem), namely that every semistable elliptic curve is a modular form.59% similarUnverifiedAnthropic announced that its AI provided a complete proof of a key conjecture in percolation theory that had been unresolved for decades, a problem considered to carry Fields Medal-level significance.58% similarUnverifiedThe proofs of the four-color theorem and Kepler's conjecture both involved computer assistance, sparking philosophical discussions about whether humans truly understand these proofs.56% similarUnverifiedMathematician Coxeter called Kelly's proof "a proof from The Book."56% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/969544API
curl https://kongchang.com/api/v1/knowledge/claims/969544MCP
get_claim(id=969544)