Unverified50% confidenceFactExact time
In 2005, Georges Gonthier proved the four color theorem using Coq.
1
Sources
50%
Confidence
Long-term
Relevance
9/11/2026
First Seen
Sources
Related Entities
Related Claims
Unverified2005年Gonthier团队用Coq完成四色定理的完整形式化，消除了1976年原始证明中需人工审查约1500种构型的不确定性69% similarUnverified数学家Timothy Gowers曾区分'理解性证明'（illuminating proof）与'验证性证明'（verifying proof）59% similarUnverified形式化验证的里程碑包括Lean中对Perfectoid空间的形式化、Peter Scholze的液态张量实验由社区完成验证，以及四色定理在Coq中的完整证明58% similarUnverifiedTim Gowers 的主要贡献包括解决巴拿赫空间理论中的若干长期未决问题，以及在组合数学领域引入分析方法（如Gowers范数）58% similarUnverifiedThe Gowers norm (also known as the uniformity norm) is a core tool in additive combinatorics and provides a higher-order generalization framework for Szemerédi's regularity lemma.57% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/894626API
curl https://kongchang.com/api/v1/knowledge/claims/894626MCP
get_claim(id=894626)