AI 找到已发表群论证明的反例,并证明新定理补上缺口
Zulfikar_Ramzan · x · 2026-10-28
Axiom 数学 AI 团队宣布，其系统在验证有限单群分类定理（CFSG）涉及的「非平衡群定理（UGT）」证明时，发现了已发表证明中一个论断的反例。所幸 UGT 本身成立：AxiomProver 随后基于群论学家 Ronald Solomon 的思路证明了一个新结果，替换了原证明中的失效步骤，还顺带修复了数百处重要勘误。转发者评论称「想法早已在空气中，群论学家凭直觉感到了它，现在有了不容置疑的证明」——这是 AI 参与 heavyweight 数学证明审查的罕见案例。
「研究」频道最新
- 研究者预测:几年内分子模拟将高精度模拟大部分化学与生物学 — TimothyDuignan · 2026-10-28
- 研究者争论：AI 生成文本与人类文本差异尚无技术不可解证据 — _akpiper · 2026-10-28
- 粗粒化模拟可跨尺度放大，回应全原子生物体模拟不可行之说 — TimothyDuignan · 2026-10-28
- Agent harness 要被模型「吃掉」了?蒸馏实验显示通用脚手架正被训练进模型 — rseroter · 2026-10-28
- 「抽象神经元当嵌入」在词相似度上胜过全部 SOTA,句子检索惨败 — mayfer · 2026-10-28
- 普渡大学推出无GPS无人机:片上激光雷达穿越密林追踪目标 — DavidSKrueger · 2026-10-28