Tech
FunSearch Google DeepMind: aiuta la Ricerca in Matematica e Informatica
Google DeepMind ha introdotto un nuovo metodo chiamato FunSearch, che utilizza Modelli di Linguaggio di Grandi Dimensioni (LLM) per cercare nuove soluzioni in matematica e informatica. Descritto in un articolo pubblicato su Nature, FunSearch è un metodo evolutivo che promuove e sviluppa le idee più promettenti sotto forma di programmi informatici, con un processo di esecuzione e valutazione automatica.
Come Funziona FunSearch
FunSearch utilizza una procedura iterativa. Inizialmente, l’utente scrive una descrizione del problema sotto forma di codice, che comprende una procedura per valutare i programmi e un programma iniziale utilizzato per inizializzare un pool di programmi. Ad ogni iterazione, il sistema seleziona alcuni programmi dal pool corrente, che vengono forniti a un LLM. Il LLM costruisce creativamente su questi e genera nuovi programmi, che vengono valutati automaticamente. I migliori vengono aggiunti di nuovo al pool di programmi esistenti, creando un ciclo di auto-miglioramento. FunSearch utilizza Google’s PaLM 2, ma è compatibile con altri LLM addestrati su codice.
Scoperta di Nuove Conoscenze Matematiche
Scoprire nuove conoscenze matematiche e algoritmi in diversi domini è notoriamente difficile e spesso oltre le capacità dei sistemi AI più avanzati. FunSearch genera programmi che descrivono come sono state raggiunte tali soluzioni, adottando un approccio di “mostra il tuo lavoro” tipico dei metodi scientifici. FunSearch favorisce la ricerca di soluzioni rappresentate da programmi altamente compatti, consentendo di scalare il metodo.
FunSearch e il Problema del Bin Packing
Per testare la sua versatilità, i ricercatori hanno utilizzato FunSearch per affrontare un altro problema difficile in matematica: il problema del bin packing. FunSearch fornisce una soluzione per questo problema, generando un programma che “si adatta automaticamente in base al volume esistente dell’oggetto”.
FunSearch e Problemi Ispirati ai Set
Il sistema AI FunSearch ha fatto progressi sui problemi ispirati ai set in combinatoria, un campo della matematica che studia come contare le possibili disposizioni di insiemi. FunSearch crea automaticamente richieste per un LLM appositamente addestrato, chiedendogli di scrivere brevi programmi informatici che possono generare soluzioni per uno scenario specifico.
Implicazioni per il Futuro dell’Interazione Uomo-Macchina
FunSearch suggerisce prospettive entusiasmanti per il futuro dell’interazione uomo-macchina in matematica. Invece di generare una soluzione, FunSearch genera un programma che trova la soluzione, fornendo intuizioni su come risolvere altri problemi correlati.
Smartphone
Aggiornamento One UI 6.1 per Galaxy S21, S22 e vecchi pieghevoli
Tempo di lettura: < 1 minuto. One UI 6.1 arriva anche sui dispositivi Galaxy S21 ed S22 aprendo le porte dell’AI a versioni vecchie anche dei pieghevoli
Samsung ha iniziato a distribuire l’aggiornamento One UI 6.1 ad alcuni dispositivi della sua gamma Galaxy, inclusi i telefoni delle serie S21 e S22 e i foldable precedenti alla linea Z Fold 4. L’aggiornamento porta diverse nuove funzionalità e miglioramenti, sebbene alcuni modelli ricevano un set di funzionalità ridotto rispetto ad altri.
Funzionalità principali di One UI 6.1
L’aggiornamento One UI 6.1 si basa su Android 12L e introduce diverse nuove funzionalità, tra cui:
La funzionalità “Circle to search” consente agli utenti di cercare rapidamente informazioni su qualsiasi elemento sullo schermo disegnando un cerchio attorno ad esso. Funzionalità Cerca cerchio: cerca funzionalità simili
Una barra delle applicazioni rinnovata che semplifica l’organizzazione e l’accesso alle app.
La palette dei colori Material You offre una maggiore personalizzazione dell’interfaccia utente.
Miglioramenti alle app preinstallate di Samsung, come Galleria, Samsung Notes e Bixby.
Differenze nell’aggiornamento per dispositivi diversi
È importante notare che non tutti i dispositivi riceveranno l’intero set di funzionalità di One UI 6.1. Ad esempio, la serie Galaxy S21 e il Galaxy Z Flip 3 non ricevono la funzione “Cerca cerchio”. Samsung non ha ancora fornito un elenco completo delle differenze tra le implementazioni di One UI 6.1 su dispositivi diversi.
Disponibilità dell’aggiornamento
L’aggiornamento One UI 6.1 su S21, su Amazon, S22 ed altri pieghevoli è attualmente in fase di rollout graduale. La disponibilità varia a seconda del dispositivo, del mercato e del carrier. Gli utenti possono verificare la disponibilità dell’aggiornamento nelle impostazioni del proprio dispositivo.
Smartphone
Smontaggio Huawei Pura 70 Pro: piccole differenze rispetto all’Ultra
Tempo di lettura: 2 minuti. Scopri le differenze chiave e le specifiche tecniche rivelate nello smontaggio del Huawei Pura 70 Pro rispetto all’Ultra.
Con l’introduzione della serie Pura 70 di Huawei sui mercati globali, è emerso uno smontaggio interessante che mette a confronto i modelli Pura 70 Pro e Pura 70 Ultra. Il canale YouTube popolare WekiHome ha condotto l’analisi dettagliata, scoprendo che i due modelli presentano un’architettura interna molto simile, con solo alcune piccole differenze.
Differenze Chiave
Una delle modifiche significative apportate nel modello Pro riguarda la posizione delle lenti della fotocamera principale e del teleobiettivo. Questa modifica è stata fatta perché il sensore non richiede tanto spazio. Altre somiglianze includono NFC, la bobina wireless e il film di dissipazione del calore, che sono quasi identici nei due modelli. Tuttavia, il cavo del flash è stato riposizionato tra i sensori principale e teleobiettivo.
Caratteristiche del Sensore
Il Pura 70 Pro è dotato di un sensore OmniVision 50H da 50 MP, che misura 1/1.3 pollici. Presenta una lente retrattile a sei pannelli con un’apertura che varia da f/1.4 a f/4.0, e durante l’esperienza pratica sono stati scoperti nove diversi passaggi di apertura.
Design della Scheda Madre
La scheda madre del Pura 70 Pro è progettata con una doppia pila e è quasi identica a quella dell’Ultra. Per il Pro, Huawei ha scelto una lega di rame per il VC (Vapor Chamber) anziché i materiali compositi utilizzati nell’Ultra, rendendo la camera del vapore due volte più pesante.
Materiali e Prezzo
Inoltre, il Pura 70 Pro presenta un pannello posteriore in vetro invece di pelle sintetica, risultando in un peso leggermente inferiore. Il Pura 70 Pro è disponibile in Europa al prezzo di 1.199 euro per la versione da 12 GB + 512 GB. I compratori possono scegliere tra le varianti di colore Bianco e Nero, poiché la variante Viola non sarà disponibile in Europa.
Questo smontaggio rivela che, nonostante le somiglianze generali, ci sono alcune differenze considerabili che distinguono il Pura 70 Pro dall’Ultra, principalmente nella disposizione interna e nei materiali utilizzati, offrendo agli utenti opzioni leggermente diverse a seconda delle loro preferenze.
Smartphone
LibreOffice 24.2.3 rilasciato: correzioni e stabilità migliorate
Tempo di lettura: < 1 minuto. Scopri LibreOffice 24.2.3 con 79 correzioni per migliorare stabilità e affidabilità. Aggiorna ora alla nuova versione
LibreOffice 24.2.3 è ora disponibile, rappresentando il terzo aggiornamento della serie LibreOffice 24.2. Questo aggiornamento apporta un significativo miglioramento alla stabilità e affidabilità del software, risolvendo oltre 79 bug segnalati dagli utenti. Questo rilascio segue il precedente aggiornamento 24.2.2, che aveva già introdotto correzioni a più di 70 bug.
Dettagli del rilascio
LibreOffice 24.2.3 si concentra principalmente sulla risoluzione di problemi che causavano crash e altri inconvenienti, aumentando così la stabilità generale della suite. Gli utenti possono consultare i dettagli sui bug risolti nei changelog di RC1 e RC2 disponibili sul sito della Document Foundation.
Download e installazione
Le nuove versioni binarie per distribuzioni GNU/Linux basate su DEB e RPM sono scaricabili direttamente dal sito ufficiale di LibreOffice. Gli utenti che hanno installato LibreOffice 24.2 dalle repository del proprio sistema operativo GNU/Linux dovranno attendere l’arrivo dell’aggiornamento 24.2.3 in queste repository per eseguire un normale aggiornamento del sistema.
Supporto e prossimi passi
LibreOffice 24.2 sarà supportato con aggiornamenti di manutenzione fino al 30 novembre 2024. Il prossimo aggiornamento, LibreOffice 24.2.4, è previsto per i primi di giugno 2024. Tutti gli utenti di LibreOffice 24.2 sono incoraggiati ad aggiornare alla nuova release appena possibile per garantire la migliore esperienza utente e sicurezza.
Note per le imprese
La Document Foundation ricorda che questa è l’edizione “Community” di LibreOffice, supportata da volontari. Per implementazioni di classe enterprise, si consigliano le applicazioni della famiglia LibreOffice Enterprise disponibili tramite i partner dell’ecosistema.
Questo aggiornamento sottolinea l’impegno continuo di LibreOffice nel migliorare e stabilizzare la sua suite di produttività, rendendola sempre più affidabile per utenti privati e aziendali.
- Editoriali2 settimane fa
Università, Israele e licenziamenti BigTech
- Robotica2 settimane fa
Atlas di Boston Dynamics non è morto
- Editoriali2 settimane fa
MITRE vittima di zero day Ivanti: anche i migliori le prendono
- Inchieste1 settimana fa
Mercato ITC in Italia nel 2024: numeri e crescita vertiginosa rispetto al paese
- Inchieste1 settimana fa
Managed Service Providers in Italia: numeri di un mercato in crescita
- Inchieste1 settimana fa
Cloud Italiano qual è il Trend del 2024? Aziende e servizi disponibili
- Inchieste1 settimana fa
Cloud Provider Italiani: quali sono le caratteristiche preferite dagli specialisti IT?
- Cyber Security1 settimana fa
Vulnerabilità critiche nel software Cisco: dettagli e soluzioni