Claude formalizza l’Ultimo Teorema di Fermat in Lean in 11 giorni
Claude di Anthropic ha completato in 11 giorni la prima formalizzazione end-to-end verificata al computer dell’Ultimo Teorema di Fermat, trasformando una delle dimostrazioni più complesse della matematica moderna in codice…
GPT-6 Astra completa autonomamente tutti i livelli di Portal senza intervento umano
GPT-6 Astra di OpenAI ha completato autonomamente Portal, il classico puzzle game tridimensionale di Valve, risolvendo tutti i test chamber dall’inizio alla fine senza interventi diretti da parte di un…
AI Intelligenza Artificiale
Intelligenza Artificiale Generativa
Text to image generators
Text to video generators
video Ai intelligenza artificiale
Runway presenta GWM Worlds 2 per generare mondi interattivi in tempo reale
Runway ha presentato GWM Worlds 2, un nuovo modello progettato per generare mondi virtuali interattivi che possono continuare a evolversi senza essere vincolati alla durata prefissata tipica dei tradizionali modelli…
OpenAI, Jakub Pachocki chiede più controlli prima della recursive self-improvement dell’AI
Jakub Pachocki, Chief Scientist di OpenAI, ritiene plausibile che nei prossimi anni lo sviluppo dell’intelligenza artificiale possa entrare in una fase di recursive self-improvement, nella quale i sistemi AI assumerebbero…
Meta sviluppa RPM per selezionare gli esperimenti AI prima di utilizzare le GPU
Meta FAIR ha sviluppato RPM, Research Preference Model, un sistema progettato per aiutare gli agenti di ricerca AI a decidere quali esperimenti eseguire prima di utilizzare risorse GPU. L’approccio nasce…
OpenAI completa il primo research intern automatizzato e accelera la ricerca con agenti AI
OpenAI ha raggiunto l’obiettivo di realizzare un “automated research intern”, un sistema capace di svolgere sotto la direzione umana attività di ricerca ben definite che potrebbero richiedere diversi giorni di…
Cina al centro dei tour tecnologici occidentali tra robotica, veicoli elettrici e AI hardware
La Cina sta diventando una destinazione sempre più rilevante per manager, fondatori di startup e investitori occidentali interessati a osservare direttamente lo sviluppo di veicoli elettrici, batterie, robotica e intelligenza…
I ricercatori OpenAI usano Codex fino a oltre 7.000 dollari al giorno in token
L’uso degli agenti di coding all’interno dei gruppi di ricerca di OpenAI è aumentato rapidamente nel corso del 2026, fino a diventare una componente quotidiana del lavoro tecnico. A metà…
Richard Sutton propone modelli da un trilione di parametri con apprendimento continuo e consumi da 20 watt
Richard Sutton, professore all’Università dell’Alberta e tra i principali studiosi mondiali di reinforcement learning, insieme al suo ex allievo Khurram Javed ha criticato l’attuale paradigma dell’intelligenza artificiale fondato soprattutto su…
XYZ dimezza i tempi di piegatura degli abiti con il sistema robotico Brain X
XYZ ha migliorato le prestazioni del proprio sistema di intelligenza robotica Brain X portando da circa 50 a circa 25 secondi il tempo necessario a un robot per completare un’operazione…