← 返回 AIRadar 首页
Jeff Dean 转发 Axiom 成果，人类历史上规模最大的数学证明现已通过计算机完成验证，Axiom 正式发布基于 Lean 语言的完整自动形式化成果，标志着 AI 数学推理迈出关键一步。