待验证50% 置信事实精确时间

CFSG的证明跨越数万页文献，由数十位数学家历时数十年完成，是20世纪数学的标志性成就。

1

来源数

50%

置信度

长期有效

时效性

2026/10/27

首次发现

来源

有限单群分类在Lean中形式化：数学巨著向代码迈进

涉及实体

有限单群分类定理concept

相关事实

待验证这项成果建立在三个世纪数学家的积累以及数百位Lean和Mathlib社区贡献者的工作之上65% 相似待验证怀尔斯的费马大定理证明论文长达129页58% 相似待验证历史上，信息论、控制论等数学框架曾为后续的技术突破奠定了基础。58% 相似待验证蒂莫西·高尔斯于1998年因在泛函分析与组合数学领域的贡献获菲尔兹奖，并发起了多元纸面合作项目56% 相似已验证德国社会学家尼克拉斯·卢曼用约9万张相互引用的索引卡片，在40年间产出了70余本著作和400余篇论文54% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1104447

API

curl https://kongchang.com/api/v1/knowledge/claims/1104447

MCP

get_claim(id=1104447)