arXiv preprint ·
AI Discovery in Combinatorics: From Problems to Solutions and Back to Bigger Problems
- Published
- Source
- arXiv preprint, posted before peer review
- Original
- Read it at arXiv
- Topics
Abstract
We introduce $qt$Bench, a benchmark of 29 open problems in algebraic combinatorics. These problems ask for a simple combinatorial algorithm that explains given polynomial coefficients or identities. To help AI agents search for such algorithms, we provide a scaffold for playing with combinatorial objects, countering cheating attempts, and testing candidate solutions. To explore how far frontier AI systems can go on these problems, we collaborated with OpenAI, whose researchers obtained proposed solutions to several of them. This highlights bigger meta-problems: is AI discovery at scale ethical? How should these results be released? How should proof digestion be organized? We discuss these questions and give our views.
The authors’ abstract, as arXiv lists it. arXiv’s listings, abstracts included, are free for anyone to reuse.
Read it on ReadSearch
Each opens after you create an account, and brings you back to this paper.
More in Artificial Intelligence
QPTAS for Max Weight Independent Set in Graphs with Strongly Edge-Sublinear Separators
A Minimum Exact Disjunctive Basis for Two-Robot Solvability Profiles
A Randomized Approximation Algorithm for Doubly Free-Boundary Macdonald Processes
The Online Steinitz Problem
Selecting the 7th Smallest of 16 Elements Takes Exactly 28 Comparisons
Get the few papers worth your time in Artificial Intelligence every morning.
ReadSearch reads the new papers in your field each day and brings you the few worth reading, each with its key finding in a sentence.