Jeg vet ingenting om dette området av matematikk, men det faktum at seriøse matematikere snakker om hvor godt AI-systemer har hjulpet dem er veldig imponerende.