Toglietevi l’idea che l’intelligenza artificiale serva solo a generare immagini di gatti in stile cyberpunk o a scrivere mail di scuse ai clienti che non sanno cosa stanno ordinando. C’è un fronte che sta bollendo sotto la superficie e, stavolta, non riguarda la capacità di conversazione, ma la logica pura, quella che non ammette allucinazioni o ‘allucinazioni creative’ da chatbot.
OpenAI ha appena fatto un move che, per una volta, non puzza solo di marketing e release di nuovi modelli proprietari. Hanno iniziato a condividere su GitHub i progressi fatti con l’IA applicata alla matematica. Se avete mai provato ad aprire un paper di topologia o di algebra astratta dopo una serata a base di birra e pizza, sapete che il cervello tende a andare in kernel panic quasi istantaneamente. Ecco, l’obiettivo è che l’IA possa navigare in quel labirinto di simboli e dimostrazioni senza perdersi.
Andando a sbirciare nel loro repository, si nota una sezione dedicata ai preprint, ovvero quei paper che sono ancora in fase di revisione ma che già promettono molto. Non è solo fuffa da conferenza: si parla di modelli capaci di assistere nella ricerca, di verificare passaggi logici e di esplorare nuove strade matematiche. È quel tipo di progresso che ci fa capire che stiamo uscendo dall’era della ‘generazione di testo’ per entrare in quella del ‘ragionamento strutturato’.
Naturalmente, come sempre, c’è un asterisco grande quanto un server rack. Vedere OpenAI che rilascia pezzi di codice o paper è eccitante, ma sappiamo tutti come funziona il gioco: è un po’ come se un supereroi ti regalasse un gadget tecnologico avanzatissimo, ma solo se accetti di usare la sua piattaforma e di restare nel suo ecosistema. Non stiamo parlando di un vero rilascio open source totale, ma di una vetrina molto curata. Per noi che amiamo smontare tutto e vedere cosa c’è sotto il cofano, è un bene, ma con la giusta dose di sano scetticismo.
In Italia, dove spesso la ricerca applicata fatica a trovare i fondi per non finire a fare consulenza per l’ennesima app di delivery, guardare a questi sviluppi è stimolante. Anche se la tecnologia è prodotta dai giganti della Silicon Valley, il potenziale di utilizzare questi tool per sbloccare problemi scientifici reali è universale. Se la matematica diventa un campo di gioco per l’IA, i nuovi teoremi potrebbero arrivare in un formato che anche noi possiamo testare sui nostri cluster (o sul mio vecchio laptop che emette fumo ogni tanto).
Insomma, la sfida non è più solo far parlare le macchine, ma farle pensare in modo rigoroso. Se riusciranno a dominare la logica formale, la partita diventa seria. Preparate i caffè, perché la matematica sta per diventare molto più interessante di una semplice stringa di testo.