Se le Intelligenze Artificiali sono diventate di moda con i Large Language Model come ChatGPT e simili, diverso è per le intelligenze che si cimentano nella risoluzione di problemi matematici dove sino a poco tempo fa non vi erano grandi risultati. Eppure qualcosa sta cambiando grazie a due nuovi sistemi: AlphaProof e AlphaGeometry 2, i due sistemi, lavorando assieme, sono riusciti a risolvere quattro su sei problemi delle Olimpiadi Internazionali di Matematica.  I due sistemi appartengono a Google DeepMind e hanno così raggiunto un ottimo livello, paragonabile ad una medaglia d’argento. I sei problemi sono stati tradotti in linguaggio matematico e sottoposti

Nvidia Corporation, ha annunciato una serie di aggiornamenti alla sua offerta software, volti a semplificare l’utilizzo dell’intelligenza artificiale generativa da parte di un’ampia gamma di aziende. L’azienda produttrice di chip ha rilasciato ufficialmente quelli che chiama NIM, o Nvidia inference micro services, che sono pacchetti software che facilitano l’utilizzo delle IA. L’IA generativa, la tecnologia alla base dei chatbot, del riconoscimento vocale e di altre interazioni umane automatizzate con i computer, spesso richiede l’orchestrazione di numerosi pezzi di hardware, software e recupero di informazioni. Molte aziende non hanno le competenze necessarie, quindi Nvidia sta cercando di farlo per loro, a pagamento. Il