← 返回 AIRadar 首页

Axiom 宣布利用 Lean 完成人类史上最大数学证明的计算机形式化验证

Axiom 宣布借助 Lean 交互式定理证明系统实现全自动形式化，完成了人类历史上规模最大数学证明的计算机验证，推进了 AI 辅助复杂数学推理的落地前沿。