qtBench：代数组合学 29 个开放问题的 AI 基准

作者提出 qtBench，一个包含代数组合学 29 个开放问题的基准，这些问题要求给出能解释给定多项式系数或恒等式的简单组合算法。为帮助 AI 智能体搜索此类算法，作者提供了用于操作组合对象、防止作弊尝试和测试候选解的脚手架。作者与 OpenAI 合作，其研究人员对其中若干问题给出了候选解，并由此讨论了 AI 大规模发现是否合乎伦理、结果应如何发布以及证明消化应如何组织等元问题。