Il recente annuncio relativo alle equazioni di Navier–Stokes non solleva soltanto questioni matematiche. A partire dalle questioni poste da questo risultato e dal ruolo che l’intelligenza artificiale ha avuto nel produrlo, Alfio Quarteroni propone una riflessione sul futuro della ricerca matematica: che cosa significa oggi dimostrare un teorema, come cambia il concetto di paternità scientifica e quale rapporto si sta delineando fra produzione, comprensione e certificazione della conoscenza. Una riflessione che invita la comunità a confrontarsi con trasformazioni ormai molto concrete, evitando tanto l’entusiasmo acritico quanto il rifiuto di principio. Continua a leggere