13 ottobre 2026 —
I problemi di Erdős di AlphaProof Nexus arrivano alla peer review, ma nove su 353 è la vera storia
Questa edizione segue il modo in cui l’AI entra nelle decisioni reali su ricerca, prodotti e infrastruttura. Conserviamo i link HTTPS originali delle fonti completate e separiamo i fatti riportati dagli effetti ancora da verificare nell’implementazione.
I problemi di Erdős di AlphaProof Nexus arrivano alla peer review, ma nove su 353 è la vera storia
I problemi di Erdős di AlphaProof Nexus sono arrivati alla peer review dopo che ne sono stati risolti nove su 353, rivelando i progressi e i limiti residui della ricerca di prove formali con l'AI in Science
L'accordo tra Chai Discovery e GSK segna una rapida espansione nel settore farmaceutico, ma la prova clinica deve ancora arrivare
L'accordo tra Chai Discovery e GSK segue una positiva valutazione di laboratorio, portando a sei i principali partner farmaceutici della startup, mentre l'impatto clinico resta da dimostrare
La decompilazione IA di Modern Warfare 2 ha funzionato solo dopo che gli agenti hanno provato a barare
La decompilazione IA di Modern Warfare 2 ha raggiunto il 99% di copertura delle funzioni, ma rigorosi test a livello di byte hanno mostrato perché il codice leggibile scritto dagli agenti non bastava
I test sui modelli AI nel Regno Unito tornano prima del rilascio dopo un dietrofront della Casa Bianca
I test sui modelli AI nel Regno Unito tornano prima dei principali rilasci, ribaltando una restrizione statunitense e riaprendo interrogativi su sicurezza, accesso e controllo nazionale
QGIS vieta i contributi assistiti dall'IA, chiudendo la porta dopo il fallimento della sua prima policy
QGIS vieta i contributi assistiti dall'IA dopo che i manutentori hanno respinto la maggior parte delle patch etichettate, evidenziando una crescente divisione su costi di revisione, fiducia e proprietà del codice
Nvidia NemotronLabs VoiceChat è open, ma non è pronto per la produzione
Nvidia NemotronLabs VoiceChat porta il parlato full-duplex e le chiamate a strumenti in tempo reale a un modello open da 11B, ma la sua etichetta di ricerca e le lacune nell'esecuzione restano rilevanti
Analisi del valore di AMD EPYC 8005: Sorano ridefinisce la scelta dei server mainstream
L'analisi del valore di AMD EPYC 8005 mostra quali CPU Sorano si adattano a carichi di lavoro di throughput, licenze, memoria, storage ed edge computing, oltre ai compromessi che gli acquirenti devono affrontare
Il piano obbligazionario AI di Tencent trasforma un’operazione da 5 miliardi di dollari in un test sui rendimenti dell’AI
I piani obbligazionari AI di Tencent destinano circa 5 miliardi di dollari a chip e infrastrutture, sollevando una domanda più pressante su quando il suo crescente investimento nell’AI darà frutti
La regolamentazione dell'AI di Microsoft è più permissiva delle norme sulla sicurezza del latte, avverte Brad Smith
La regolamentazione dell'AI di Microsoft torna al centro dell'attenzione dopo che Brad Smith ha affermato che latte e lavatrici sono sottoposti a controlli di sicurezza più severi rispetto ai sistemi di AI avanzati in uso
L'acquisizione di Elisity da parte di IonQ rafforza la sua scommessa sulla cybersecurity oltre il quantum computing
L'acquisizione di Elisity da parte di IonQ combina controlli Zero Trust e sicurezza quantistica, ma integrazione, valutazione e adozione da parte dei clienti restano le vere prove