#行业动态

Ax-Prover：面向数学与量子物理定理证明的深度推理智能体框架

arXiv 管理员撤下了 Ax-Prover 论文，理由是未达到该站研究内容质量标准，目前无 PDF 可看。