Verified65% confidenceFactExact time
The proofs of the four-color theorem and Kepler's conjecture both involved computer assistance, sparking philosophical discussions about whether humans truly understand these proofs.
3
Sources
65%
Confidence
Long-term
Relevance
9/11/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedThe four-color theorem is the first major theorem in the history of mathematics to be verified primarily by computer.75% similarUnverified关于计算机辅助证明是否算真正数学证明的哲学争论持续至1990年代才逐渐平息71% 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 computer69% similarVerifiedThe 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.69% similarUnverifiedPhilosophers and mathematicians have proposed surveyability as one standard for proof legitimacy, meaning that a proof should be capable of being fully reviewed by a competent reader within a finite amount of time.69% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/895235API
curl https://kongchang.com/api/v1/knowledge/claims/895235MCP
get_claim(id=895235)