Unverified50% confidenceFactExact time
Polymath 1 成功给出了 Hales-Jewett 定理的组合证明
1
Sources
50%
Confidence
Long-term
Relevance
8/14/2026
First Seen
Sources
Related Claims
UnverifiedRobertson、Seymour、Sanders、Thomas在1997年给出了四色定理的第二个计算机辅助证明65% similarUnverifiedChurch和图灵分别用λ演算和图灵机证明了可计算性的本质，二者被证明等价60% similarUnverified形式化验证的里程碑包括Lean中对Perfectoid空间的形式化、Peter Scholze的液态张量实验由社区完成验证，以及四色定理在Coq中的完整证明59% similarUnverifiedWiles对费马大定理的证明长达129页，核心是建立半稳定椭圆曲线与模形式之间的对应关系（谷山-志村猜想的特殊情形）58% similarUnverifiedAI帮助发现Kazhdan-Lusztig多项式的组合结构规律，该发现后来被Geordie Williamson等人严格证明57% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/746422API
curl https://kongchang.com/api/v1/knowledge/claims/746422MCP
get_claim(id=746422)