[控场AI]
待验证50% 置信事实精确时间

在Lean中形式化CFSG，意味着需要先构建庞大的基础库，涵盖群论、表示论、李型群等领域的核心结果。

1
来源数
50%
置信度
长期有效
时效性
2026/10/27
首次发现

来源

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

涉及实体

有限单群分类定理conceptLeanproduct群论concept表示论concept李型群concept

相关事实

待验证Kern选择直接面向cgroup v2构建，不兼容cgroup v1的复杂逻辑66% 相似待验证异构系统之间的术语对齐往往需要构建企业级本体或数据目录作为语义中间层61% 相似待验证解决特征一致性问题的主流方案是建立统一的特征平台（Feature Store），让离线与在线共享同一套特征定义和计算逻辑60% 相似待验证有限单群分类定理（CFSG）断言所有有限单群可归入素数阶循环群、交错群、李型群这几个无限族，加上26个散在单群。59% 相似待验证论文指出矩阵均值置信序列的构造依赖于特定的矩阵范数，能否推广到更一般的范数值得探索。58% 相似

引用此条事实

Stable URI
https://kongchang.com/claim/1104449
API
curl https://kongchang.com/api/v1/knowledge/claims/1104449
MCP
get_claim(id=1104449)