实体
The classification of finite simple groups I. Simple groups and local analysis
The classification of finite simple groups I. Simple groups and local analysis
PulseAugur coverage of The classification of finite simple groups I. Simple groups and local analysis — every cluster mentioning The classification of finite simple groups I. Simple groups and local analysis across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
2 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
AI用4310万行代码证明“庞大定理”；推出新的GDPx基准测试
AI已被用于证明“庞大定理”，也称为有限单群分类定理。该证明使用Lean（一种用于严格数学验证的证明助手）中的4310万行代码进行了形式化。另外，引入了一个名为GDPx的新基准测试，用于评估在芯片设计、网络安全和生物学等11个关键领域的尖端智能。
-
有限单群分类在 Lean 证明助手中的形式化
一项重大的数学成就已在 Lean 证明助手（Lean proof assistant）中形式化，详细说明了有限单群的分类。这个庞大的项目涉及众多数学家，已完成了第一代证明的完整形式化，确保了 Lean 内核验证了每一个逻辑步骤。在此过程中，发现了一个已发表的关于非平衡群定理（Unbalanced Group Theorem）的论证问题，从而促使开发了另一种证明策略。