组合数学中的 AI 发现：从问题到解答再回到问题

论文提出 qtBench，一个由 29 道代数组合学开放问题组成的基准，要求为给定的多项式系数或恒等式找到简洁的组合算法。作者提供了用于操作组合对象、防止作弊和测试候选解的脚手架，并与 OpenAI 合作，其研究人员对其中若干问题给出了候选解答。论文随后讨论了 AI 大规模发现是否合乎伦理、结果应如何发布以及证明消化如何组织等元问题。