待验证50% 置信事实精确时间
2005年Georges Gonthier使用Coq证明了四色定理
1
来源数
50%
置信度
长期有效
时效性
2026/9/11
首次发现
来源
涉及实体
相关事实
待验证2005年Gonthier团队用Coq完成四色定理的完整形式化，消除了1976年原始证明中需人工审查约1500种构型的不确定性69% 相似待验证数学家Timothy Gowers曾区分'理解性证明'（illuminating proof）与'验证性证明'（verifying proof）59% 相似待验证形式化验证的里程碑包括Lean中对Perfectoid空间的形式化、Peter Scholze的液态张量实验由社区完成验证，以及四色定理在Coq中的完整证明58% 相似待验证Tim Gowers 的主要贡献包括解决巴拿赫空间理论中的若干长期未决问题，以及在组合数学领域引入分析方法（如Gowers范数）58% 相似待验证Gowers 范数（也称一致性范数）是加性组合学的核心工具，为 Szemerédi 正则性引理提供高阶推广框架57% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/894626API
curl https://kongchang.com/api/v1/knowledge/claims/894626MCP
get_claim(id=894626)