I modelli di OpenAI generano dimostrazioni in matematica, informatica e fisica quantistica

Analisi armonica e concentrazione delle onde

Il 18 ottobre 2026, i modelli di intelligenza artificiale di OpenAI hanno generato una dimostrazione matematica della congettura di regolarizzazione locale, un problema aperto di analisi armonica formulato da Christopher Sogge nel 1991, come riportato da Interesting Engineering. La congettura descrive il comportamento delle onde che si concentrano e afferma che un'estrema focalizzazione spaziale non può sostenersi per lunghi periodi. Il laboratorio ha riferito che il suo sistema ha dimostrato la congettura in tutte le dimensioni spaziali, risolvendo anche la congettura di Kakeya e la congettura di restrizione di Stein.

Lavori precedenti in questo campo avevano risolto casi dimensionali limitati, tra cui una dimostrazione del 2019 in due dimensioni spaziali di Larry Guth, Hong Wang e Ruixiang Zhang, seguita dalla dimostrazione del 2025 di Wang e Zahl della congettura di Kakeya in tre dimensioni. Per consentire un'immediata ispezione scientifica di questa innovazione teorica, OpenAI ha convertito la dimostrazione in linguaggio naturale in Lean, un dimostratore interattivo di teoremi che consente la verifica automatica, il 19 ottobre 2026, pubblicando i materiali completi su GitHub secondo Interesting Engineering.

Mettere in discussione l'ipotesi del tempo esponenziale

Oltre alla matematica pura, OpenAI ha dichiarato che i suoi modelli hanno prodotto una confutazione dell'ipotesi del tempo esponenziale (ETH) il 16 ottobre 2026, formalizzando il risultato in Lean il giorno successivo, secondo Interesting Engineering. L'ETH è un'ipotesi centrale nella teoria della complessità computazionale che stabilisce limiti teorici agli algoritmi che risolvono problemi di soddisfacibilità booleana. La congettura funge da fondamento assiomatico per centinaia di articoli pubblicati in geometria computazionale, teoria dei grafi, basi di dati e biologia computazionale.

Sebbene confutare l'ETH non produca immediatamente algoritmi pratici più veloci per il software del mondo reale, mette in discussione le ipotesi fondamentali usate per dimostrare limiti inferiori condizionali in tutta l'informatica. Per valutare la validità matematica della confutazione, i ricercatori Russell Impagliazzo e Ramamohan Paturi dell'Università della California, San Diego, insieme a Ryan Williams del Massachusetts Institute of Technology, guideranno una commissione di revisione indipendente sostenuta da una conferenza finanziata da OpenAI, come dettagliato da Interesting Engineering.

Teoria quantistica dei campi e verifica accademica indipendente

Il terzo traguardo rivendicato riguarda la fisica matematica e i fondamenti rigorosi della teoria quantistica dei campi. I modelli avrebbero generato dimostrazioni di esistenza per campi di gauge interagenti in quattro dimensioni e fermioni, comprendendo la cromodinamica quantistica (QCD) e la teoria di Yang-Mills pura, come riportato da Interesting Engineering. L'esistenza matematica e il relativo problema del gap di massa nella teoria di Yang-Mills costituiscono uno dei problemi del Millennio irrisolti designati dal Clay Mathematics Institute.

A differenza dei risultati di matematica e complessità pubblicati direttamente sulle piattaforme di repository, i materiali di fisica saranno sottoposti a un'analisi indipendente guidata dal premio Nobel David Gross, insieme ai ricercatori Michael Douglas, Arthur Jaffe, Igor Klebanov e Nikita Nekrasov. OpenAI ha confermato che i gruppi di valutazione accademici opereranno con completa autonomia editoriale, sostenuti da un fondo di 5 milioni di dollari precedentemente assegnato alla Simons Foundation per coordinare workshop di valutazione e seminari accademici, come confermato da Interesting Engineering.

Leggi anche su The Patent: Mass General Brigham AI predicts cancer survival risk from a facial photo