Verified65% confidenceFactExact time
The 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.
3
Sources
65%
Confidence
Long-term
Relevance
7/15/2026
First Seen
Sources
Related Claims
UnverifiedThe computer-assisted proof of the Four Color Theorem was completed in 1976, requiring a computer to exhaustively check 1,936 cases.82% similarUnverifiedThe computer-assisted proof of the four-color theorem was first published by Kenneth Appel and Wolfgang Haken in 1976, requiring computer verification of 1,936 irreducible configurations, and is the first important theorem proof in the history of mathematics to essentially depend on a computer79% similarUnverified关于计算机辅助证明是否算真正数学证明的哲学争论持续至1990年代才逐渐平息76% similarUnverified机器辅助完成的四色定理证明历经十余年争论才被数学社区广泛接受74% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/517885API
curl https://kongchang.com/api/v1/knowledge/claims/517885MCP
get_claim(id=517885)