François Charton, research engineer at Meta and PhD student at CERMICS, Jordan Ellenberg (U. Wisconsin), Adam Wagner (Deepmind), Geordie Williamson (U. Sydney), were interviewed by the New Scientist on their recent paper where they design an AI method called PatternBoost to generate interesting construction in mathematics coupling Transformers and classical search algorithm (see the news). As an example of application, they find a counter-example to a conjecture of 1992 due to Graham.
