L’AI ci ruberà la matematica?

Negli ultimi mesi, la GenAI ha interessato e attaccato sempre più problemi di matematica e fisica, dimostrando o disprovando, tra i tanti, un caso particolare delle equazioni di Navier-Stokes, la congettura jacobiana e la congettura delle distanze unitarie di Erdős.
Nel farlo, ha esibito competenze e capacità che non ci aspettavamo, scandalizzando la comunità dei matematici.
Proviamo a fare qualche riflessione utile in questa nuova puntata: i matematici possono dormire sonni tranquilli?