Unverified50% confidenceFactExact time
Kempe's erroneous proof of the four-color theorem in 1879 drove the development of graph theory and ultimately led to the computer-assisted proof by Appel and Haken in 1976
1
Sources
50%
Confidence
Long-term
Relevance
8/9/2026
First Seen
Sources
AI反例被证伪：Connes刚性定理事件揭示的数学推理真相
Related Claims
UnverifiedThe 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 computer75% similarUnverifiedThe Four Color Theorem was proposed in 1852 but was not proven until 1976 with the aid of a computer71% 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.68% similarUnverifiedThe four-color theorem was verified by computer-aided proof in 1976.67% similarUnverifiedThe computer-assisted proof of the Four Color Theorem was completed in 1976, requiring a computer to exhaustively check 1,936 cases.63% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/713769API
curl https://kongchang.com/api/v1/knowledge/claims/713769MCP
get_claim(id=713769)