Ai Overview: Lo sviluppo di nuove terapie mediche, la verifica di teoremi matematici complessi e la simulazione di ambienti tridimensionali per la robotica mostrano come i sistemi informatici avanzati vengano impiegati nella ricerca scientifica contemporanea. Con l’acquisizione della società biotecnologica Mithril Medicine da parte di Anthropic, l’assistente virtuale Claude è stato utilizzato da un singolo ricercatore per coordinare undici laboratori esterni nello studio di una cura contro una rara forma di distrofia muscolare congenita, riducendo sensibilmente anche i tempi di redazione della documentazione destinata alle autorità sanitarie. Parallelamente, i progressi tecnologici hanno riguardato la presentazione di Genie 4 di Google DeepMind, capace di generare mondi virtuali interattivi completi di audio, e il lavoro della startup Axiom, che in ventiquattro giorni ha controllato al computer una dimostrazione matematica di quindicimila pagine individuando e risolvendo un errore logico grazie a uno studio del 1976. A queste applicazioni si affiancano le verifiche sull’ipotesi del tempo esponenziale in informatica, nuove dimostrazioni nella fisica quantistica e importanti operazioni finanziarie e industriali che coinvolgono Meta, Nvidia, AMD, Google e Oracle per il potenziamento delle infrastrutture di calcolo.
L’acquisizione di Mithril Medicine e la ricerca sui farmaci con Claude
Anthropic ha acquistato Mithril Medicine, la società biotecnologica di Cody Tranbarger, e ha avviato proprie ricerche sui farmaci, per diciotto mesi Tranbarger è stato l’unico dipendente a tempo pieno della società. Con l’assistenza di Claude, il sistema di intelligenza artificiale di Anthropic, ha gestito contratti ed esperimenti affidati a undici laboratori esterni, sviluppando una possibile terapia per una rara forma di distrofia muscolare congenita, i primi risultati sui topi sono incoraggianti e se saranno confermati, gli studi sull’uomo potrebbero iniziare alla fine del 2028. Tranbarger definisce questo modello «Pipeline-in-a-Person»: una sola persona a coordinare lo sviluppo di una terapia. Inoltre, Anthropic ha presentato i risultati delle collaborazioni con sei imprese del settore: per Enveda, Claude ha scritto in quattro ore la prima bozza di un documento destinato alle autorità sanitarie, un lavoro che senza l’IA richiede circa tre mesi; poi il sistema ha anche individuato sette errori nei registri di produzione non rilevati dai revisori. Gran parte delle ricerche non ha ancora raggiunto la sperimentazione sull’uomo, ma nei documenti per la quotazione in Borsa, Anthropic avverte che queste iniziative potrebbero non generare mai ricavi.
Gli ambienti virtuali di Genie 4 e la verifica dei teoremi matematici
Martedì Google DeepMind ha presentato Genie 4, un sistema che crea ambienti virtuali realistici a partire da una descrizione scritta e consente di esplorarli in tempo reale: per la prima volta genera anche suoni, dai rumori di fondo alla musica, e permette di conversare con i personaggi…tra i possibili impieghi c’è l’addestramento dei robot, durante una dimostrazione, un robot umanoide virtuale ha giocato a dama. L’accesso al sistema è per ora limitato a pochi utenti selezionati. Nello stesso giorno la startup californiana Axiom ha annunciato di aver verificato al computer la dimostrazione del teorema di classificazione dei gruppi semplici finiti. La dimostrazione, la più lunga della storia della matematica, occupa circa 15mila pagine, scritte da un centinaio di studiosi nell’arco di decenni. In 24 giorni, ingegneri e matematici hanno guidato decine di sistemi di IA nella riscrittura dei ragionamenti in Lean, un linguaggio che permette al computer di controllare ogni passaggio logico. La verifica ha confermato il teorema, ma ha anche individuato un’affermazione falsa in un passaggio centrale…il problema è stato risolto ricorrendo a un lavoro del 1976 del matematico Ronald Solomon.
Le congetture informatiche e i risultati nella fisica quantistica
Sempre martedì, Anthropic e OpenAI hanno annunciato, indipendentemente l’una dall’altra, che due loro sistemi di IA avrebbero confutato l’ipotesi del tempo esponenziale, una congettura sui tempi necessari per risolvere determinati problemi al computer: le conclusioni dovranno essere esaminate dagli esperti. Anthropic precisa che il risultato non modifica il modo in cui questi problemi vengono risolti nella pratica e il laboratorio Physical Superintelligence ha inoltre presentato cinque risultati su questioni aperte della fisica quantistica, ottenuti con l’aiuto dell’IA sotto la guida dei propri ricercatori, ciascun risultato è accompagnato da una dimostrazione verificabile al computer.
Gli investimenti nei centri di calcolo e gli accordi sui chip
Sul fronte industriale segnaliamo che Nvidia e AMD hanno investito in Meta rispettivamente tre miliardi e un miliardo di dollari: Meta punta a raccogliere quasi 100 miliardi per finanziare i propri centri di calcolo dedicati all’IA. Google ha firmato un accordo con Oracle: dal 2027 i suoi chip TPU, progettati per l’intelligenza artificiale, saranno disponibili per la prima volta attraverso i servizi cloud di un concorrente. Donald Trump ha infine (nuovamente) annunciato sui social di voler vietare l’espressione «intelligenza artificiale» nei documenti ufficiali e ha dichiarato di preferire il termine «superintelligenza».
