Tutti gli articoli

Lech Mazur ha annunciato una dimostrazione assistita dall'IA e verificata con Lean della congettura di Sendov, un problema di 67 anni che aveva resistito a un'argomentazione completa fino ad agosto 2026. L'affermazione si è presentata con un conflitto insolito al suo interno. Una dimostrazione controllata da una macchina offre garanzie logiche più solide di una bozza ordinaria, ma i matematici devono comunque esaminare ciò che la macchina ha effettivamente verificato. Terence

Secondo quanto riportato, il proposto data center di OpenAI in Ohio ha perso più della metà del sostegno finanziario precedentemente discusso con Nvidia. Il cambiamento sostituisce una straordinaria garanzia aziendale con un modello di finanziamento più ampio, basato su Wall Street. Espone inoltre il vero vincolo per la prossima generazione di sistemi AI: non solo i chip, ma anche credito, energia e domanda dei clienti nel lungo periodo. Secondo quanto riferito, le trattative

SpaceX ha accettato di acquisire Cursor per 60 miliardi di dollari, trasformando la criptica frase di ricerca “600 vibe” in una delle più grandi scommesse di Elon Musk sull’AI. L’operazione interamente in azioni punta a un mercato in cui Grok di Musk è rimasto indietro rispetto ai prodotti specializzati per la programmazione di Anthropic e OpenAI. L’annuncio alla base non è nuovo al 15 agosto. SpaceX ha reso noto l’accordo il 16 giugno 2026, dopo una partnership di aprile che

DJI ha ottenuto una parziale svolta legale il 14 agosto 2026, dopo aver trascorso quasi quattro anni in una blacklist del Pentagono. La sentenza rappresenta una notizia tecnologica significativa perché la corte d’appello ha respinto una parte fondamentale della vittoria legale del governo. Tuttavia, non ha rimosso DJI dalla lista. La Corte d’Appello degli Stati Uniti per il Circuito del Distretto di Columbia ha rinviato al tribunale di grado inferiore una valutazione contesta

L'SST è entrato in una fase decisiva di commercializzazione nel 2026, dopo aver trascorso decenni come concetto da laboratorio con una diffusione limitata oltre i progetti dimostrativi. Il catalizzatore immediato non è una singola scoperta tecnica. È la prevista transizione dell'industria AI verso rack di calcolo su scala megawatt e distribuzione di potenza in corrente continua a 800 volt. Un'analisi di mercato cinese sui trasformatori a stato solido è entrata nella lista dei

DeepSeek pro è entrato in disponibilità generale il 13 agosto, ma il suo comportamento più convincente segnalato è emerso solo dopo che gli utenti hanno ricreato una configurazione di agenti insolitamente specifica. Quella configurazione è il preset Minimal in DeepSeek Harness, il runtime appena rilasciato dall’azienda per agenti AI che usano strumenti. I test della community sostengono che il preset trasformi un modello di coding incoerente in qualcosa di molto più vicino al

Cordiverse Cordis ha raggiunto la vetta di una lista calda di GitHub Trending il 15 agosto, pur restando una release candidate instabile. La classifica era un'istantanea, non il lancio di un prodotto né un risultato prestazionale verificato in modo indipendente. Il momento resta comunque rilevante perché DeepSeek aveva appena presentato Cordis come fondamento del suo nuovo harness open source per agenti. L'evento alla base è iniziato il 13 agosto. DeepSeek ha rilasciato il pr

Secondo quanto riportato, gli sviluppatori cinesi acquistano accesso ai token per lavorare, ma resta non verificata l'affermazione virale secondo cui debbano pagare per proteggere il proprio posto di lavoro. L'accusa è approdata su Zhihu entro il 15 agosto 2026. Descriveva programmatori che pagavano ogni mese per l'uso dell'AI al fine di restare occupabili, una pratica presentata come il dover pagare per lavorare. La pagina non identificava alcuno sviluppatore, datore di lavo

Secondo quanto riportato, Anthropic ha generato oltre 11,5 miliardi di dollari di ricavi nel secondo trimestre, almeno 14 volte il risultato dell'anno precedente. La tendenza di ricerca “Anthropic 115 billion” riflette questa cifra sorprendente, anche se la parola chiave omette il separatore decimale che ne cambia il significato. Il numero riportato è di 11,5 miliardi di dollari, non di 115 miliardi. Il risultato preliminare è apparso in documenti finanziari mostrati a potenz

HKUDS CLI-Anything ha raggiunto il 12° posto in una lista calda di GitHub Trending il 15 agosto, pur non essendo un nuovo lancio. Il progetto hkuds cli evolve da mesi e la sua ultima release contrassegnata è arrivata il 25 giugno. La rinnovata visibilità riflette una competizione più ampia su come gli agenti AI dovrebbero controllare il software. La maggior parte degli agenti per l'uso del computer segue interfacce progettate per le persone. Ispezionano screenshot, individuan

La Cina ha inserito una rete di comunicazioni integrata spazio-aria-terra-mare nella propria agenda nazionale per le infrastrutture, avviando una corsa per connettere i luoghi che le torri terrestri non possono raggiungere. L'idea è tornata nel ciclo delle notizie tecnologiche cinesi il 15 agosto, dopo essere comparsa vicino alla vetta della lista delle tendenze di Douyin. Eppure, la formulazione virale suggerisce una rete già completata, mentre le dichiarazioni ufficiali des

Steve Jurvetson è apparso in un titolo di Google News su un nuovo investimento nell’energia per l’AI, ma l’annuncio di finanziamento verificato indica invece DFJ Growth. La distinzione conta perché l’azienda in questione, Ambrosia Energy, sta portando avanti un’idea infrastrutturale seria. Vuole costruire impianti solari e di accumulo a batterie per data center entro 12 mesi. Tuttavia, né Ambrosia né DFJ Growth identificano Jurvetson come l’investitore dietro questa operazion

Zscaler è entrata su Google News con un contrasto allettante: le sue azioni potrebbero essere scambiate al 5% sotto il fair value mentre la spesa delle imprese per la sicurezza AI si espande. L'affermazione merita attenzione, ma non perché il 5% rappresenti un margine di sicurezza decisivo. Conta perché Zscaler dispone ora di una domanda misurabile legata all'AI, accanto a un costoso problema di esecuzione. L'azienda ha riportato una solida crescita nel terzo trimestre fiscal

Novosense è approdata su Google News con due affermazioni collegate: i suoi prodotti GaN puntano all’alimentazione dei server AI, mentre isolatori più ampi sono destinati a sistemi ad alta tensione fino a 1.500 volt. L’abbinamento appare tempestivo, perché i rack AI stanno costringendo i progettisti di alimentatori a riconsiderare tensione, stadi di conversione, densità dei componenti e sicurezza elettrica. Tuttavia, i prodotti occupano parti diverse di questa transizione e n

Google News ha riportato all’attenzione un saggio di TIME imperniato su un netto conflitto: l’IA medica continua a migliorare, eppure non è ancora in grado di prendersi davvero cura delle persone. Il saggio mette in discussione la previsione ormai familiare secondo cui macchine più intelligenti sostituiranno semplicemente i medici. Le evidenze cliniche sostengono sempre più un futuro più complesso. L’IA può identificare schemi, riassumere cartelle cliniche, raccomandare esami

Google News ha segnalato una rubrica di TribLIVE sull'AI per l'assistenza sanitaria personale, accostando una promessa ormai familiare a un conflitto irrisolto: ottenere informazioni più rapidamente non garantisce cure migliori. Il titolo, “In a Heartbeat: Navigating the intersection of AI and personal healthcare,” richiama una categoria in crescita di strumenti per i consumatori. Dispositivi indossabili, app per la salute e assistenti conversazionali possono ora interpretare

Il 10 agosto OpenAI ha ampliato Daybreak, introducendo due percorsi di accesso e un modello specializzato che, secondo quanto riportato, ha completato il 95 percento delle richieste cyber avanzate. L'annuncio ha portato GPT-5.6-Cyber nella copertura di Google News perché riduce deliberatamente le restrizioni per i ricercatori di sicurezza approvati. Questa decisione crea il conflitto centrale. Le protezioni che ostacolano gli hacker malevoli possono anche ostacolare i difenso

SK hynix è approdata su google news con una notizia su un presunto payout agli azionisti da 144 miliardi di dollari, pur non avendo annunciato alcun pacchetto di tali dimensioni. L'attenzione arriva in un momento di brusco cambiamento nel sentiment degli investitori. I profitti record nelle memorie per l'AI non bastano più a spingere il titolo al rialzo. La cifra riportata riflette le aspettative su potenziali restituzioni di capitale per circa 200 trilioni di won. Tuttavia,

Manus è tornata su Google News dopo che, secondo quanto riferito, la Cina si è preparata a revocare le restrizioni di viaggio a due fondatori, cinque mesi dopo aver imposto loro di rimanere nel Paese. Il report del Financial Times riguarda il CEO di Manus Xiao Hong e il responsabile scientifico Ji Yichao. Secondo le notizie, funzionari cinesi ne hanno limitato la partenza durante l'esame dell'acquisizione della società di agenti AI da parte di Meta. Il cambiamento riportato n

Sam Altman vuole data center che contribuiscano a creare altri data center, un contrasto nascosto sotto un incisivo titolo di google news su carriere e automazione. Il CEO di OpenAI sta descrivendo qualcosa di più di robot che assemblano rack di server. La sua visione è un sistema industriale autoalimentato. L'AI migliorerebbe la robotica, i robot amplierebbero l'infrastruttura di calcolo e tale infrastruttura addestrerebbe sistemi di AI più capaci. Questo ciclo contrapporreb