L’AI di OpenAI avrebbe risolto 100 problemi matematici: chi li verifica?

Un problema matematico può restare aperto per decenni, e così è successo molte volte nella storia, ma quando qualcuno propone una soluzione, però, il lavoro non finisce. questo perché bisogna verificarlo, e così intervengono altri ricercatori che devono esaminare la dimostrazione, cercare errori e capire se contiene idee utili anche altrove. Cosa succede se le possibili soluzioni arrivano più in fretta di quanto la comunità riesca a studiarle?

È la domanda sollevata dall’ultimo annuncio di OpenAI, visto che l’azienda sostiene che un suo modello interno abbia risolto oltre 100 problemi aperti da tempo in diversi campi della matematica. Tra i risultati già resi pubblici figura una proposta di soluzione al problema di Navier–Stokes, che riguarda il comportamento dei fluidi.

Per gli oltre 100 problemi, però, OpenAI non ha pubblicato nell’annuncio un elenco di dimostrazioni che permetta di considerare ogni risultato verificato dalla comunità. Il rischio è che il numero delle risposte diventi più importante della loro comprensione.

CLICCA QUI PER CONTINUARE A LEGGERE