Anthropic 研究员发问:有限单群分类的形式化会在下周到来吗?
geoffreyirving · x · 2026-10-10
Geoffrey Irving 提问:有限单群分类定理(finite simple groups classification)的形式化什么时候能完成?会不会就在下一周?该定理由数千页论文构成、证明散落数百篇文献,是形式化数学领域最受瞩目的「大目标」之一,此问暗示相关进展可能临近。
所属事件:有限单群分类定理形式化取得进展或于下周完成(2 条相关)→
「研究」频道最新
- 数据公司需自建前沿级训练设施,Proximal 公开后训练技术栈 — AccBalanced · 2026-10-10
- AI Agent 遗漏 1400 万美元条款,Surge AI 发布 Excel 基准 GDP.xlsx — echen · 2026-10-10
- Calico 开源 Cerberus 基因组模型:786kb 输入预测 8000+ 轨迹,迁移 PyTorch — anshulkundaje · 2026-10-10
- 状态空间模型用于长序列基因组预测,开源 Cerberus PyTorch 模型集 — anshulkundaje · 2026-10-10
- MaCVi 海事计算机视觉工作坊登录 WACV 2027,10 月截稿 — HildeKuehne · 2026-10-10
- OpenAI 将 722 篇数学手稿推上 GitHub，外界模型无法使用 — thursdai_pod · 2026-10-10