arXiv cs.AI· Eugenio Cainelli, Lorenzo Luccioli, Alessandro Iraci, Giovanni Paolini·· 8 小时前AI 评分44
OpenAI 参与 qtBench：29 个代数组合学开放问题的 AI 发现基准
AI Discovery in Combinatorics: From Problems to Solutions and Back to Bigger Problems
AI 导读
研究者发布 qtBench，一个包含 29 个代数组合学开放问题的基准，要求给出能解释给定多项式系数或恒等式的简单组合算法，并提供可操作组合对象、防作弊与验证候选解的脚手架。团队与 OpenAI 合作，其研究者对其中若干问题给出了候选解，并由此讨论规模化 AI 发现的伦理、结果发布方式与证明消化组织等元问题。
来源：arXiv cs.AI · arxiv.org