AI TrackerScarica l'app

Notizie AI,
selezionate per chi sviluppa.

Lanci, cambi di prezzo e dismissioni da ogni provider AI, riassunti. Lo stesso feed della scheda Notizie dell'app.

Modelli

Axiom afferma che agenti IA hanno formalizzato in Lean la classificazione dei gruppi semplici finiti

Axiom, azienda di matematica basata sull’IA, ha annunciato su X una formalizzazione automatica completa in Lean della classificazione dei gruppi semplici finiti, un risultato che definisce la «tavola periodica della simmetria». Descrive la dimostrazione originale come composta da circa 15.000 pagine, scritte da oltre 100 matematici nel corso di più generazioni, e la definisce la più grande dimostrazione matematica della storia verificata al computer.Modelli

Ling rilascia i pesi aperti di Ling-3.1-flash-1019 e un modello base

Il team di Ling afferma che Ling-3.1-flash-1019 è ora open source, con i pesi disponibili su Hugging Face e ModelScope. Ha inoltre rilasciato Ling-3.1-flash-base, che descrive come una base aperta per l'addestramento ulteriore. Il team afferma che il nuovo modello è stato sottoposto a un ulteriore post-training per il ragionamento e i flussi di lavoro di agenti nel mondo reale.OpenRouter· Modelli

Il catalogo di OpenRouter indica il 3 novembre come data di scadenza per Meta: Llama 3.1 70B Instruct

Il catalogo dei modelli di OpenRouter ora indica il 3 novembre 2026 come data di scadenza per "Meta: Llama 3.1 70B Instruct" (meta-llama/llama-3.1-70b-instruct), un modello presente nel catalogo dal 23 luglio 2024 con una finestra di contesto di 131.072 token. In precedenza, la scheda non riportava alcuna data di scadenza. Si tratta di un campo del catalogo; né OpenRouter né Meta hanno fornito una motivazione nei materiali che abbiamo visto, e la scheda non specifica cosa accadrà al modello dopo quella data.OpenCode Go· Coding

OpenCode aggiunge i plugin per OpenCode Desktop

Il 27 ottobre LukeParkerDev ha annunciato su X i plugin per OpenCode Desktop, accompagnando l’annuncio con un breve video dimostrativo e un link alla documentazione di OpenCode sulla creazione di plugin per la GUI. thdxr, che ha citato il post, ha detto che i plugin desktop estendono lo stesso schema dei plugin TUI di OpenCode, permettendo a un unico pacchetto di includere plugin server, TUI e desktop, e ha definito il pannello di destra un buon posto per aggiunte utili. Il post è stato ricondiviso anche dall’account di OpenCode.Modelli

Maya-2, un modello vocale per le lingue indiane, è stato rilasciato con pesi aperti

Maya-2, un modello vocale (per la sintesi vocale) pensato per l’India, è stato pubblicato con pesi aperti il 27 ottobre con il nome maya-research/maya2-native su Hugging Face. L’annuncio su X afferma che copre oltre 1,5 miliardi di persone in tutti i 28 stati e gli 8 territori dell’Unione.OpenAI· Coding

OpenAI e Oracle ampliano la partnership per portare le app Oracle in ChatGPT

OpenAI afferma di ampliare la partnership con Oracle per portare applicazioni e dati Oracle in ChatGPT e alimentare nuovi prodotti Oracle con i modelli OpenAI. Secondo OpenAI, Oracle sta sviluppando Oracle AI Workspace, che consentirebbe alle persone di trovare informazioni e completare flussi di lavoro aziendali autorizzati nelle applicazioni Oracle per finanza, approvvigionamento e pianificazione direttamente da ChatGPT, nel rispetto delle autorizzazioni e delle approvazioni di ciascuna organizzazione.Anthropic· Modelli

Un articolo depositato da Anthropic sostiene che anche un modello interno di Claude ha confutato l'Exponential Time Hypothesis

Un preprint su hexagonmath.org, indicato come depositato da Anthropic il 27 ottobre 2026, sostiene di presentare un algoritmo deterministico per 3-SAT su n variabili con tempo di esecuzione 2^o(n), che confuterebbe l'Exponential Time Hypothesis (ETH). Afferma che l'algoritmo risolve anche il problema più difficile #3-SAT, che conta le assegnazioni soddisfacenti, e che il risultato è stato formalizzato in Lean 4.Modelli

Baidu rende open source Unlimited OCR 2, un parser di documenti con un costo di decodifica quasi costante

Baidu ha annunciato Unlimited OCR 2 su X il 26 ottobre, pubblicando il codice su GitHub e i pesi su Hugging Face. Il modello è progettato per analizzare documenti di qualsiasi lunghezza, o quasi, entro una finestra di contesto finita.GitHub Copilot· Coding

GitHub Copilot CLI 1.0.104 fa attendere ad Autopilot il completamento delle attività in background e rende disponibili le autorizzazioni assistite

GitHub Copilot CLI 1.0.104, del 27 ottobre 2026, secondo le note di rilascio:OpenRouter· Modelli

Il catalogo di OpenRouter rimuove la data di scadenza del 31 dicembre per Z.ai: GLM 4.5V

Il catalogo dei modelli di OpenRouter non mostra più una data di scadenza per «Z.ai: GLM 4.5V» (z-ai/glm-4.5v). La voce riportava il 31 dicembre 2026 dal 24 ottobre. Il modello, presente nel catalogo dall'11 agosto 2025 con una finestra di contesto di 65.536 token, è ancora disponibile. Si tratta di un campo del catalogo; né OpenRouter né Z.ai hanno spiegato perché la data sia stata aggiunta o rimossa.Anthropic· Infrastruttura

Logan Graham di Anthropic corregge il resoconto del Washington Post sull’intrusione in Cathedral

Il 26 ottobre, Logan Graham dell’Anthropic Frontier Red Team ha pubblicato su X alcune precisazioni sull’articolo del Washington Post e sulle reazioni che ha suscitato. L’articolo affermava che gli agenti di IA di una startup di sicurezza erano riusciti a entrare nei sistemi di Anthropic in meno di 12 ore. Queste sono le sue dichiarazioni, non un annuncio di Anthropic:Z.ai· Infrastruttura· 2 discussioni

Cloudflare afferma che un mismatch di configurazione di GLM 5.3 su Workers AI ha esposto pagine della cache KV tra richieste

Il 26 ottobre Cloudflare ha pubblicato una nota sulla divulgazione e sulla risoluzione del problema, spiegando che un mismatch di configurazione di GLM 5.3 (@cf/zai-org/glm-5.3) su Workers AI ha causato un bug in SGLang, il motore di inferenza, che ha esposto pagine della cache KV tra richieste. La divulgazione è stata coordinata con un post di SGLang.GitHub Copilot· Coding

Le autorizzazioni assistite di GitHub Copilot sono disponibili a livello generale nella CLI, nell’app Copilot e in VS Code

GitHub annuncia che le autorizzazioni assistite sono ora disponibili a livello generale in GitHub Copilot CLI, nell’app GitHub Copilot e in Visual Studio Code. Quando Copilot chiede di eseguire un comando, accedere a un percorso del file system o aprire un URL, un modello linguistico di grandi dimensioni valuta la richiesta. Le richieste classificate come chiaramente sicure vengono eseguite automaticamente; per tutte le altre serve l’approvazione dell’utente.Modelli

Artificial Analysis lancia Code2Video-AA, un benchmark di video di marketing realizzati con codice

Artificial Analysis ha presentato Code2Video-AA, una propria implementazione di Code2Video Bench di HeyGen, sviluppata in collaborazione con HeyGen. Ai modelli vengono forniti 114 brief di marketing per prodotti e brand e devono rispondere a ciascuno con una composizione HTML HyperFrames in un’unica risposta, senza strumenti; la composizione viene convertita in video senza accesso alla rete. Un modello valutatore (Gemini 4 Argon, high) confronta coppie di video in base a coinvolgimento, aderenza all’intento del prompt, composizione, coerenza temporale e qualità esecutiva; i punteggi Elo sui cinque assi vengono poi mediati per ottenere il punteggio complessivo. Oltre 35.000 valutazioni classificano 27 modelli. I risultati sono quelli di Artificial Analysis.Cursor· Modelli· 1 discussione

DeepSeek V4.1 Flash è ora disponibile in Cursor

Il 26 ottobre Cursor ha annunciato che DeepSeek V4.1 Flash è disponibile nell’editor; è possibile attivarlo da Cursor Settings > Models. Cursor afferma che tutti i livelli di effort si collocano sulla frontiera dei costi di CursorBench, con un costo da $0.60 a $0.98 per attività, e che nessun modello ottiene un punteggio superiore a quel costo. Sono dati forniti da Cursor, basati sul suo benchmark.Anthropic· Coding· 2 discussioni

Claude Code 2.1.311 changes ultrathink, loads model settings from a signed file on cloud providers, and fixes the 1M-context error

Claude Code v2.1.311, released October 26, 2026, per its release notes:OpenAI· Modelli· 7 discussioni

OpenAI afferma che i suoi modelli hanno dimostrato la congettura di smoothing locale, confutato l’Exponential Time Hypothesis e dimostrato l’esistenza di Yang–Mills

OpenAI ha annunciato tre risultati in matematica, informatica e fisica ottenuti dai suoi modelli. Tutto ciò che segue è una dichiarazione di OpenAI; finora nulla è stato verificato in modo indipendente e OpenAI afferma che i risultati sono stati controllati in Lean.Coding

Le valutazioni AgentEnv di Scale AI ora possono essere eseguite su Vercel Sandbox

Vercel afferma che ora è possibile eseguire le valutazioni AgentEnv di Scale AI Labs su Vercel Sandbox. Si assegna un compito a un agente, lo si esegue in una sandbox e si verifica come se la sia cavata. Vercel ha pubblicato una voce nel changelog e una guida alla configurazione nella documentazione di Sandbox.Coding

I comandi di Vercel Sandbox ora supportano stdin

Vercel afferma che i comandi eseguiti in Vercel Sandbox possono ora ricevere input tramite stdin. Questo permette di inviare input agli strumenti CLI in esecuzione e ai server MCP stdio, come agent-browser, all'interno di una sandbox. I dettagli sono disponibili nella nota sulle modifiche di Vercel.GitHub Copilot· Modelli

GPT-6.1 Terra è ora disponibile a tutti in GitHub Copilot

GitHub annuncia che GPT-6.1 Terra, il modello più recente di OpenAI, è ora disponibile a tutti in GitHub Copilot. GitHub lo descrive come progettato per la programmazione agentica di tutti i giorni e le attività da terminale, a un costo inferiore rispetto a GPT-6.1 Sol. Secondo GitHub, nei test iniziali ha risolto un numero sensibilmente maggiore di attività da terminale e di programmazione in C# rispetto a GPT-5.6 Terra, procedendo per fasi mirate e consolidate nelle attività ben definite.
Notizie precedenti