PatternBoost: Constructions in Mathematics with a Little Help from AI

François Charton, Jordan S. Ellenberg, Adam Zsolt Wagner +1

We introduce PatternBoost, a flexible method for finding interesting constructions in mathematics. Our algorithm alternates between two phases. In the first ``local'' phase, a clas…