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

研究人员推出了包含 29 个代数组合学开放问题的评测基准 $qt$Bench，并提供了一套供 AI 智能体操作组合对象、防作弊与测试候选解的框架。在与 OpenAI 的合作中，OpenAI 研究人员已成功得出其中数个问题的候选解决方案。此外，论文还针对规模化 AI 科学发现的伦理、成果发布形式及证明消化等元问题展开了讨论。