arXiv · cs.AI · Benjamin Breen, Marco Del Tredici, Jacob McCarran, Javier Aspuru Mijares, Weichen Winston Yin, Kfir Sulimany, Jacob M. Taylor, Frank H. L. Koppens, Dirk Englund · 10 小时前模型评分19
Ax-Prover：面向数学与量子物理定理证明的深度推理智能体框架
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
导读
arXiv 管理员撤下了 Ax-Prover 论文，理由是未达到该站研究内容质量标准，目前无 PDF 可看。
分类置信度
中 · 待人工复核
- 存在未解决的相邻类别：ai-tooling，需要人工复核。
- 只有单一媒体来源，需要人工复核。
来源级别：媒体与个人
应用领域：科学研究
事件类型：安全事件
证据摘录
- “This paper has been withdrawn by arXiv Admin”
- “This submission has been withdrawn because it does not meet arXiv's research content quality standards”
来源：arXiv · cs.AI · arxiv.org