arXiv cs.AI· Eugenio Cainelli, Lorenzo Luccioli, Alessandro Iraci, Giovanni Paolini·· 3 天前AI 评分58
qtBench：29 个代数组合学开放问题的 AI 求解基准
AI Discovery in Combinatorics: From Problems to Solutions and Back to Bigger Problems
AI 导读
研究者提出 qtBench，一个包含 29 个代数组合学开放问题的基准，这些问题要求给出能解释给定多项式系数或恒等式的简单组合算法。为帮助 AI 智能体搜索这类算法，作者提供了用于操作组合对象、防范作弊尝试和测试候选解的脚手架。他们与 OpenAI 合作，其研究人员对其中若干问题给出了候选解，并由此讨论 AI 大规模发现是否合乎伦理、结果应如何发布以及证明消化如何组织等元问题。
正文 · AI 翻译
摘要：我们介绍了 $qt$Bench，一个包含代数组合学中 29 个开放问题的基准。这些问题要求给出一个简单的组合算法，用以解释给定的多项式系数或恒等式。为帮助 AI 智能体搜索此类算法，我们提供了一个用于操作组合对象、反制作弊尝试以及测试候选解的脚手架。为探索前沿 AI 系统在这些问题上能走多远，我们与 OpenAI 合作，其研究人员获得了其中若干问题的候选解。这凸显了更大的元问题：大规模 AI 发现是否合乎伦理？这些结果应如何发布？证明的消化整理应如何组织？我们讨论了这些问题并给出了我们的观点。
| 评论： | 15 页 |
| 主题： | 人工智能 (cs.AI)；机器学习 (cs.LG)；组合数学 (math.CO) |
| 引用为： | arXiv:2610.16555 [cs.AI] |
| （或 arXiv:2610.16555v1 [cs.AI] 用于此版本） | |
| https://doi.org/10.48550/arXiv.2610.16555 由 DataCite 颁发的 arXiv DOI（待注册） |
提交历史
来自：Eugenio Cainelli [查看电子邮件]
[v1]
2026 年 10 月 12 日星期一 10:35:19 UTC（52 KB）
来源：arXiv cs.AI · arxiv.org