待验证50% 置信事实精确时间
Polymath 1 成功给出了 Hales-Jewett 定理的组合证明
1
来源数
50%
置信度
长期有效
时效性
2026/8/14
首次发现
来源
相关事实
待验证Robertson、Seymour、Sanders、Thomas在1997年给出了四色定理的第二个计算机辅助证明65% 相似待验证Church和图灵分别用λ演算和图灵机证明了可计算性的本质，二者被证明等价60% 相似待验证形式化验证的里程碑包括Lean中对Perfectoid空间的形式化、Peter Scholze的液态张量实验由社区完成验证，以及四色定理在Coq中的完整证明59% 相似待验证Wiles对费马大定理的证明长达129页，核心是建立半稳定椭圆曲线与模形式之间的对应关系（谷山-志村猜想的特殊情形）58% 相似待验证AI帮助发现Kazhdan-Lusztig多项式的组合结构规律，该发现后来被Geordie Williamson等人严格证明57% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/746422API
curl https://kongchang.com/api/v1/knowledge/claims/746422MCP
get_claim(id=746422)