The Pulse

OpenAI annuncia tre risultati scientifici generati dall’IA

Il 26 ottobre 2026 OpenAI ha annunciato risultati nell’analisi armonica, nella complessità computazionale e nella teoria quantistica dei campi. L’azienda ha reso disponibili due risultati perché siano esaminati e afferma che ricercatori est

AI.info Team · Scritto con l’IA · verificato · 2026-10-27

OpenAI presenta tre risultati con tre modalità diverse

Il 26 ottobre OpenAI ha annunciato tre risultati prodotti dai suoi modelli interni: una dimostrazione riguardante la congettura di Kakeya, una presunta confutazione dell’ipotesi del tempo esponenziale e un risultato sull’esistenza matematica di teorie quantistiche dei campi, tra cui la cromodinamica quantistica. L’azienda non li presenta come articoli accademici ultimati. Descrive i manoscritti come «una forma di dati grezzi della ricerca» e afferma di stare sperimentando diversi modi per coinvolgere i ricercatori nell’esame e nella spiegazione del lavoro.

«Non sappiamo ancora quale di questi tre approcci sarà il più utile e accogliamo volentieri osservazioni su ciò che funziona e su ciò che possiamo migliorare», scrive OpenAI. Per ciascun risultato è previsto un percorso diverso: il risultato matematico è pubblico, alcuni informatici seguiranno il risultato sulla complessità mentre i relativi materiali sono pubblici, e il gruppo di fisici redigerà un testo sul proprio risultato prima che OpenAI renda pubblici i materiali prodotti dal modello.

OpenAI afferma che le collaborazioni esterne sono volontarie e non retribuite e che i partecipanti non firmeranno accordi di riservatezza. L’azienda dice di non cercare riconoscimenti accademici per le scoperte compiute dai suoi modelli, mentre ai gruppi dovrebbe essere riconosciuto il merito delle spiegazioni e dei materiali che produrranno. La distinzione è importante: è OpenAI ad avanzare le affermazioni, mentre ai ricercatori che cita viene chiesto di valutarle e contestualizzarle.

Il risultato matematico va oltre Kakeya

Il risultato matematico riguarda il local smoothing, un problema di analisi armonica relativo alla forza con cui le onde possono concentrarsi nel tempo. OpenAI afferma che il suo modello ha prodotto una dimostrazione della congettura del local smoothing in ogni dimensione, estendendo risultati precedenti in due e tre dimensioni. Secondo l’azienda, la dimostrazione risolve anche le congetture di Kakeya e della restrizione di Stein in tutte le dimensioni.

OpenAI afferma di aver ottenuto l’output del modello il 18 ottobre e di averlo formalizzato in Lean il giorno seguente. Ha pubblicato sia un testo in linguaggio naturale sia una dimostrazione in Lean nel suo repository pubblico. Una formalizzazione in Lean verifica che una dimostrazione discenda dalle ipotesi formali dichiarate; da sola, non stabilisce che l’enunciato formale comprenda l’intera affermazione matematica né che l’argomentazione sia stata sottoposta a una verifica indipendente.

Gli informatici esamineranno la confutazione dell’ETH

Il secondo risultato mette in discussione l’ipotesi del tempo esponenziale, una congettura ampiamente utilizzata sulla difficoltà di risolvere problemi di soddisfacibilità booleana. OpenAI afferma che questa congettura è alla base di risultati condizionali sulla difficoltà computazionale in campi tra cui la teoria dei grafi, la biologia computazionale, le banche dati e la geometria computazionale. Se l’affermazione fosse confermata, i ricercatori dovrebbero riesaminare alcune di quelle ipotesi e considerare quali algoritmi più veloci potrebbero essere possibili.

OpenAI afferma che il suo sistema ha prodotto una confutazione in linguaggio naturale il 16 ottobre e che il lavoro è stato formalizzato in Lean il 17 ottobre. Ha pubblicato il testo e la dimostrazione generati dall’IA e afferma che renderà pubblici i dati grezzi. Un gruppo guidato da Russell Impagliazzo e Ramamohan Paturi della UC San Diego e da Ryan Williams del MIT esaminerà e spiegherà il risultato; OpenAI ha inoltre accettato di finanziare una conferenza sulle sue implicazioni.

Il repository dell’azienda descrive la formalizzazione in Lean in termini di conteggio esatto per formule k-CNF codificate in forma canonica, entro un determinato limite di tempo subesponenziale. È questo l’enunciato tecnico codificato dalla dimostrazione formale; il lavoro del gruppo esterno contribuirà a chiarire come interpretare il risultato rispetto alla più ampia affermazione sull’ETH.

Il risultato sulla teoria quantistica dei campi non è ancora pubblico

L’affermazione sulla fisica è la più importante per le sue possibili conseguenze e, finora, la meno accessibile all’esame pubblico. OpenAI afferma che il lavoro fornisce una dimostrazione rigorosa dell’esistenza di alcune teorie quantistiche dei campi interagenti in quattro dimensioni contenenti campi di gauge e fermioni, tra cui la cromodinamica quantistica e un completamento unificato del Modello Standard. Afferma inoltre che il lavoro comprende una dimostrazione dell’esistenza della teoria pura di Yang–Mills, una parte centrale di un problema del premio del millennio del Clay Mathematics Institute.

OpenAI afferma che i suoi modelli hanno prodotto una dimostrazione in linguaggio naturale dell’esistenza della teoria di Yang–Mills il 9 settembre e una dimostrazione per la cromodinamica quantistica il 18 settembre. L’azienda ha completato la formalizzazione in Lean del risultato su Yang–Mills il 16 ottobre, ma non ha reso pubblici quei materiali prodotti dall’IA: il gruppo di fisici, guidato da David Gross e comprendente Michael Douglas, Arthur Jaffe, Igor Klebanov e Nikita Nekrasov, ha scelto di preparare prima un proprio testo. L’annuncio di OpenAI riguarda una potenziale dimostrazione, non conferma che il problema del premio del millennio sia stato riconosciuto come risolto.

La verifica dipende ora da ciò che altri possono esaminare

L’annuncio pone la verifica indipendente al centro della vicenda, ma i tre progetti partono da situazioni diverse. Il risultato matematico dispone di materiali pubblici che i ricercatori possono valutare; il lavoro sull’ETH ha sia materiali pubblici sia un gruppo esterno indicato per nome; per l’affermazione sulla fisica si attende un testo dei collaboratori. OpenAI afferma che finanzierà ricercatori affinché esaminino, spieghino e sviluppino il lavoro, oltre a un contributo di 5 milioni di dollari alla Simons Foundation per workshop e programmi correlati, annunciato in precedenza.

L’annuncio di OpenAI non stabilisce se le dimostrazioni reggeranno all’esame degli esperti. Espone ciò che, secondo l’azienda, i suoi modelli hanno trovato, quali materiali ha reso disponibili e chi prenderà parte alla prossima fase della valutazione. Per ora, la distinzione più netta è tra i due gruppi di dimostrazioni pubbliche e i materiali sulla teoria quantistica dei campi che restano riservati.