L'intelligenza artificiale risolve problemi matematici rimasti aperti per decenni, ma chi è in grado di verificare e comprendere le sue dimostrazioni? Mentre le grandi aziende tecnologiche annunciano risultati sempre più spettacolari, la comunità matematica si interroga sul futuro della propria disciplina. Non è in gioco soltanto la capacità di distinguere una soluzione corretta da una sbagliata, ma il significato stesso della conoscenza, la formazione delle nuove generazioni e l'indipendenza della ricerca. La matematica è il canarino nella miniera: quello che le accade oggi potrebbe presto riguardare tutti i saperi.