Costruzione Capannoni in Acciaio Villanovaforru

Il 8 aprile 2005, si sono tenuti i funerali di Papa Giovanni Paolo II, presso la Basilica di San Pietro in Vaticano. Oltre 250.000 persone erano presenti in Piazza San Pietro per rendere omaggio al pontefice defunto. Il corteo funebre è partito dal Vaticano e si è snodato per le strade di Roma, permettendo a migliaia di fedeli di salutare per l’ultima volta il Papa.

I funerali di Papa Giovanni Paolo II sono stati uno degli eventi più seguiti nella storia recente, con milioni di persone in tutto il mondo che hanno seguito la cerimonia in televisione o attraverso i mezzi di comunicazione. Il pontificato di Giovanni Paolo II è stato uno dei più lunghi della storia della Chiesa cattolica, durato quasi 27 anni.

Dopo i funerali, il corpo di Papa Giovanni Paolo II è stato sepolto nella cripta della Basilica di San Pietro, dove giace accanto ad altri pontefici defunti. La sua figura è stata amata e rispettata in tutto il mondo, per il suo impegno a favore della pace, della giustizia sociale e dei diritti umani.

La presenza di così tante persone ai funerali di Papa Giovanni Paolo II è stata un segno del profondo affetto e della stima che il pontefice ha suscitato nel corso della sua vita. Il suo ricordo rimarrà vivo nei cuori di milioni di fedeli in tutto il mondo.

Nuovo Modello di Intelligenza Artificiale Avanza il “Problema dei Baci” e Altro

C’è un concetto matematico chiamato il numero di contatto. Un po’ deludente, non ha nulla a che fare con i baci veri. Enumera quanti sfere possono toccare (o “baciare”) una singola sfera di dimensioni uguali senza attraversarla. In una dimensione, il numero di contatto è 2. In due dimensioni, è 6 (pensa alla configurazione del puzzle di The New York Times del bee spelling). Man mano che il numero di dimensioni cresce, la risposta diventa meno ovvia: per la maggior parte delle dimensionalità oltre 4, sono noti solo limiti superiori e inferiori sul numero di contatto. Ora, un agente di intelligenza artificiale sviluppato da Google DeepMind chiamato AlphaEvolve ha dato il suo contributo al problema, aumentando il limite inferiore sul numero di contatto in 11 dimensioni da 592 a 593.

Questo potrebbe sembrare un miglioramento incrementale del problema, specialmente considerando che il limite superiore sul numero di contatto in 11 dimensioni è 868, quindi l’intervallo sconosciuto è ancora piuttosto ampio. Ma rappresenta una nuova scoperta matematica da parte di un agente di intelligenza artificiale e mette in discussione l’idea che i grandi modelli linguistici non siano capaci di contributi scientifici originali.

E questo è solo un esempio di ciò che AlphaEvolve ha realizzato. “Abbiamo applicato AlphaEvolve a una serie di problemi aperti nella matematica della ricerca, e abbiamo scelto deliberatamente problemi da diverse parti della matematica: analisi, combinatoria, geometria”, dice Matej Balog, un ricercatore di DeepMind che ha lavorato al progetto. Hanno scoperto che per il 75 percento dei problemi, il modello di intelligenza artificiale ha replicato la soluzione ottimale già conosciuta. Nel 20 percento dei casi, ha trovato un nuovo ottimo che superava qualsiasi soluzione conosciuta. “Ogni singolo caso del genere è una nuova scoperta”, dice Balog. (Nei restanti 5 percento dei casi, l’intelligenza artificiale ha convergito su una soluzione peggiore rispetto a quella ottimale conosciuta).

Il modello ha anche sviluppato un nuovo algoritmo per la moltiplicazione di matrici, l’operazione alla base di gran parte dell’apprendimento automatico. Una versione precedente del modello di intelligenza artificiale di DeepMind, chiamata AlphaTensor, aveva già superato il precedente algoritmo migliore conosciuto, scoperto nel 1969, per la moltiplicazione di matrici 4×4. AlphaEvolve ha trovato una versione più generale di quell’algoritmo migliorato.

Il modello AlphaEvolve di DeepMind ha apportato miglioramenti a diversi problemi pratici presso Google.Google DeepMind

Oltre alla matematica astratta, il team ha applicato il loro modello a problemi pratici che Google come azienda affronta ogni giorno. L’intelligenza artificiale è stata utilizzata anche per ottimizzare l’orchestrazione dei data center per ottenere un miglioramento del 1 percento, per ottimizzare il design della prossima unità di elaborazione tensoriale di Google e per scoprire un miglioramento a un kernel utilizzato nella formazione di Gemini che ha portato a una riduzione del 1 percento del tempo di formazione.

“È molto sorprendente che si possano fare così tante cose diverse con un unico sistema”, dice Alexander Novikov, un ricercatore senior di DeepMind che ha anche lavorato su AlphaEvolve.

Come Funziona AlphaEvolve

AlphaEvolve è così generale perché può essere applicato a quasi ogni problema che può essere espresso come codice e che può essere verificato da un altro pezzo di codice. L’utente fornisce un primo tentativo del problema, un programma che risolve il problema in questione, anche se in modo subottimale, e un programma verificatore che controlla quanto bene un pezzo di codice soddisfa i criteri richiesti.

Successivamente, un grande modello linguistico, in questo caso Gemini, propone altri programmi candidati per risolvere lo stesso problema, e ognuno viene testato dal verificatore. Da lì, AlphaEvolve utilizza un algoritmo genetico in modo che i “più adatti” delle soluzioni proposte sopravvivano ed evolvano alla generazione successiva. Questo processo si ripete finché le soluzioni smettono di migliorare.

AlphaEvolve utilizza un insieme di grandi modelli linguistici Gemini in congiunzione con un codice di valutazione, il tutto orchestrato da un algoritmo genetico per ottimizzare un pezzo di codice.Google DeepMind

“I grandi modelli linguistici sono arrivati, e abbiamo iniziato a chiederci se è il caso che aggiungano solo ciò che è nei dati di addestramento, o se possiamo effettivamente usarli per scoprire qualcosa di completamente nuovo, nuovi algoritmi o nuove conoscenze”, dice Balog. Questa ricerca, sostiene Balog, dimostra che “se si utilizzano i grandi modelli linguistici nel modo giusto, allora si può, in un senso molto preciso, ottenere qualcosa di provabilmente nuovo e provabilmente corretto sotto forma di un algoritmo.”

AlphaEvolve proviene da una lunga linea di modelli di DeepMind, risalendo ad AlphaZero, che ha stupito il mondo imparando a giocare a scacchi, Go e altri giochi meglio di qualsiasi giocatore umano senza utilizzare alcuna conoscenza umana, solo giocando e utilizzando il reinforcement learning per padroneggiarlo. Un’altra intelligenza artificiale risolutrice di problemi matematici basata sul reinforcement learning, AlphaProof, ha ottenuto un risultato di medaglia d’argento alla Olimpiade Internazionale di Matematica 2024.

Tuttavia, per AlphaEvolve, il team si è discostato dalla tradizione del reinforcement learning a favore dell’algoritmo genetico. “Il sistema è molto più semplice”, dice Balog. “E questo ha conseguenze, è molto più facile da configurare su una vasta gamma di problemi.”

Il (Assolutamente Non Spaventoso) Futuro

Il team dietro AlphaEvolve spera di evolvere il loro sistema in due modi.

Prima di tutto, vogliono applicarlo a una gamma più ampia di problemi, inclusi quelli nelle scienze naturali. Per perseguire questo obiettivo, stanno pianificando di aprire un programma di accesso anticipato per accademici interessati a utilizzare AlphaEvolve nella loro ricerca. Potrebbe essere più difficile adattare il sistema alle scienze naturali, poiché la verifica delle soluzioni proposte potrebbe essere meno diretta. Ma, dice Balog, “Sappiamo che nelle scienze naturali ci sono molti simulatori per diversi tipi di problemi, e quindi quelli possono essere utilizzati anche all’interno di AlphaEvolve. E siamo, in futuro, molto interessati ad ampliare il campo in questa direzione.”

In secondo luogo, vogliono migliorare il sistema stesso, forse accoppiandolo con un altro progetto di DeepMind: il coscientista di intelligenza artificiale. Questa intelligenza artificiale utilizza anche un LLM e un algoritmo genetico, ma si concentra sulla generazione di ipotesi in linguaggio naturale. “Sviluppano queste idee e ipotesi di alto livello”, dice Balog. “Incorporare questo componente in sistemi simili ad AlphaEvolve, credo, ci permetterà di raggiungere livelli più elevati di astrazione.”

Queste prospettive sono entusiasmanti, ma per alcuni potrebbero anche sembrare minacciose: ad esempio, l’ottimizzazione di AlphaEvolve della formazione di Gemini potrebbe essere vista come l’inizio di un’intelligenza artificiale che si auto-migliora in modo ricorsivo, il che alcuni temono potrebbe portare a un’esplosione di intelligenza incontrollata nota come la singolarità. Il team di DeepMind sostiene che non è questo il loro obiettivo, ovviamente. “Siamo entusiasti di contribuire all’avanzamento dell’intelligenza artificiale a vantaggio dell’umanità”, dice Novikov.

Mace, una delle principali società di consulenza e costruzioni nel Regno Unito, ha recentemente annunciato la nomina di Gary Sweeney come direttore del settore consulenza sanitaria, scienze della vita e tecnologia in Europa. Sweeney, con una vasta esperienza nel settore delle costruzioni e delle infrastrutture, porterà le sue competenze e conoscenze per guidare e sviluppare le attività di Mace in questi settori chiave.

Prima di unirsi a Mace, Sweeney ha ricoperto ruoli di leadership presso altre importanti società del settore, tra cui ISG, dove ha acquisito una solida esperienza nella gestione di progetti complessi e nel coordinamento di team multidisciplinari. La sua nomina riflette l’impegno di Mace nel continuare a crescere e ad espandersi nel mercato europeo, offrendo soluzioni innovative e sostenibili nel settore della salute, delle scienze della vita e della tecnologia.

Questa decisione strategica di Mace è stata accolta con entusiasmo dagli esperti del settore, che vedono in Sweeney una figura chiave per guidare l’azienda verso nuove opportunità di business e per consolidare la sua presenza in Europa. Con la sua leadership e la sua esperienza, ci si aspetta che Mace continuerà a essere un punto di riferimento nel settore della consulenza sanitaria e delle scienze della vita, contribuendo alla realizzazione di progetti di successo e all’innovazione nel settore tecnologico.

Per ulteriori dettagli sull’annuncio di Mace e sulla nomina di Gary Sweeney, si può consultare l’articolo completo su The Construction Index.

Nixon Hire, un’azienda leader nel settore dell’edilizia e dell’industria, ha recentemente annunciato la nomina di John Whitlow come chief information officer. Questa decisione strategica è stata presa per potenziare ulteriormente la presenza digitale dell’azienda e migliorare l’efficienza dei processi interni.John Whitlow porta con sé una vasta esperienza nel campo dell’informatica e della tecnologia dell’informazione, avendo lavorato in precedenza in ruoli chiave presso altre aziende di successo. Il suo obiettivo principale in Nixon Hire sarà quello di guidare l’implementazione di nuove tecnologie e sistemi informatici per ottimizzare le operazioni aziendali e migliorare l’esperienza complessiva dei clienti.Questa nomina è stata accolta con entusiasmo all’interno dell’azienda e si prevede che porterà a significativi miglioramenti in termini di efficienza operativa e innovazione tecnologica. Per ulteriori dettagli sull’annuncio, è possibile leggere l’articolo completo su The Construction Index.

La ditta Apex Contractors ha recentemente avviato i lavori per la costruzione di una moderna casa di riposo per anziani a Chatham Waters, nel Kent. Questa struttura sarà progettata per offrire un ambiente confortevole e sicuro per gli anziani che necessitano di assistenza e cure specializzate.La casa di riposo Chatham Waters sarà dotata di moderne infrastrutture e servizi, tra cui camere individuali, aree comuni per attività ricreative, spazi verdi e aree esterne accessibili. Sarà inoltre garantita l’assistenza medica e infermieristica continua, al fine di garantire il benessere e la salute degli ospiti.L’inizio dei lavori per questa casa di riposo rappresenta un importante passo avanti nella promozione del benessere degli anziani nella comunità locale. La struttura sarà in grado di accogliere un numero significativo di anziani e offrirà servizi di alta qualità per garantire loro una vita dignitosa e confortevole.Per ulteriori dettagli sull’avvio dei lavori per la casa di riposo Chatham Waters, si può consultare l’articolo completo su The Construction Index al seguente link: https://www.theconstructionindex.co.uk/news/view/chatham-waters-care-homes-starts.