Ola todos! ecco le notizie dedicate al mondo IA del 05 Settembre 2026Iniziamo con Anthropic. Claude ha completato la prima formalizzazione dell’ultimo teorema di Fermat, uno dei più famosi della matematica. Un lavoro che gli esperti pensavano richiedesse molti anni. Tredici milioni di righe di codice che verificano il teorema dimostrato da Andrew Wiles nel millenovecentonovantacinque. La formalizzazione fornisce verifica automatica e dimostra altri ventinove mila teoremi collegati.Passiamo a Stanford. Nuovo corso: CS trecentoventinove Z, Engineering AI Agents. Il syllabus mette al centro decomposizione, dati e valutazione. Due settimane intere su Evaluation. Un’intera sezione su pass at k e pass carot k: due modi completamente diversi di misurare l’affidabilità degli agenti. Le letture includono un paper dal titolo esplicito: Don’t Sleep on Single-agent Systems.Colpo a sorpresa da Unsloth. GLM cinque punto tre-Flash ora gira tre punto tre volte più veloce in locale. L’inferenza GGUF è stata ottimizzata con decodifica migliorata e predizione multi-token. Versione a tre bit utilizzabile su configurazioni da centoventi giga di RAM.Passiamo a Bot. Marketplace per template di agenti. Primo rilascio: Haggle Bot, specializzato in approvvigionamento. Negozia contratti con fornitori, trova licenze software non utilizzate e controlla prezzi ricorrenti. In una settimana sembra aver fatto risparmiare oltre centomila dollari.Minimax H tre gira ora in locale. Sessantacinque giga di modelli, dodici giga di VRAM, RTX quattromila settanta Ti. Text-to-video completo dentro ComfyUI. Due passaggi: novecentosessanta per cinquecentoquarantaquattro, poi millenovecentoventi per millottantotto. Tutto senza cloud.Sempre nel mondo AI, VoiceStudio. Clona voci, doppia video, trascrive e crea audiolibri. Tutto al cento percento in locale, senza registrazioni. Supporta oltre seicento idiomi, con API compatibile OpenAI. Open source per macOS, Linux e Windows.A proposito di benchmark, ARC AGI quattro. GPT sei Astra ha saturato ARC AGI tre, così è arrivata una nuova versione per misurare l’intelligenza di frontiera. Anthropic Fable e ChatGPT Astra sono entrambi fermi al quattro percento circa.Nel frattempo, Qwopus tre punto otto ventisette B Flash. Fine-tune del modello base Qwen con chain of thought molto più efficiente, a volte di un fattore dieci. Sceglie quando applicare il ragionamento e quando no. Gira eccezionalmente bene con thinking uncapped nei flussi agentici, anche su vecchie V cento. Velocissimo su cinquemila novanta: circa cento token al secondo con multi-token prediction.Sempre attivo, Qwen tre punto otto Flash. Disponibile ora in formato NVFP quattro per singolo DGX Spark. Fino a un milione di token di contesto, supporto completo per immagini e video. Trentasette token al secondo in decodifica su stream singolo, fino a ottantasei su quattro stream concorrenti. Prefill tra millecinquecento e duemila token al secondo.Arriva anche Cyberstrike. Agente di sicurezza AI open source costruito per automatizzare penetration testing da terminale. Si collega a Claude, GPT o altri modelli LLM e fornisce tredici agenti specializzati in sicurezza, settemilaseicento competenze di sicurezza, oltre centoventi test case OWASP e cinquantasei tool integrati. Da usare solo su sistemi che possiedi.Torniamo su coding con antislop-ai. Filtro per agenti di codifica che blocca layout generici, testi copia-incolla e commenti banali. Trentotto regole. Compatibile con Claude Code, Cursor, Codex. Si installa con un comando: npx antislop-ai.Quarantotto su centocinque. Parliamo di GPT sei Astra, il nuovo modello di OpenAI testato su due repository reali. Quarantatré Fable cinque punto uno, quarantadue GPT cinque punto sei Sol, venti Gemini tre punto otto Flash. Ma GPT sei Astra è anche incredibilmente efficiente in termini di tempo e costo.Chiudiamo con Maestro v due punto zero. Studio multimediale AI gratuito, aperto, locale, senza restrizioni, carico di modelli SOTA. Genera autonomamente film e video musicali. Oltre quarantamila installazioni in meno di due mesi.Trovate i link di queste notizie altri link interessanti sul mio sto ziobuddalabs punto itSalvate il video così da non perderlo, seguitemi sui miei canali social e sul nuovo podcast su spotify e mannaggia a voi se ancora non lo state facendo, condividete il video con amici e nemici e ola todos.
