Ai Overview: L’industria dell’intelligenza artificiale attraversa una fase di transizione in cui alle innovazioni teoriche si affiancano stringenti dinamiche di mercato e di regolamentazione. Le recenti comunicazioni di OpenAI evidenziano come i nuovi modelli di calcolo stiano affrontando teoremi matematici rimasti in sospeso per decenni, sebbene i risultati richiedano ancora le formali validazioni da parte della comunità scientifica. Contemporaneamente, lo scenario competitivo globale registra una decisa politica di riduzione dei costi spinta dai colossi asiatici, volta a scalfire il predominio delle aziende statunitensi offrendo architetture a tariffe molto inferiori. A fare da contraltare a queste accelerazioni tecnologiche permangono però rilevanti criticità sul fronte della sicurezza informatica e della gestione dei dati, dalle vulnerabilità dei sistemi di test fino alla generazione di contenuti ingannevoli. Una convergenza di fattori che ha reso strettamente attuale l’entrata in vigore delle prime direttive dell’AI Act europeo, concepite per imporre parametri di trasparenza nello sviluppo e nell’utilizzo quotidiano degli algoritmi.
I risultati matematici di Astra
Duemila dollari di calcolo. Tanto è costato, secondo OpenAI, ottenere nuovi risultati su dieci problemi di matematica e di informatica che gli specialisti non riuscivano a sbloccare da almeno un decennio, in un caso da quasi trent’anni. L’annuncio, diffuso nelle scorse ore, ha rivelato al grande pubblico anche il nome del prossimo modello dell’azienda americana, Astra, che però, per ora, è soltanto ad uso interno (probabilmente è ancora in fase di sviluppo o di test, ma questo possiamo solo intuirlo). Il risultato più chiacchierato riguarda la cosiddetta “soficità dei gruppi”, una questione di teoria dei gruppi aperta dal 1999 e che riguarda quei gruppi infiniti che possono essere “approssimati” da gruppi finiti. Per molto tempo la grande domanda della teoria matematica è stata se tutti i gruppi ammettessero o meno la soficità, non essendo mai stato trovato un esempio concreto di gruppo non sofico, ma adesso sappiamo che è possibile la costruzione di classi di gruppi non sofici. Astra ha poi confutato la congettura di rigidità di Alain Connes, dimostrato quella di Ehrhart sui volumi e ha anche definitivamente risolto tre problemi della celebre lista di Paul Erdős. Oltre ad un volume di 249 pagine, l’azienda ha anche pubblicato per ogni problema risolto un certificato Lean, un programma che controlla uno per uno i passaggi logici di una dimostrazione e accetta soltanto le catene di ragionamento prive di buchi o di passaggi “foschi”.
L’attesa per la validazione scientifica
Tuttavia dobbiamo essere prudenti, perché ancora nessuno dei dieci risultati ha superato la “peer review”, cioè la revisione tra pari, il vaglio con cui la comunità scientifica convalida una scoperta, solo un occhio umano può stabilire se quanto la macchina ha dimostrato corrisponda davvero alla domanda che il problema poneva. Intanto i matematici di tutto il mondo si stanno ponendo una domanda: un lavoro simile potrà un giorno valere una Medaglia Fields? Inoltre un ricercatore di Anthropic, Levent Alpoge, sostiene di aver riprodotto in ventiquattro ore cinque delle dieci dimostrazioni con un proprio modello.
La competizione sui prezzi e il mercato asiatico
Sul fronte industriale la partita continua a giocarsi sui prezzi: ieri Alibaba ha reso disponibile Qwen3.8-Max, modello da 2.400 miliardi di parametri (95 miliardi dei quali attivi a ogni risposta) offerto a 2 e 6 dollari per milione di token (le unità di testo elaborate dai sistemi), circa un quinto della tariffa dei principali rivali statunitensi. La settimana prossima l’azienda cinese pubblicherà i pesi del modello, cioè i parametri che ne costituiscono la memoria, e chiunque potrà scaricarli per eseguire il modello in locale: a Hong Kong il titolo ha guadagnato il 7% in borsa.
Gli allarmi sulla sicurezza e il nuovo quadro normativo
La questione sicurezza non è ancora chiusa. Il 31 luglio, infatti, Reuters ha riferito che OpenAI ha individuato altri casi di agenti (programmi capaci di agire da soli, senza supervisione continua) sfuggiti agli ambienti chiusi in cui erano confinati per i test, dopo l’intrusione ai danni della piattaforma Hugging Face; secondo l’azienda nessuno ha lasciato la rete interna. Apple ha dovuto limitare le segnalazioni di vulnerabilità, sommersa da rapporti inventati dai modelli, e Google ha rinunciato al generatore di immagini dentro Google Earth, dopo che alcuni utenti avevano confezionato false fotografie satellitari credibili. Su questo terreno si muove l’Europa, infatti da appena due giorni (cioè dal 2 agosto) valgono gli obblighi di trasparenza dell’AI Act: chi dialoga con un chatbot deve saperlo, i contenuti prodotti artificialmente vanno etichettati, le violazioni costano fino a 15 milioni di euro o fino al 3% del fatturato. La sana regolamentazione basterà per difenderci dalla spazzatura generata con l’Ai?
