Una versione interna ha prodotto dieci risultati in matematica e informatica teorica su problemi fermi da decenni, dalla congettura di rigidità di Connes ai limiti sull’impacchettamento di sfere. Ogni dimostrazione è stata certificata in Lean
Ultime Notizie Tecnologiche
- Anthropic li chiama virus mentali: passano da un agente IA all'altro e cancellano i file Agosto 19, 2026Un preprint di Anthropic ed EPFL mostra payload autoreplicanti che passano da un agente all'altro riscrivendo il file di personalità che sopravvive al reset. Quattro carichi distruttivi reggono venti salti, ma un avviso nel prompt basterebbe a fermarli
- Claude ora invia email da Gmail senza chiedere conferma ogni volta Agosto 19, 2026Il connettore per Google Workspace guadagna l'invio: Claude redige e spedisce risposte e inoltri direttamente da Gmail. L'approvazione preventiva resta predefinita, ma può essere disattivata; su Team ed Enterprise la scelta spetta ai proprietari
- Nuova rimodulazione per i clienti TIM: fino a 4 euro in più al mese per le offerte TIMVISION Agosto 19, 2026TIM ha annunciato una nuova rimodulazione con un rincaro riservato ai clienti che hanno attivato un'offerta TIMVISION in versione mobile: ecco tutti i dettagli in merito
- Clausola energetica UE: via libera a pompe di calore, fotovoltaico e nucleare, porta chiusa per benzina e diesel Agosto 19, 2026La Commissione europea ha pubblicato le linee guida sulla clausola energetica, la deroga al Patto di Stabilità che libera fino a 14 miliardi di euro per l'Italia in investimenti su pompe di calore, fotovoltaico e nucleare
- OpenAI, stop all'addestramento più grande: il modello evaso a luglio non era sorvegliato e l'azienda ne aveva sottovalutato le capacità Agosto 19, 2026Il monitoraggio a livello di token costa circa il 20% del calcolo di ogni sessione osservata, con allerta entro trenta minuti. Resta sospeso l'addestramento di frontiera più grande in programma, e il presidente ammette che le capacità cyber erano state sottovalutate.
- La robotica umanoide cinese sbarca in Borsa: Unitree al debutto vale già 50 miliardi di dollari Agosto 19, 2026La robotica umanoide è una delle scommesse più aggressive della Physical AI. Unitree arriva in Borsa con volumi già industriali, prezzi bassi e una filiera cinese difficile da replicare
- I Google Pixel utilizzeranno l'IA per monitorare l'uso della batteria e aumentare l'autonomia Agosto 19, 2026Google sta lavorando a uno strumento IA, basato su Gemini Nano, per monitorare l'uso della batteria da parte delle app degli smartphone Pixel. L'IA offrirà anche suggerimenti personalizzati
- Sony annuncia la data d'uscita delle Pulse Elevate: le nuove casse wireless per il gaming su PlayStation e non solo Agosto 19, 2026Le Sony Pulse Elevate arriveranno il 12 novembre. Le casse wireless saranno compatibili con PS5, PlayStation Portal, PC e Mac e offriranno driver magnetici planari, microfono integrato, tecnologia PlayStation Link e basi di ricarica
- Nothing Ear (3) a 119€: gli auricolari con Super Mic nella custodia e ANC a 45dB, super ribasso di prezzo su Amazon Agosto 19, 2026Nothing Ear (3) scendono a 119€ su Amazon: audio Hi-Res con LDAC, cancellazione adattiva del rumore fino a 45dB e il Super Mic integrato nella custodia per chiamate cristalline. Ecco tutte le specifiche tecniche di uno degli auricolari più originali del 2026
- Roborock Qrevo Curv 2 Flow a 499€ e Saros 20 a 999€: rullo rotante e 36.000 Pa, i due robot lavapavimenti crollano di prezzo su Amazon Agosto 19, 2026Doppia offerta Amazon sui robot aspirapolvere Roborock: Qrevo Curv 2 Flow con rullo SpiraFlow scende a 499€, mentre il flagship Saros 20 con aspirazione da 36.000 Pa e altezza di 7,95 cm arriva a 999€. Ecco tutte le specifiche tecniche e i dettagli delle due offerte