有限单群分类定理形式化取得进展或于下周完成

Anthropic 研究员 Geoffrey Irving 谈及有限单群分类定理（CFSG）的形式化进展，并提出疑问：这项形式化工作会不会就在下周完成。他指出该定理的分类陈述本身难以精确表述，但验证相对容易——只要把陈述写对，就能检查能否据此推出所有有限单群都由两个构造生成等结论，成果或很快见分晓。

2026-10-10 ~ 2026-10-10 · 2 条相关