A declaração saiu em 11/09, tem Terence Tao, James Maynard e Peter Scholze entre os nomes, e sustenta que resolver problemas é apenas ferramenta e substituto do objetivo principal, que é compreensão conceitual e discernimento. O texto toma posição: não há número nem experimento nele, a sede da declaração respondeu com bloqueio de acesso, e a contagem de 25 assinaturas vem do blog de um dos signatários. No mesmo dia, a DeepSeek cancelou o desligamento que ela mesma marcou para 14/09, e o relatório de setembro da Anthropic documenta revendedor que vendia Claude com desconto e mandava o tráfego para outro modelo.
Vinte e cinco medalhistas Fields, a maior distinção da matemática, entregue a cada quatro anos a pesquisadores de até 40 anos, assinaram uma declaração publicada em 11/09 dizendo que os objetivos das empresas de IA e os da comunidade matemática estão em desalinhamento grave. O texto sustenta que resolver problemas é apenas ferramenta e substituto do objetivo principal, que é compreensão conceitual e discernimento, e que produzir em massa afirmações de verdadeiro ou falso em ritmo cada vez mais rápido pode destruir terreno fértil em vez de dar vida a ideias novas.
A lista se apresenta como inicial, aberta a novas assinaturas, e traz Terence Tao, James Maynard e Peter Scholze entre os nomes. A declaração cai sobre oito dias em que este veículo publicou o Último Teorema de Fermat fechado com 13 milhões de linhas de Lean (radar de 05/09), a alegação da OpenAI sobre Navier-Stokes sem prova pública (radar de 09/09) e a medalha de ouro da IMO 2026 com correção dos corretores oficiais da prova (radar de 12/09).
A declaração toma posição: não traz número nem experimento, a sede dela na internet respondeu com bloqueio de acesso (HTTP 403), e a contagem de 25 assinaturas vem do blog de um dos signatários.
O argumento é sobre critério de sucesso: resolver problemas é ferramenta e substituto do objetivo principal, que o texto nomeia como compreensão conceitual e discernimento, e a produção em massa de afirmações de verdadeiro ou falso, em ritmo cada vez mais rápido, pode destruir terreno fértil em vez de alimentar ideias novas. É a primeira contestação em bloco desse critério por quem o campo premia, depois de Tao ter escrito sozinho que os problemas em aberto da matemática viraram recurso não renovável (radar de 09/09).
O contraditório aparece dentro da própria área: no fio mais votado do fórum de aprendizado de máquina em 12/09, um participante que se apresenta como teórico dos números escreve que boa parte da matemática pura existe porque é divertida de fazer. A sede da declaração respondeu com bloqueio de acesso, e os nomes vêm do blog de Tao.
deepseek-v4-pro passaria a ser atendida pelo modelo mais barato e cobrada pela tabela dele, segue publicada com o texto original.O preço separa as duas versões: US$ 0,66 por milhão de tokens de entrada sem cache no V4-Pro, fora de pico, contra US$ 0,15 no modelo barato, 4,4 vezes menos, e US$ 1,98 contra US$ 0,60 na saída (token é o pedaço de texto que o modelo lê e escreve, e é por ele que se cobra). A data de 14/09 foi anunciada em 10/09 (radar de 10/09), e quem programou migração, orçamento ou regra de cobrança para aquele dia agora desfaz o trabalho.
A empresa não publicou data, hora nem entrada própria no changelog do recuo, a lista datada em que ela registra cada mudança do produto, não diz quantos clientes pediram e não dá prazo novo. O recuo ganha data de 12/09 ou antes por um pedido de mudança aberto num projeto de fora, que remove o corte de preço já programado.
Quem compra acesso a modelo por intermediário pode estar pagando por um e recebendo outro, e o mesmo documento já rendeu 2.100 conjuntos de token do Azure AD em mais de 40 empresas (radar de 11/09). O fio mais votado do fórum do Claude em 12/09, e o segundo mais votado do fórum da OpenAI, apontam esse relatório para outro caso: a alegação de que a Moonshot encaminhava parte dos pedidos feitos ao Kimi para o Claude, devolvia a resposta como se fosse do Kimi e guardava as trocas para destilar o raciocínio, ou seja, para treinar um modelo próprio com as respostas de um modelo caro.
No texto que a página do relatório devolve não aparece seção nomeando Moonshot, Kimi ou DeepSeek: a página traz a frase de que nenhum dos casos de uso indevido envolveu modelos das classes Fable ou Mythos, com exceção de um caso de destilação ilícita, sem empresa nomeada ali. Os números que circulam pela imprensa, mais de 23 milhões de trocas e 5.380 contas fraudulentas, estão em matéria com bloqueio de acesso (HTTP 403) e não foram conferidos.
Nenhuma resposta da Moonshot aparece nos fios, a Anthropic é parte interessada, e um participante levanta a dúvida que ninguém respondeu: como separar a empresa de um intermediário revendendo token por conta própria. O aviso de NSA, CISA e FBI que nomeia a Moonshot entre seis empresas chinesas é de 11/09 (radar de 11/09).
O documento é de 07/09 e já rendeu o mesmo DeepSeek V4 Flash marcando 81% num teste servido pela DeepSeek e 58% servido pela DigitalOcean (radar de 12/09); entre o que ficou de fora daquele número está a etiqueta de quantização do fornecedor, a redução de casas numéricas dos pesos que barateia a hospedagem, que não acompanha a qualidade medida.
Do lado controlado, o benchmark MetroLLM-Bench (2609.10016, de Remco Hendriks, submetido em 09/09 ao arXiv, o depósito onde pesquisador publica antes de qualquer revisão por pares) move 2,7 pontos com modelo e tarefa congelados, só trocando decodificação gulosa com teto de 4.096 tokens de saída pela amostragem que o fabricante recomenda com 16.384, dois jeitos legítimos de ligar a mesma coisa. A camada em volta do modelo já valeu 17,5 pontos quando quem mede controla o teste (radar de 08/09).
As medições de campo são de um desenvolvedor sozinho, sem dado bruto, sem código de avaliação e sem número de amostras por fornecedor, e ele mantém uma biblioteca própria que recomenda como remédio para um dos problemas da lista. Os 92% das respostas vazias de julho que ele atribui a um único fornecedor são proporção do que ele observou, sem o total de chamadas, então não são taxa de falha daquela casa. A documentação da OpenRouter descreve o comportamento padrão como balanceamento priorizando preço, e traz um campo que permite fixar apenas o hospedeiro escolhido.
MetroLLM-Bench põe modelos de linguagem no papel do software de totem de metrô, decidindo rota, tarifa e ação da máquina, em 955 casos construídos sobre seis sistemas reais de 37 a 414 estações. No primeiro nível de correção, que confere se a máquina escolheu a rota e a tarifa certas, um programa de regras determinísticas, sem modelo de linguagem nenhum, marca 84,6, contra 91,37 do topo da tabela (GPT-5.4 em esforço máximo) e 91,32 de um Qwen 3.5 de 4 bilhões de parâmetros ajustado pelo próprio autor (parâmetro é cada peso ajustável do modelo, e a contagem serve de medida de tamanho; esse modelo cabe em 2,6 GB).A distância entre software determinístico e modelo de linguagem nessa tarefa fechada é de 6,77 pontos no topo, e a vantagem restante se concentra em adaptação de política, cenário composto, acessibilidade e raciocínio temporal. Foram 26 modelos de seis fornecedores, e o ganho de ajustar o modelo encolhe conforme ele cresce: mais 7,03 pontos em 2 bilhões de parâmetros, mais 2,00 em 4 bilhões, mais 1,65 em 9 bilhões e menos 0,91 em 27 bilhões, com a mesma direção em todas as sementes de treino declaradas.
O documento tem autor único, a empresa que assina não traz descrição institucional nele, o próprio autor treinou o sistema que quase lidera no benchmark que ele desenhou, e seis dos oito componentes semânticos do segundo nível de correção usam um modelo de linguagem como juiz, instrumento que parou na validação em 04/09 (radar de 04/09) e ficou no valor do acaso em 12/09 (radar de 12/09). Nenhuma operadora de metrô colocou modelo de linguagem em máquina de bilhete: são 955 casos de teste montados sobre seis redes reais.
As três correções da 2.1.269 já apontavam que a fronteira de permissão não cobria o que parecia cobrir (radar de 12/09), e o ciclo acrescenta que o conserto da fronteira barrou comando de leitura que sempre passou. Pedir permissão a mais é falha conservadora, e as duas notas são do próprio fornecedor, sem problema público registrado nem contagem de sessões atingidas.
No fio mais votado do fórum de agentes em 12/09, quem constrói esse tipo de ferramenta aponta a causa uma camada abaixo: propor e executar costumam ser a mesma chamada de ferramenta, separadas por um parâmetro de simulação, então o modelo decide sozinho se invoca de verdade a cada turno. A proposta do fio é separar as duas no nível da ferramenta, uma só de leitura e outra que o agente não chama sem autorização explícita no pedido, e graduar a confirmação pelo custo de desfazer, deixando passar sozinha a ação barata e reversível e travando sempre o que sai do sistema, como envio, exclusão e pagamento. É desenho discutido entre praticantes, sem taxa de erro antes e depois. A Anthropic moveu para o servidor, em beta, a decisão de deixar o agente agir (radar de 11/09).
É medição de fora do tempo que um agente comercial sustenta numa tarefa, e ela termina em arquivo que dá para abrir e conferir. A causa da perda aparece como hipótese do autor, e não como explicação da OpenAI: o compaction, o resumo automático que descarta o histórico antigo da conversa para caber na janela de contexto.
A proposta dele é que sistema que compacta preserve o texto anterior e deixe o agente buscá-lo por chamada de ferramenta, porque quem pagou pela execução ficou com o artefato final e sem como conferir como ele foi produzido. O mecanismo é o mesmo de dois papers de compressão de memória (radar de 05/09) e do caso em que mandar um agente esquecer apaga o registro e deixa o que ele derivou dali (radar de 07/09).
É uma execução, um pedido, sem repetição e sem comparação com outro modelo, ninguém conferiu os circuitos na rua, e os 5,1 km são a medida que o próprio sistema declarou. O produto e o preço do Astra dentro dele já saíram aqui em 31/08 (radar de 31/08) e em 10/09 (radar de 10/09).
É o segundo desligamento público da mesma empresa a virar texto em dois dias, depois da demissão de um pesquisador de pré-treino e do piso de 10% dado por quem lidera alinhamento na casa (radar de 10/09), e o piso é o mesmo número, dito agora por outra pessoa. A Anthropic já declarou apoio a avaliação de fora a cada quatro meses (radar de 08/09), e a METR aparece nessa discussão como uma das candidatas a fazê-la.
O texto é relato pessoal, sem medição: os 10% são o piso que uma pessoa dá para a própria estimativa, e quem o dá está indo para uma organização que ganha papel na proposta de avaliação externa. No fio do fórum de AGI a leitura se divide entre quem o descreve como pessoa equilibrada, quem trata o tom do texto como insuportável e quem escreve que já não consegue distinguir alarme legítimo de campanha.
MaP-WAM (2609.11561, oito autores, submetido em 10/09) substitui o histórico bruto da tarefa por um plano derivado da memória e marca 83,3% de sucesso no RMBench, contra 77,1% da melhor linha de base e 42,0% do melhor sistema de memória medido. O executor fica em cerca de 827 ms por trecho com 1.500 quadros de histórico, enquanto a variante que carrega o contexto inteiro chega a cerca de quatro vezes a latência inicial e falha por estourar 80 GB de memória de placa de vídeo em 1.700 quadros (quadro de histórico é cada imagem da câmera que o robô carrega do que já fez).O paper publica o limite duro: existe um número de quadros em que o histórico completo deixa de caber e o sistema para. A série de memória deste veículo tem o paper do Google que troca o histórico da conversa por um estado explícito (radar de 30/08) e o DeepMind nomeando memória além da janela de contexto como o problema (radar de 22/08).
É robô manipulando objeto, e não agente de texto, e nada no paper mede a transferência para sessão de agente. O teste no mundo real são duas tarefas, com 88% e 68% de sucesso em 50 tentativas cada, o que dá a média de 78,0%, e o método recebe pronta a segmentação da tarefa que os benchmarks já trazem, parte do problema que ele diz resolver.
As falas desta seção vêm traduzidas do inglês.
O autor do fio, /u/puppy_lover_2021, sustenta que o problema da memória de agente deixou de ser achar a informação e passou a ser decidir qual informação manda agora, e o exemplo dele é datado: em janeiro, Alice prefere reunião de manhã; em março, passa a levar a filha na escola de manhã; em abril, pede para mover as reuniões recorrentes para depois das 10h30. A busca por semelhança recupera a preferência antiga e a restrição nova ao mesmo tempo, acerta a recuperação e erra a resposta.
/u/Separate_Pea_3699 escreve que marcar cada escrita com uma janela de validade e resolver na leitura conserta a maior parte sem virar máquina de estados, e que a procedência importa tanto quanto a recência, porque uma afirmação explícita do usuário não deveria perder para uma inferência mais nova. O autor propõe a ordem de autoridade: correção explícita, afirmação explícita, estado externo com autoridade, comportamento observado, inferência do modelo.
Os números que ele cita saem de uma ferramenta e de um teste construídos por ele mesmo, sem amostra declarada e sem repositório aberto; o mecanismo é o que um paper de 27/08 mediu em 77,3% de decisão desatualizada (radar de 27/08).
Os dois fios mais votados do sub em 12/09 são de queda de qualidade e de cota consumida antes da hora. /u/GreenConsistent diz ter esgotado a cota do mês na metade, /u/charcuterieboard831 em cerca de 8 dias, e /u/SaneArsenalFan conta que a empresa dele estourou o orçamento no quarto dia do mês e está encerrando o contrato.
O mecanismo proposto no fio é de /u/heyitsaif: antes, a maior parte das consultas do modo automático ia para os modelos da casa, e agora quase tudo nele é roteado para o Grok por padrão, com o preço passando a cobrar conforme o modelo que ele escolhe. O contraponto vem de /u/yourparadigm, que escreve que o modo automático mudou bastante um mês atrás e que agora dá para ajustá-lo para custo, equilíbrio ou inteligência.
A Cursor não confirmou a mudança de roteamento, o changelog público não a registra, nenhum relato mostra painel de consumo, e queda de qualidade é assunto permanente deste sub. O antecedente é o assinante Ultra que mediu a própria cota por não achar a página oficial (radar de 25/08).
O fio mais votado do sub pergunta o que resolve a comunicação entre agentes, já que o MCP, o protocolo que padroniza o acesso do agente a ferramentas, resolveu o acesso à ferramenta. /u/Wide-Excitement-1315 responde que como um agente acha o outro acabou sendo a pergunta fácil, e que as difíceis foram como um chama o outro sem mentir sobre o resultado e como impedir que os dois fiquem se chamando para sempre; a descoberta, na casa dele, é uma ferramenta MCP que devolve nome e descrição de todo agente marcado como visível dentro da mesma conta.
/u/Easy-Purple-1659 conta o modo de falha que deu trabalho: chamar outro agente é quase sempre assíncrono, o trabalhador entra na fila e não termina, e numa versão inicial a resposta da ferramenta dizia que o agente X estava trabalhando naquilo, e o modelo que chamou repassava isso ao usuário como se estivesse pronto.
Um dos respondentes declara trabalhar no time de um produto que cita, nada no fio tem medição, e o roadmap do MCP já põe identidade de agente na frente da fila de revisão (radar de 23/08).