Jag vet ingenting om det här området av matematiken, men det faktum att seriösa matematiker pratar om hur väl AI-system har hjälpt dem är mycket imponerande.