有限单群分类定理形式化在望，下周或见分晓
geoffreyirving · x · 2026-10-10
Geoffrey Irving 谈有限单群分类定理（CFSG）的形式化进展：分类陈述本身难以精确表述，但验证却相对容易——只要把陈述写对，就能检查能否由此推出「所有有限单群都由两个元素生成」这一推论。
在被问及形式化是否会「下周完成」时，他给出了偏乐观但谨慎的回应，暗示工作已接近可检验阶段。
所属事件:有限单群分类定理形式化取得进展或于下周完成(2 条相关)→
「研究」频道最新
- Lean 证明能证明什么？Elliot Glazer 厘清形式化验证与真实定理的距离 — ctjlewis · 2026-10-10
- 理论计算机学者谈 AI 冲击数学:别慌,等一等再说 — fortnow · 2026-10-10
- 首份 agent skills 传播图谱: auditing 百个仓库可拦截 14.9% 高危技能采纳 — UBC-O · 2026-10-10
- 给注意力加物理偏置:软线仿真预测误差降 15% 以上 — Avihai Giuili · 2026-10-10
- GitSwarm 论文:用 Git 仓库让 Agent 群体的推理可积累可追溯 — anirudhg9119 · 2026-10-10
- GitSwarm 无角色分工,Agent 群自发按任务切换协作模式 — anirudhg9119 · 2026-10-10