Di recente OpenAI ha pubblicato 722 manoscritti con soluzioni generate dall’IA a problemi matematici di lunga data. I lavori sono stati condivisi pubblicamente la scorsa settimana. I matematici avvertono che potrebbero volerci anni per verificare una mole così ampia di risultati e temono che la mancanza di passaggi argomentativi chiari renda difficile sviluppare ulteriormente il lavoro.
Perché la comunità matematica è preoccupata
Non è stato reso noto il nome del modello di IA che ha prodotto le dimostrazioni, ma gli analisti stanno già cercando di verificarne le conclusioni. Gli esperti osservano che una soluzione che passa direttamente dalla domanda alla risposta finale, senza mostrare i passaggi, offre pochi spunti. Senza sapere come si è arrivati al risultato, i ricercatori non possono sviluppare nuove teorie né usare le conclusioni come base per ulteriori studi.
Perché conta
Per chi fa affidamento sulla ricerca matematica — studenti, ingegneri e scienziati — l’improvvisa ondata di dimostrazioni non verificate potrebbe rallentare i progressi, perché ogni risultato potrebbe richiedere un’ampia verifica umana. La vicenda solleva inoltre interrogativi su come le scoperte generate dall’IA potranno essere considerate attendibili e applicate nel mondo reale.
