Najważniejszym skutkiem pojawienia się narzędzi AI dla matematyki nie musi być to, że jeden model rozwiąże problem, nad którym bezskutecznie pracowało dziesięciu wybitnych matematyków. Może nim być to, że dziesięć tysięcy zwyczajnych matematyków zacznie robić trochę lepszą matematykę, niż potrafili robić wcześniej.
