Risolvere i grandi problemi della matematica era un'arte. Poi è arrivata l'IA
wired ·
OpenAI ha recentemente affermato di aver risolto il problema dell'esistenza e della regolarità di Navier-Stokes, un enigma decennale, utilizzando migliaia di agenti di intelligenza artificiale, suscitando polemiche nell'ambiente matematico. I critici sostengono che questo approccio basato sulla forza bruta minacci la natura artistica e creativa della matematica, che privilegia una comprensione profonda rispetto al semplice ottenimento di risultati. Molti matematici ritengono che l'IA bypassi il processo deliberato necessario per sviluppare nuove idee, portando potenzialmente a soluzioni prive di vera comprensione. Una dichiarazione firmata da vincitori della Medaglia Fields avverte che la produzione in massa di dimostrazioni potrebbe distruggere il terreno fertile per l'innovazione umana. Esperti come Lorenzo Gavassino sottolineano che la fatica intrinseca nei calcoli complessi spesso ispira concetti rivoluzionari, come i numeri immaginari. Vi sono inoltre preoccupazioni riguardo alla trasparenza, all'attribuzione dei meriti e alle implicazioni etiche del sostituire la formazione dei dottorandi con il calcolo automatizzato. Sebbene OpenAI abbia istituito un gruppo consultivo per affrontare queste preoccupazioni, le tensioni persistono riguardo al futuro ruolo dell'IA nella scoperta scientifica.
wired