Verified65% confidenceFactExact time
The 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 computer
3
Sources
65%
Confidence
Long-term
Relevance
8/22/2026
First Seen
Sources
Related Claims
VerifiedThe 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.79% similarUnverifiedThe computer-assisted proof of the Four Color Theorem was completed in 1976, requiring a computer to exhaustively check 1,936 cases.78% similarUnverifiedThe four color theorem was proved in 1976 by Appel and Haken by reducing the map coloring problem to computer-verified case analysis of approximately 1,936 configurations.77% similarUnverifiedThe four-color theorem was verified by computer-aided proof in 1976.77% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/784615API
curl https://kongchang.com/api/v1/knowledge/claims/784615MCP
get_claim(id=784615)