arXiv ID:
2510.01346
arXiv 提交日期: 2025-10-01
亚里士多德:国际数学奥林匹克级别的自动定理证明系统 / Aristotle: IMO-level Automated Theorem Proving
1️⃣ 一句话总结
这篇论文介绍了一个名为‘亚里士多德’的人工智能系统,它通过结合形式化验证与非正式推理,在国际数学奥林匹克竞赛题目上达到了金牌级别的解题能力,展示了自动定理证明领域的最先进性能。