Chi l’avrebbe mai detto che la fine di un’era di incertezza matematica sarebbe arrivata con un banale input testuale?
Mentre noi siamo qui a combattere con i driver della nostra nuova GPU o a cercare di capire perché quel container Docker non parta sul server locale, nell’universo dei modelli linguistici è successa una cosa che farebbe impallidire qualunque paper accademico. La nuova versione di OpenAI, la GPT-5.6, ha appena chiuso un gap di trent’mniej anni nell’ottimizzazione convessa. Sì, avete letto bene. Trent’anni di ricerca, teoremi e probabilmente notti insonni passate a fissare lavagne bianche, risolti con una sequenza di token.
Per chi non mastica la matematica avanzata (e non c’è problema, non vi giudico, siamo qui per farci due risate e smanettare), l’ottimizzazione convessa è quella branca che cerca di trovare il ‘punto più basso’ in una funzione che non ha buche strane o minimi locali che ti mandano in tilt. È la base di quasi tutto ciò che è ingegneristico e algoritmico. Trovare una prova per colmare un vuoto di tre decenni è un traguardo che definire ‘epico’ è un eufemismo.
La cosa che fa saltare sulla sedia non è solo il risultato, ma il metodo. Non abbiamo visto un nuovo supercomputer da miliardi di dollari o un algoritmo scritto da un team di matematici premio Fields; abbiamo visto un prompt. Una sequenza di istruzioni che ha guidato il modello attraverso passaggi logici così complessi da superare l’intuizione umana accumulata nell’ultimo trentennio.
Ovviamente, c’è da farsi un po’ i conti. Da un lato, l’entusiasmo è alle stelle: stiamo assistendo alla nascita di uno strumento che può accelerare la scoperta scientifica a una velocità che non abbiamo mai visto prima. Dall’altro, c’è quel retrogusto amaro tipico di quando un gigante del software decide di gestire l’unica chiave di questo tesoro. Sappiamo tutti come funziona: la logica che risolve i problemi più grandi del mondo è racchiusa in una scatola nera, accessibile solo tramite una sandbox controllata e pagando un abbonamento mensile.
Non importa se la notizia arriva dagli USA o da un forum di Reddit; l’impatto della scoperta è globale. Se questo modello può risolvere l’ottimizzazione convessa, cosa farà domani con la biologia molecolare o la fisica dei materiali? Resta da vedere se saremo spettatori passivi di questo progresso o se riusciremo a tenere le mani sul volante di questa tecnologia, prima che diventi un monolite proprietario e inaccessibile.
Per ora, però, godiamoci la notizia. La matematica è viva, è complicata e, incredibilmente, è stata appena ‘sbalordita’ da un Transformer.
Source: GPT-5.6 used a prompt to close a 30-year gap in convex optimization