Leanstral 1.5, il modello aperto di Mistral che dimostra teoremi e trova bug reali nel codice
Mistral rilascia Leanstral 1.5, il modello open source per Lean 4 che tocca il 100% su miniF2F e scopre bug reali nel software: cosa cambia e…
Mistral rilascia Leanstral 1.5, il modello open source per Lean 4 che tocca il 100% su miniF2F e scopre bug reali nel software: cosa cambia e…
Dal 14 agosto Claude Code avvia le nuove sessioni in modalità auto su Pro, Max e Team: un classificatore filtra i comandi al posto delle conferme…
Guida pratica al web scraping con Python: cosa è, quali librerie usare (requests, BeautifulSoup, Scrapy, Selenium) e come estrarre dati dal web.
DARPA e US Air Force fanno volare un F-16 controllato da un agente AI: il programma VENOM apre la strada all'autonomia nel combattimento aereo.
Prime Intellect lancia Prime Agent, il coding harness open source che si auto-migliora modificando prompt, memoria e competenze mentre lavora.
I modelli multimodali capiscono e generano testo, immagini, audio e video insieme. Scopri cosa sono, come funzionano e a cosa servono davvero.
ByteDance apre l'API di Seedance 2.5: clip fino a 30 secondi con audio sincronizzato in una sola generazione e fino a 50 riferimenti.
Paige e Microsoft presentano PRISM2, il foundation model multimodale che analizza i vetrini istologici e risponde in linguaggio naturale a domande diagnostiche.
OpenAI aggiorna ChatGPT: GPT-5.6 Sol più accurato, un nuovo slider per dosare il ragionamento e Luna come modello gratuito e illimitato per tutti.
Amazon finanzia GW Ranch, una centrale a gas da 7,65 gigawatt in Texas per un nuovo data center AI: sarà tra i maggiori emettitori di CO2…
Cloudflare lancia Kitesurf, un browser cloud pensato per gli agenti AI: gira sui Workers, consuma meno di Chromium e punta al web agentico.
Anthropic lancia in beta Claude for Government, la versione di Claude in ambiente FedRAMP High per le agenzie USA, con dati isolati e conformità certificata.
Nel secondo trimestre 2026 Shopify vede triplicare traffico e ordini dalla ricerca AI: i numeri che ribaltano le previsioni sul commercio agentico.