察元AI教程库 · 文章 · MCP

Ax-Prover：一个用于数学和量子物理定理证明的深度推理代理框架

我们提出了Ax-Prover，这是一个用于Lean中自动定理证明的多代理系统，能够解决不同科学领域的难题，并可独立或与人类专家协作解决科学问题。为了实现这一目标，Ax-Prover通过形式化证明生成来处理科学问题

作者:Benjamin Breen, Marco Del Tredici, Jacob McCarran · 语言:en

简介