OpenAI afferma che il suo modello interno ha risolto oltre 100 problemi matematici dopo un solo mese di addestramento
decoder ·
OpenAI ha annunciato che il suo nuovo modello interno ha risolto oltre 100 problemi matematici di lunga data, tra cui la congettura di Hodge e un secondo Problema del Millennio, dopo appena un mese di addestramento. Questo rapido successo ha suscitato dibattito nella comunità scientifica, in particolare riguardo al fatto se le soluzioni generate dall'IA possano minare la comprensione concettuale centrale alla matematica. In risposta alle critiche dei matematici, OpenAI ha istituito un gruppo consultivo indipendente presso l'Istituto per gli Studi Avanzati per guidare la condivisione dei risultati con ricercatori e pubblico. Tuttavia, l'azienda ha dichiarato esplicitamente che questo gruppo non avrà autorità sul ritmo dei progressi della sua ricerca interna. Il vincitore della Medaglia Fields Timothy Gowers si è unito al consiglio consultivo ma ha rifiutato di firmare una lettera aperta che critica l'impatto dell'IA sul campo. Gowers ha sostenuto che, sebbene la risoluzione dei problemi sia preziosa, il rischio principale risiede nel potenziale collasso delle strutture sociali che sostengono i matematici umani e le loro carriere. Ha espresso preoccupazione che i decisori politici potrebbero considerare gli esperti umani ridondanti se l'IA fosse in grado di risolvere teoremi in modo efficiente. L'annuncio evidenzia la tensione tra le capacità computazionali dell'IA e gli obiettivi tradizionali dell'indagine matematica.
decoder