AI TrackerBaixar o app

Notícias de IA,
organizadas para devs.

Lançamentos, mudanças de preço e descontinuações de todos os provedores de IA, resumidos. O mesmo feed da aba Notícias do app.

Modelos

Axiom afirma que agentes de IA formalizaram a Classificação dos Grupos Simples Finitos em Lean

Axiom, uma empresa de matemática com IA, anunciou no X uma formalização automática completa em Lean da Classificação dos Grupos Simples Finitos, um resultado que chama de “tabela periódica da simetria”. A empresa descreve a prova original como tendo cerca de 15 mil páginas, escrita por mais de 100 matemáticos ao longo de gerações, e a chama de maior prova matemática da história verificada por computador.Modelos

Ling libera os pesos abertos do Ling-3.1-flash-1019 e um modelo base

A equipe Ling afirma que o Ling-3.1-flash-1019 agora é de código aberto, com pesos disponíveis no Hugging Face e no ModelScope. Também lançou o Ling-3.1-flash-base, que descreve como uma base aberta para treinamento adicional. A equipe diz que o novo modelo passou por pós-treinamento adicional para raciocínio e fluxos de trabalho de agentes no mundo real.OpenRouter· Modelos

Catálogo da OpenRouter informa 3 de novembro como data de expiração do Meta: Llama 3.1 70B Instruct

O catálogo de modelos da OpenRouter agora informa 3 de novembro de 2026 como data de expiração de "Meta: Llama 3.1 70B Instruct" (meta-llama/llama-3.1-70b-instruct), um modelo listado desde 23 de julho de 2024 com contexto de 131.072 tokens. Antes, o registro não tinha data de expiração. Esse é um campo do catálogo; nem a OpenRouter nem a Meta apresentaram um motivo no que vimos, e o registro não diz o que acontecerá com o modelo depois dessa data.OpenCode Go· Programação

OpenCode adiciona plugins ao OpenCode Desktop

LukeParkerDev anunciou no X, em 27 de outubro, plugins para o OpenCode Desktop, com um breve vídeo de demonstração e um link para a documentação do OpenCode sobre como criar plugins para a interface gráfica. thdxr, que citou a publicação, disse que os plugins para desktop ampliam o mesmo padrão dos plugins de TUI do OpenCode, permitindo que um único pacote distribua plugins para servidor, TUI e desktop, e chamou o painel à direita de um bom espaço para recursos úteis. A publicação também foi compartilhada pela conta do OpenCode.Modelos

Maya-2, modelo de voz para idiomas indianos, é lançado com pesos abertos

Maya-2, um modelo de voz (síntese de fala) voltado para a Índia, foi publicado com pesos abertos em 27 de outubro sob o nome maya-research/maya2-native no Hugging Face. O anúncio no X diz que ele abrange mais de 1,5 bilhão de pessoas nos 28 estados e 8 territórios da União.OpenAI· Programação

OpenAI e Oracle ampliam parceria para integrar apps da Oracle ao ChatGPT

A OpenAI afirma que está ampliando sua parceria com a Oracle para integrar aplicativos e dados da Oracle ao ChatGPT e impulsionar novos produtos da Oracle com modelos da OpenAI. Segundo a OpenAI, a Oracle está desenvolvendo o Oracle AI Workspace, que permitirá às pessoas encontrar informações e concluir fluxos de trabalho empresariais aprovados nos aplicativos de finanças, compras e planejamento da Oracle pelo ChatGPT, respeitando as permissões e aprovações de cada organização.Anthropic· Modelos

Um artigo depositado pela Anthropic afirma que um modelo interno do Claude também refutou a Hipótese do Tempo Exponencial

Um preprint no hexagonmath.org, listado como depositado pela Anthropic em 27 de outubro de 2026, afirma apresentar um algoritmo determinístico para 3-SAT com n variáveis que executa em tempo 2^o(n), o que refutaria a Hipótese do Tempo Exponencial (ETH). O texto diz que o algoritmo também resolve o problema mais difícil de #3-SAT, que conta as atribuições satisfatórias, e que o resultado foi formalizado em Lean 4.Modelos

Baidu abre o código-fonte do Unlimited OCR 2, um analisador de documentos com custo de decodificação quase constante

A Baidu anunciou o Unlimited OCR 2 no X em 26 de outubro, com o código no GitHub e os pesos no Hugging Face. O modelo foi desenvolvido para analisar documentos de praticamente qualquer extensão dentro de uma janela de contexto finita.GitHub Copilot· Programação

GitHub Copilot CLI 1.0.104 faz o Autopilot aguardar tarefas em segundo plano e libera as Permissões Assistidas

GitHub Copilot CLI 1.0.104, datado de 27 de outubro de 2026, segundo as notas de versão:OpenRouter· Modelos

Catálogo da OpenRouter remove a data de expiração de 31 de dezembro do Z.ai: GLM 4.5V

O catálogo de modelos da OpenRouter não exibe mais uma data de expiração para "Z.ai: GLM 4.5V" (z-ai/glm-4.5v). A entrada indicava 31 de dezembro de 2026 desde 24 de outubro. O modelo, listado desde 11 de agosto de 2025 com contexto de 65.536 tokens, continua no catálogo. Esse é um campo do catálogo; nem a OpenRouter nem a Z.ai explicaram por que a data foi adicionada ou removida.Anthropic· Infraestrutura

Logan Graham, da Anthropic, corrige o relato do Washington Post sobre a invasão do Cathedral

Logan Graham, da Frontier Red Team da Anthropic, publicou em 26 de outubro no X correções à reportagem do Washington Post e às reações a ela. A reportagem dizia que agentes de IA de uma startup de segurança haviam invadido os sistemas da Anthropic em menos de 12 horas. Estas são declarações dele, não um anúncio da Anthropic:Z.ai· Infraestrutura· 2 discussões

Cloudflare diz que incompatibilidade na configuração do GLM 5.3 no Workers AI expôs páginas do cache KV entre solicitações

Em 26 de outubro, a Cloudflare publicou um comunicado e um relato das medidas corretivas, afirmando que uma incompatibilidade de configuração no GLM 5.3 (@cf/zai-org/glm-5.3) no Workers AI acionou um bug no SGLang, o mecanismo de inferência, que expôs páginas do cache KV entre solicitações. O comunicado foi coordenado com uma publicação do SGLang.GitHub Copilot· Programação

As permissões assistidas do GitHub Copilot estão disponíveis para todos no CLI, no app do Copilot e no VS Code

O GitHub informa que as permissões assistidas já estão disponíveis para todos no GitHub Copilot CLI, no app do GitHub Copilot e no Visual Studio Code. Quando o Copilot solicita executar um comando, acessar um caminho do sistema de arquivos ou abrir uma URL, um modelo de linguagem de grande porte avalia a solicitação. As solicitações classificadas como claramente seguras são executadas automaticamente; todas as outras precisam da aprovação do usuário.Modelos

Artificial Analysis lança o Code2Video-AA, um benchmark de vídeos de marketing criados com código

A Artificial Analysis apresentou o Code2Video-AA, sua própria implementação do Code2Video Bench da HeyGen, desenvolvida em parceria com a HeyGen. Os modelos recebem 114 briefings de marketing de produtos e marcas e devem responder a cada um com uma composição HTML do HyperFrames em uma única resposta, sem ferramentas; a composição é renderizada em vídeo sem acesso à rede. Um modelo avaliador (Gemini 4 Argon, high) compara pares de vídeos em termos de engajamento, intenção do prompt, composição, consistência temporal e execução, e as classificações Elo dos cinco eixos são calculadas pela média para gerar a pontuação principal. Mais de 35.000 avaliações classificam 27 modelos. Os resultados são da própria Artificial Analysis.Cursor· Modelos· 1 discussão

DeepSeek V4.1 Flash já está disponível no Cursor

Em 26 de outubro, o Cursor anunciou que DeepSeek V4.1 Flash está disponível no editor; é possível ativá-lo em Cursor Settings > Models. Segundo o Cursor, todos os níveis de esforço ficam na fronteira de custo do CursorBench, a US$ 0,60 a US$ 0,98 por tarefa, sem que nenhum modelo tenha uma pontuação maior a esse custo. Esses são números do próprio Cursor, com base em seu próprio benchmark.Anthropic· Programação· 2 discussões

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· Modelos· 7 discussões

OpenAI afirma que seus modelos provaram a conjectura de suavização local, refutaram a Hipótese do Tempo Exponencial e provaram a existência de Yang–Mills

A OpenAI anunciou três resultados em matemática, ciência da computação e física produzidos por seus modelos. Tudo a seguir é uma afirmação da própria OpenAI; nada foi verificado de forma independente ainda, e a OpenAI diz que os resultados foram verificados no Lean.Programação

As avaliações do AgentEnv da Scale AI já podem ser executadas no Vercel Sandbox

A Vercel afirma que agora é possível executar avaliações do AgentEnv, da Scale AI Labs, no Vercel Sandbox. Você dá uma tarefa a um agente, executa-o em um sandbox e verifica seu desempenho. A Vercel publicou uma nota de atualização e um guia de configuração na documentação do sandbox.Programação

Os comandos do Vercel Sandbox agora aceitam entrada via stdin

A Vercel afirma que os comandos executados no Vercel Sandbox agora podem receber entrada via stdin. Isso permite enviar entrada para ferramentas CLI em execução e para servidores MCP de stdio, como agent-browser, dentro de um sandbox. Os detalhes estão na entrada do changelog da Vercel.GitHub Copilot· Modelos

GPT-6.1 Terra já está disponível em caráter geral no GitHub Copilot

O GitHub informa que GPT-6.1 Terra, o modelo mais recente da OpenAI, está disponível em caráter geral no GitHub Copilot. Segundo o GitHub, ele foi desenvolvido para tarefas cotidianas de programação agêntica e trabalho no terminal, com custo menor que GPT-6.1 Sol. A empresa afirma que, nos testes iniciais, o modelo resolveu visivelmente mais tarefas de terminal e programação em C# que GPT-5.6 Terra, trabalhando em etapas focadas e consolidadas em tarefas bem delimitadas.
Notícias anteriores