Axiom 报告有限单群分类形式化中发现反例_大广网

您当前的位置： 首页 >> 标签：Axiom 报告有限单群分类形式化中发现反例

Axiom 在有限单群分类形式化过程中找到局部论断反例

Axiom 团队在使用 Lean 系统对有限单群分类定理开展完整形式化验证时，成功发现原证明文本里两处中间引理存在明确反例，本次发现只针对浏览全文>>

大家爱看

频道推荐

站长推荐