Il 26 ottobre OpenAI ha annunciato che i suoi modelli interni hanno prodotto soluzioni a problemi aperti da tempo in tre campi diversi. Quello che ha fatto più rumore è stata la confutazione, in informatica, della congettura nota come Ipotesi del Tempo Esponenziale (Exponential Time Hypothesis, ETH).
Cos'è successo?
Secondo OpenAI, i tre risultati sono questi: in matematica, la dimostrazione in ogni dimensione della congettura della "regolarizzazione locale", che risolve anche la congettura di Kakeya; in informatica, la confutazione dell'ETH; in fisica, la dimostrazione matematica dell'esistenza di alcune teorie quantistiche dei campi a quattro dimensioni, compresa la cromodinamica quantistica. Il risultato di fisica riguarda anche Yang-Mills, uno dei problemi del Premio del Millennio dell'Istituto Clay.
L'ETH, formulata nel 1999, afferma che risolvere certi rompicapi logici richiede un tempo che cresce in modo esponenziale all'aumentare del numero di variabili. Secondo TechCrunch, OpenAI e Anthropic, che ha pubblicato la propria confutazione poche ore dopo, sostengono che i loro modelli hanno trovato algoritmi che risolvono questi rompicapi più in fretta del previsto. Ryan Williams del MIT, chiamato a interpretare il risultato, ha detto che nella dimostrazione ci sono, accanto a parti di routine, alcune sezioni dall'"aspetto estraneo" e che servirà il lavoro congiunto di tutta la comunità. OpenAI ha dichiarato di essere ragionevolmente sicura che la scoperta non rompa i sistemi crittografici noti.
Ogni campo ha seguito una strada diversa: il risultato di matematica è stato caricato su GitHub, per l'informatica è stato creato un gruppo di lavoro esterno e OpenAI finanzierà una conferenza, mentre la pubblicazione del risultato di fisica è stata lasciata ai fisici.
Perché è importante?
Se i risultati saranno confermati, molti articoli scientifici dell'ultimo decennio basati sull'ETH dovranno essere riesaminati. La domanda più grande riguarda la scienza stessa: quando l'intelligenza artificiale inizierà a produrre dimostrazioni, il ruolo degli esseri umani potrebbe essere comprenderle, verificarle e porre nuove domande che alzino l'asticella.