Unverified60% confidenceFactExact time
The four-color theorem was verified by computer-aided proof in 1976.
2
Sources
60%
Confidence
Long-term
Relevance
7/16/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.80% 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.78% similarVerifiedThe 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 computer77% similarUnverifiedThe four-color theorem is the first major theorem in the history of mathematics to be verified primarily by computer.76% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/532252API
curl https://kongchang.com/api/v1/knowledge/claims/532252MCP
get_claim(id=532252)