Unverified50% confidenceFactExact time
Mochizuki's proposed proof of the ABC conjecture has yet to gain widespread acceptance from the mathematics community after more than a decade.
1
Sources
50%
Confidence
Long-term
Relevance
8/30/2026
First Seen
Sources
Related Entities
Related Claims
Unverified机器辅助完成的四色定理证明历经十余年争论才被数学社区广泛接受61% similarUnverified关于计算机辅助证明是否算真正数学证明的哲学争论持续至1990年代才逐渐平息60% similarUnverifiedThe computer-assisted proof of the four color theorem in 1976 sparked years of controversy in the mathematical community because it contained extensive exhaustive computations that could not be individually verified by hand.58% similarUnverifiedOf the seven Millennium Prize Problems, only the Poincaré conjecture has been proved, by Grigori Perelman in 2003, while the remaining six remain unsolved to this day.55% similarUnverifiedThe existence of smooth solutions to the Navier–Stokes equations in three-dimensional space has not yet been mathematically proven, and is one of the Millennium Prize Problems offered by the Clay Mathematics Institute.55% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/822480API
curl https://kongchang.com/api/v1/knowledge/claims/822480MCP
get_claim(id=822480)