AGI Hunt· pmddomingos·· 4 小时前AI 评分29
Pedro Domingos 锐评 2026 AI 数学：Lean 证明，注水论文
Pedro Domingos 锐评 2026 AI 数学:Lean 证明,注水论文
AI 导读
《The Master Algorithm》作者、AI 学者 Pedro Domingos 用一句话概括当前 AI 数学研究：经 Lean 证明验证的成果越来越多，但相关论文日益臃肿注水。他以“AI math 2026: Lean proofs, bloated papers”指出形式化验证的可信度与论文写作膨胀之间的反差。
来源：AGI Hunt · agihunt.info