Tre risultati di ricerca ottenuti attraverso modelli di intelligenza artificiale, altrettante modalit\u00e0 di pubblicazione e un coinvolgimento diretto di studiosi esterni per esaminarne la validit\u00e0. Il 26 ottobre 2026 OpenAI ha presentato un nuovo approccio alla collaborazione con le comunit\u00e0 accademiche, partendo da lavori che riguardano problemi aperti della matematica, dell'informatica teorica e della fisica.<\/p>\n
L'iniziativa, illustrata nel documento Working with academic communities to build scientific understanding<\/em>, affronta una questione che sta diventando sempre pi\u00f9 concreta: come trasformare risultati prodotti da sistemi automatici in conoscenze scientifiche verificabili, comprensibili e utilizzabili da altri ricercatori<\/strong>.<\/p>\n La distinzione \u00e8 sostanziale. Un modello pu\u00f2 elaborare una dimostrazione matematica articolata, proporre nuovi metodi di calcolo o individuare connessioni tra teorie esistenti. Stabilire se il risultato sia corretto, comprenderne le conseguenze e collocarlo nella letteratura scientifica richiede per\u00f2 un lavoro ulteriore, che coinvolge competenze specialistiche e confronto tra studiosi.<\/p>\n OpenAI ha quindi avviato un esperimento sulle modalit\u00e0 di diffusione delle proprie ricerche, affidando a gruppi accademici indipendenti il compito di esaminare alcuni risultati particolarmente complessi. Le procedure cambiano a seconda della disciplina e della documentazione disponibile. Il confronto servir\u00e0 anche a capire quali forme di collaborazione possano funzionare meglio quando l'intelligenza artificiale nella ricerca scientifica arriva ad affrontare problemi rimasti irrisolti per decenni.<\/p>\n Il primo lavoro riguarda l'analisi armonica, una branca della matematica utilizzata per studiare fenomeni come la propagazione delle onde. Al centro della ricerca si trova la congettura del local smoothing<\/em>, formulata da Christopher Sogge nel 1991, che descrive alcune propriet\u00e0 del comportamento delle onde quando vengono considerate su intervalli temporali anzich\u00e9 in singoli istanti.<\/p>\n Negli anni precedenti erano stati raggiunti risultati importanti su casi specifici. Nel 2019 Larry Guth, Hong Wang e Ruixiang Zhang avevano dimostrato la congettura in due dimensioni spaziali. Nel 2025 Hong Wang e Joshua Zahl avevano ottenuto un risultato sulla congettura di Kakeya in tre dimensioni.<\/p>\n Il nuovo lavoro presentato da OpenAI propone una dimostrazione del local smoothing<\/em> in tutte le dimensioni considerate, con conseguenze anche per la congettura di Kakeya e quella di restrizione di Stein. La dimostrazione utilizza un'equazione differenziale ausiliaria.<\/p>\n L'elaborato generato dal modello risale al 18 ottobre 2026. Il giorno successivo \u00e8 stata completata una formalizzazione attraverso Lean, un sistema informatico che permette di esprimere e controllare dimostrazioni matematiche secondo regole logiche precise.<\/p>\n Per questo risultato \u00e8 stata scelta la pubblicazione diretta del materiale, lasciando alla comunit\u00e0 matematica la possibilit\u00e0 di organizzare autonomamente verifiche, approfondimenti e spiegazioni. Sono disponibili sia la dimostrazione in linguaggio naturale sia quella formalizzata. La pubblicazione consente un esame esterno, ma non equivale automaticamente alla conclusione di ogni attivit\u00e0 di revisione scientifica.<\/p>\n La seconda ricerca affronta l'Exponential Time Hypothesis, conosciuta con la sigla ETH. Si tratta di un'ipotesi della teoria della complessit\u00e0 computazionale che riguarda il tempo necessario per risolvere determinate categorie di problemi logici.<\/p>\n L'ETH \u00e8 stata utilizzata per molti anni come presupposto di risultati teorici relativi alla difficolt\u00e0 computazionale di problemi in settori differenti, dalla teoria dei grafi alla biologia computazionale.<\/p>\n Il sistema di OpenAI ha prodotto una dimostrazione che, secondo la documentazione pubblicata, confuterebbe questa ipotesi. Il lavoro descrive un algoritmo deterministico con particolari caratteristiche di complessit\u00e0 temporale e spaziale. Anche in questo caso \u00e8 disponibile una formalizzazione in Lean.<\/p>\n La verifica e l'interpretazione del risultato sono state affidate a un gruppo coordinato da Russell Impagliazzo e Ramamohan Paturi, dell'Universit\u00e0 della California a San Diego, e Ryan Williams, del Massachusetts Institute of Technology. Impagliazzo e Paturi figurano tra gli studiosi che contribuirono alla formulazione originaria dell'ipotesi.<\/p>\n Il gruppo ha richiesto la pubblicazione dei materiali necessari al controllo indipendente. OpenAI ha accolto questa indicazione e ha assunto anche l'impegno di finanziare una conferenza dedicata alle implicazioni della ricerca.<\/p>\n La disponibilit\u00e0 della dimostrazione non significa che siano gi\u00e0 stati sviluppati algoritmi pratici capaci di migliorare le prestazioni dei software attuali.<\/strong> L'eventuale superamento dell'ETH aprirebbe nuove questioni teoriche, mentre le applicazioni concrete richiederebbero ulteriori studi.<\/p>\n Il terzo risultato riguarda la fisica teorica e, in particolare, la costruzione matematica di alcune teorie quantistiche dei campi in quattro dimensioni.<\/p>\n Il lavoro comprende una proposta di dimostrazione rigorosa dell'esistenza di teorie che includono campi di gauge e fermioni, tra cui la cromodinamica quantistica, utilizzata per descrivere l'interazione forte tra particelle come quark e gluoni. Comprende inoltre risultati relativi alla teoria di Yang-Mills, collegata a uno dei problemi del millennio individuati dal Clay Mathematics Institute.<\/p>\n La collaborazione scientifica sar\u00e0 guidata dal fisico David Gross e coinvolger\u00e0 Michael Douglas, Arthur Jaffe, Igor Klebanov e Nikita Nekrasov.<\/p>\n A differenza dei casi precedenti, il gruppo ha scelto di rinviare la pubblicazione degli elaborati prodotti dall'intelligenza artificiale<\/strong>, privilegiando una fase di studio e preparazione della documentazione scientifica.<\/p>\n Il risultato sulla teoria di Yang-Mills era stato generato il 9 settembre 2026 e quello relativo alla cromodinamica quantistica il 18 settembre. La formalizzazione Lean dell'esistenza della teoria di Yang-Mills \u00e8 stata completata il 16 ottobre.<\/p>\n L'esame accademico resta quindi una componente essenziale dell'iniziativa. Non sarebbe corretto considerare gi\u00e0 definitivamente risolti, sulla sola base dell'annuncio, tutti i problemi matematici e fisici coinvolti.<\/p>\n L'aspetto pi\u00f9 significativo dell'iniziativa riguarda il modo in cui vengono organizzate le attivit\u00e0 successive alla produzione dei risultati.<\/p>\n OpenAI considera gli elaborati generati dai propri sistemi come una forma di materiale grezzo della ricerca. Possono contenere contributi originali, ma devono essere esaminati, spiegati e confrontati con le conoscenze gi\u00e0 disponibili.<\/p>\n Per gestire questa fase sono stati coinvolti esperti esterni con il compito di coordinare gruppi di lavoro specializzati. La scelta dei coordinatori non comporta il riconoscimento automatico della paternit\u00e0 delle scoperte e non attribuisce loro la responsabilit\u00e0 scientifica di risultati che non abbiano ancora verificato.<\/p>\n Il documento del 26 ottobre stabilisce quattro principi per le collaborazioni: trasparenza, assenza di rivendicazioni di credito accademico da parte di OpenAI, riconoscimento del lavoro svolto dai ricercatori e indipendenza delle valutazioni.<\/p>\n I partecipanti non devono sottoscrivere accordi di riservatezza e possono discutere pubblicamente le attivit\u00e0, condividere materiali intermedi e pubblicare le proprie conclusioni.<\/p>\n La partecipazione ai gruppi \u00e8 volontaria e non retribuita nell'ambito di questi accordi. Le valutazioni espresse dagli studiosi rimangono autonome e non costituiscono dichiarazioni ufficiali dell'azienda.<\/p>\n Queste condizioni affrontano alcune questioni particolarmente delicate nell'utilizzo dell'intelligenza artificiale nella ricerca scientifica. La prima riguarda l'attribuzione del lavoro intellettuale: generare un risultato, verificarlo, comprenderlo e svilupparne le conseguenze sono attivit\u00e0 differenti, che possono coinvolgere soggetti diversi.<\/p>\n La seconda riguarda il rapporto tra chi possiede gli strumenti tecnologici e chi dispone delle competenze disciplinari necessarie per valutarne i risultati.<\/p>\n Resta inoltre un problema di accesso. La selezione iniziale di alcuni ricercatori pu\u00f2 favorire un'analisi coordinata, ma crea inevitabilmente una differenza tra chi dispone subito dei materiali e chi pu\u00f2 esaminarli soltanto dopo la pubblicazione.<\/p>\n \u00c8 una criticit\u00e0 riconosciuta nello stesso documento. Le tre strategie di diffusione permetteranno di confrontare approcci differenti, senza che sia gi\u00e0 possibile stabilire quale garantisca il miglior equilibrio tra rapidit\u00e0, trasparenza e qualit\u00e0 del controllo scientifico.<\/p>\n La riproducibilit\u00e0 costituisce uno dei requisiti centrali della ricerca. Quando uno studio presenta un risultato, altri specialisti devono poter ricostruire i passaggi attraverso i quali \u00e8 stato ottenuto e valutare se le conclusioni siano giustificate.<\/p>\n Nel caso delle dimostrazioni matematiche generate automaticamente, l'impiego di strumenti come Lean rappresenta un elemento importante.<\/p>\n Il software permette di controllare formalmente che determinati passaggi rispettino le regole del sistema logico utilizzato. Questo riduce il rischio che errori di deduzione rimangano nascosti all'interno di dimostrazioni molto lunghe.<\/p>\n Il controllo formale, tuttavia, deve essere interpretato correttamente. Occorre verificare che gli enunciati codificati corrispondano effettivamente ai problemi matematici che si intendono risolvere, che le ipotesi siano appropriate e che eventuali dipendenze da altri risultati siano esplicitate.<\/p>\n Una dimostrazione accettata da un verificatore formale non sostituisce quindi l'esame del suo significato scientifico. Pu\u00f2 dimostrare la correttezza di un enunciato formalizzato senza esaurire le domande sulla sua portata, sulla rilevanza delle ipotesi o sulle possibili generalizzazioni.<\/p>\n Il repository pubblico dedicato alle ricerche matematiche di OpenAI rende visibile anche un altro aspetto del problema: la necessit\u00e0 di correggere e, quando necessario, ritirare risultati precedentemente diffusi<\/strong>.<\/p>\n Il 7 ottobre 2026, per esempio, sono stati ritirati tre manoscritti collegati a un errore di segno che comprometteva un passaggio della dimostrazione originaria e i lavori da essa dipendenti. Nello stesso aggiornamento sono state documentate revisioni di altri elaborati, con correzioni di dimostrazioni, ipotesi e riferimenti.<\/p>\n Questi episodi mostrano perch\u00e9 l'intelligenza artificiale nella ricerca scientifica richieda procedure di controllo che continuino anche dopo la prima pubblicazione.<\/p>\n La conservazione delle versioni precedenti, la documentazione delle modifiche e la possibilit\u00e0 di ricostruire le dipendenze tra risultati consentono agli studiosi di valutare l'evoluzione effettiva di una ricerca.<\/p>\n La disponibilit\u00e0 del codice e delle dimostrazioni formalizzate favorisce questo processo. Non garantisce, da sola, che un altro gruppo possa riprodurre integralmente il comportamento del modello che ha originato la scoperta.<\/p>\n Per ottenere una riproduzione completa sarebbero infatti rilevanti anche le informazioni relative agli strumenti utilizzati, alle configurazioni, agli eventuali interventi umani e alle condizioni dell'elaborazione. La pubblicazione di un risultato e la possibilit\u00e0 di ripetere autonomamente il processo che lo ha generato rimangono due livelli distinti di trasparenza.<\/p>\n La collaborazione sui tre risultati scientifici si affianca a iniziative pi\u00f9 ampie dedicate all'accesso dei ricercatori ai sistemi di intelligenza artificiale.<\/p>\n Il 29 luglio 2026 OpenAI ha presentato ChatGPT for Academic Researchers<\/em>, un programma destinato a offrire gratuitamente strumenti avanzati a ricercatori appartenenti a istituzioni accademiche selezionate.<\/p>\n L'obiettivo annunciato \u00e8 raggiungere 100.000 partecipanti entro il 2027, partendo da una prima fase di 10.000 ricercatori. Tra le istituzioni nelle quali l'accesso era gi\u00e0 disponibile al momento dell'annuncio figuravano l'Institute for Advanced Study e l'\u00c9cole normale sup\u00e9rieure.<\/p>\n Il programma comprende strumenti utilizzabili per analizzare letteratura scientifica, sviluppare codice, esaminare dati e preparare documentazione accademica. Sono previsti anche percorsi di formazione e assistenza nell'integrazione dei sistemi nei processi di ricerca.<\/p>\n L'accesso non \u00e8 per\u00f2 indiscriminato. Gli interessati devono soddisfare requisiti di ammissibilit\u00e0 e verificare la propria appartenenza istituzionale.<\/p>\n Un aggiornamento del 10 agosto ha comunicato che le prime candidature avevano superato quota 13.000, per un massimo potenziale di 65.000 account di ricerca. Di conseguenza, i nuovi candidati sono stati indirizzati verso una lista d'attesa, mentre la selezione iniziale \u00e8 stata organizzata attraverso un sorteggio tra i soggetti ammissibili.<\/p>\n I numeri indicano l'interesse registrato dal programma, ma non dimostrano che tutti i posti previsti siano gi\u00e0 stati assegnati o che l'obiettivo per il 2027 sia stato raggiunto.<\/p>\n Sul versante economico, un'iniziativa distinta coinvolge la Simons Foundation.<\/p>\n Il 15 ottobre 2026 la fondazione ha annunciato un programma da 15 milioni di dollari complessivi, tra finanziamenti e risorse, realizzato con OpenAI e Anthropic per accompagnare la comunit\u00e0 matematica nell'utilizzo dell'intelligenza artificiale.<\/p>\n Il contributo annunciato da OpenAI ammonta a 5 milioni di dollari. Le risorse saranno gestite e assegnate dalla Simons Foundation per sostenere incontri scientifici, workshop e programmi finalizzati alla comprensione e alla valutazione dei risultati assistiti dall'AI.<\/p>\n Si tratta di un intervento differente rispetto alle collaborazioni sui tre problemi presentati il 26 ottobre. Il finanziamento sostiene attivit\u00e0 della comunit\u00e0 scientifica, mentre i gruppi coordinati dagli esperti esterni sono impegnati nell'esame di specifici lavori teorici.<\/p>\n Entrambe le iniziative affrontano comunque una difficolt\u00e0 crescente: la produzione automatizzata di risultati pu\u00f2 aumentare pi\u00f9 rapidamente della capacit\u00e0 degli specialisti di controllarli e interpretarli.<\/p>\n L'impiego dell'intelligenza artificiale nella ricerca scientifica introduce questioni che vanno oltre la correttezza dei calcoli.<\/p>\n Un modello pu\u00f2 combinare informazioni provenienti da pubblicazioni diverse, formulare ipotesi o proporre spiegazioni apparentemente coerenti. Il valore scientifico di queste elaborazioni dipende dalla possibilit\u00e0 di ricostruirne i presupposti e verificare che i riferimenti utilizzati siano effettivamente pertinenti.<\/p>\n La verifica delle fonti richiede anzitutto di distinguere i risultati originali dalle conoscenze gi\u00e0 presenti nella letteratura. Un sistema automatico pu\u00f2 riproporre una dimostrazione nota, utilizzare inconsapevolmente un'ipotesi non valida o attribuire a una ricerca conseguenze che gli autori non avevano dimostrato.<\/p>\n La documentazione scientifica deve quindi permettere di identificare con precisione gli studi richiamati, controllare gli enunciati e ricostruire il rapporto tra le nuove conclusioni e i lavori precedenti.<\/p>\n L'accuratezza bibliografica assume particolare rilievo quando l'intelligenza artificiale viene impiegata per preparare revisioni della letteratura, manoscritti e progetti di ricerca. I riferimenti suggeriti dal modello devono essere controllati sulle pubblicazioni originali, verificando autori, date, contenuti e risultati.<\/p>\n Nel documento del 26 ottobre, il riconoscimento dei contributi scientifici precedenti rientra espressamente tra i principi delle collaborazioni. I gruppi esterni dovranno contribuire a individuare correttamente ricercatori, tecniche e idee sulle quali si basano i nuovi lavori.<\/p>\n Esiste poi una differenza tra discipline teoriche e sperimentali.<\/p>\n In matematica, una dimostrazione rigorosa pu\u00f2 essere valutata attraverso argomentazioni logiche e strumenti formali. Nelle scienze sperimentali, invece, una previsione elaborata dall'AI deve confrontarsi anche con osservazioni, misurazioni e dati ottenuti mediante procedure controllate.<\/p>\n Un sistema pu\u00f2 suggerire una nuova relazione tra variabili biologiche o individuare un'ipotesi interessante all'interno di grandi raccolte di dati. Per stabilire se quella relazione descriva un fenomeno reale occorrono verifiche statistiche, controlli metodologici e, quando pertinenti, esperimenti indipendenti.<\/p>\n La disponibilit\u00e0 di modelli sempre pi\u00f9 capaci non elimina queste esigenze. Pu\u00f2 modificare la quantit\u00e0 di ipotesi prodotte e la velocit\u00e0 con cui vengono sviluppate, rendendo ancora pi\u00f9 importante la selezione dei risultati da approfondire.<\/p>\n L'automazione di alcune attivit\u00e0 intellettuali modifica la distribuzione del lavoro nei gruppi scientifici.<\/p>\n La ricerca assistita da AI pu\u00f2 includere operazioni molto diverse: consultazione di documentazione tecnica, scrittura di programmi, analisi di dataset, formulazione di congetture e verifica formale di dimostrazioni.<\/p>\n Le attivit\u00e0 possono essere collegate all'interno dello stesso processo, ma presentano rischi differenti. Un errore di programmazione pu\u00f2 alterare i risultati di un'analisi; una fonte inesistente pu\u00f2 compromettere una revisione bibliografica; un'ipotesi formalizzata in modo impreciso pu\u00f2 produrre conclusioni matematicamente corrette rispetto all'enunciato sbagliato.<\/p>\n La supervisione umana deve quindi intervenire nelle fasi in cui vengono stabiliti gli obiettivi scientifici, selezionati i metodi e interpretate le conclusioni.<\/p>\n Il modello di collaborazione proposto da OpenAI separa, almeno sul piano organizzativo, il momento della generazione automatica da quello della valutazione accademica.<\/p>\n Gli studiosi coinvolti nei gruppi di lavoro non sono chiamati semplicemente a confermare ci\u00f2 che \u00e8 stato prodotto. Devono comprenderlo, verificarne i passaggi, individuare eventuali problemi e spiegare quali conseguenze possano essere sostenute dalla documentazione disponibile.<\/p>\n Una particolare difficolt\u00e0 riguarda i risultati che, se confermati, potrebbero modificare una parte importante delle conoscenze esistenti.<\/p>\n La presunta confutazione dell'Exponential Time Hypothesis ne rappresenta un esempio. Numerosi lavori utilizzano quell'ipotesi per stabilire limiti condizionali alla complessit\u00e0 di determinati problemi. Una sua eventuale confutazione richiederebbe di riesaminare il significato di tali risultati, senza necessariamente renderne errate le dimostrazioni condizionali.<\/p>\n Allo stesso modo, una dimostrazione rigorosa relativa alle teorie quantistiche dei campi richiede di stabilire esattamente quali modelli matematici siano coperti e quali propriet\u00e0 fisiche risultino effettivamente dimostrate.<\/p>\n Sono questioni che non possono essere risolte attraverso la sola capacit\u00e0 del sistema di produrre testi tecnici convincenti.<\/p>\n Il progetto annunciato il 26 ottobre non introduce ancora uno standard generale per tutte le ricerche prodotte con l'intelligenza artificiale. Le tre modalit\u00e0 di diffusione sono presentate come un esperimento, destinato a essere valutato anche attraverso le osservazioni delle comunit\u00e0 accademiche.<\/p>\n Al momento della pubblicazione, i materiali matematici e informatici indicati erano gi\u00e0 stati resi accessibili nel repository pubblico, mentre il gruppo di fisica aveva deciso di rinviarne la diffusione per lavorare alla presentazione scientifica dei risultati.<\/p>\n \u00c8 una differenza concreta che incide sulla possibilit\u00e0 di controllo esterno. Nel primo caso altri studiosi possono iniziare immediatamente a esaminare le dimostrazioni. Nel secondo, l'analisi iniziale rimane concentrata nel gruppo incaricato, in attesa della documentazione successiva.<\/p>\n La scelta della procedura di pubblicazione diventa cos\u00ec parte integrante del lavoro scientifico, soprattutto quando i risultati sono sufficientemente complessi da richiedere settimane o mesi di verifica specialistica.<\/p>\n L'esperienza interessa anche le universit\u00e0 e i centri di ricerca che stanno introducendo strumenti automatici nelle proprie attivit\u00e0. L'intelligenza artificiale nella ricerca scientifica pu\u00f2 ampliare le possibilit\u00e0 di indagine, ma comporta la necessit\u00e0 di stabilire chi controlla i risultati, come vengono documentati gli interventi del modello e quali condizioni permettono ad altri studiosi di ripetere le verifiche.<\/p>\n Il lavoro sui materiali gi\u00e0 pubblicati da OpenAI offre un primo terreno di confronto. La disponibilit\u00e0 delle dimostrazioni, delle formalizzazioni e delle revisioni successive consente di osservare direttamente come una comunit\u00e0 scientifica reagisce a risultati generati automaticamente.<\/p>\n Per le collaborazioni ancora in corso, rimane decisivo il contenuto delle valutazioni indipendenti. Saranno le analisi dei gruppi accademici, le eventuali correzioni e le pubblicazioni successive a chiarire quali conclusioni potranno entrare stabilmente nella letteratura specialistica e quali richiederanno ulteriori approfondimenti.<\/p>\n","protected":false},"excerpt":{"rendered":" Tre risultati di ricerca ottenuti attraverso modelli di intelligenza artificiale, altrettante modalit\u00e0 di pubblicazione e un coinvolgimento diretto di studiosi esterni per esaminarne la validit\u00e0. Il 26 ottobre 2026 OpenAI ha presentato un nuovo approccio alla collaborazione con le comunit\u00e0 accademiche, partendo da lavori che riguardano problemi aperti della matematica, dell'informatica teorica e della fisica. […]<\/p>\n","protected":false},"author":1,"featured_media":3572,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[99],"tags":[],"yoast_head":"\nTre risultati scientifici e differenti modalit\u00e0 di verifica<\/h2>\n
La collaborazione con i ricercatori e le regole sull'indipendenza<\/h2>\n
Riproducibilit\u00e0 dei risultati: perch\u00e9 pubblicare una dimostrazione non basta<\/h2>\n
Accesso agli strumenti e sostegno economico alla ricerca<\/h2>\n
Verifica delle fonti e responsabilit\u00e0 scientifica<\/h2>\n
Il ruolo dei ricercatori quando aumenta l'automazione<\/h2>\n
Una sperimentazione aperta sulle regole della pubblicazione scientifica<\/h2>\n