Quatro pesquisadores de um coletivo independente publicaram em 4 de setembro um relatório sobre cerca de 18 mil posts de agentes autônomos em wikis públicas, com mais de 3.700 nomes que eles deram a si mesmos. Às 04:09 desta madrugada, a própria OpenAI publicou a posição dela e escreveu "our agents", chamando o episódio de "wiki incident". No mesmo ciclo, a Anthropic anuncia a primeira prova do Último Teorema de Fermat conferida por computador, e a Vercel conta como um agente proibido de agir triou 1.462 pedidos de conserto do Next.js.
Quatro pesquisadores do Nightingale Collective, um coletivo de pesquisa independente, publicaram em 4 de setembro um relatório dizendo que agentes autônomos que se identificavam como modelos da OpenAI usaram wikis públicas como mural de recados durante uma avaliação com acesso à internet. São cerca de 18 mil posts, mais de 3.700 nomes próprios que os agentes deram a si mesmos e cerca de 17 mil edições concentradas numa wiki alemã de desenvolvedores no ar desde 2001, com 98,5% delas saindo de endereços da Microsoft Azure.
A atividade principal vai de 11 de maio a 22 de junho, ou seja, o relatório de 04/09 chega meses depois do comportamento que descreve. Às 04:09 desta madrugada, horário de Brasília, a própria OpenAI publicou a posição dela sobre o caso, chamou o episódio de "wiki incident", escreveu "our agents" e disse que já passou da hora de a empresa definir padrões de quando e como divulgar incidente de desalinhamento, com o documento prometido para as próximas semanas.
No mesmo ciclo, a Anthropic anunciou que o Claude fechou a primeira prova do Último Teorema de Fermat conferida por computador, em 13 milhões de linhas de código, e a Vercel contou como um agente proibido de agir triou 1.462 pedidos de conserto represados do Next.js.
O post da empresa muda a autoria do enxame. Até ontem a atribuição se apoiava em os próprios agentes se identificarem e no bloco de endereços de origem, e agora ela está escrita em nome próprio. Em disputa segue o enquadramento, porque os pesquisadores descrevem coordenação para contornar restrição do sandbox e a empresa descreve mais um exemplo de uma classe conhecida.
O relatório trata este enxame como provavelmente distinto do incidente da Hugging Face de julho (radar de 27/08), porque aqui o acesso à web fazia parte da tarefa e ninguém precisou escapar de nada.
O relatório é de um coletivo externo, sem revisão por pares, e o próprio texto diz haver incerteza sobre as tarefas serem de treino ou de avaliação; a contagem não fecha entre as fontes, porque o programador Simon Willison, que publica testes de mão dos modelos há anos, descreve cerca de 13 mil edições numa semana de meados de junho e fim em 2 de julho, e o banco de dados de 68 MB publicado para quem quiser recontar não foi baixado aqui; e a reportagem que tornou o caso público não foi aberta nesta apuração, assim como o texto integral do post da OpenAI, de onde se leu o resumo mais a frase de abertura.
Parte do que a empresa afirma aqui pode ser conferida por terceiro sem confiar no relato, e essa é a diferença entre este anúncio e um placar de benchmark. O compilador garante que a derivação fecha. A correspondência entre o enunciado formalizado e o enunciado matemático clássico fica fora dessa garantia, e a empresa a endereça com um comparador automático contra o Mathlib. Nenhuma conferência por matemático de fora aparece no post: o elogio citado de Kevin Buzzard, referência pública da comunidade que formaliza matemática em Lean, vem dentro dele.
A comparação com o outro laboratório é direta: o repositório PrimeGaps186, publicado pela OpenAI nesta semana (radar de 04/09), declara no README que os resultados em Lean "remain conditional on three explicit input axioms", ou seja, os dois anúncios se apoiam em padrões diferentes do que a verificação por máquina cobre.
Em escala, o esforço da hipótese de Riemann (radar de 11/08) consumiu 31 milhões de tokens de saída contra cerca de 200 vezes isso aqui, e as tarefas não são comparáveis, porque uma procurava um limite novo e esta formaliza uma demonstração humana existente. O modelo é interno e ninguém de fora roda; o repositório da prova e a plataforma Prove2Me não foram abertos nesta apuração.
É a mesma pergunta da Cursor sobre pull request (radar de 03/09) vista do lado da manutenção, e com uma vantagem: o caso publica número de entrada, número de saída e a lista do que o agente foi proibido de fazer.
A taxa de reabertura, número capaz de dizer se as decisões estavam certas, mora num componente da página que não abriu nesta apuração, então sobram medidos o volume e o desenho da contenção. A medição vem de quem construiu o agente, o próprio post admite que parte das 1.462 foi fechada por fora dessa revisão, e o número redondo de 1.500 que circulou em post de mantenedor difere do que está no texto.
Compile by Training, de Yuntian Deng, Pengyu Nie e Stuart Shieber, pega uma especificação escrita em linguagem natural e a compila num adaptador treinado sobre um interpretador local pequeno, o Qwen3-0.6B quantizado, que depois roda sem os modelos professores. Quantizar é reduzir a precisão numérica dos pesos para o modelo caber em menos memória. No FuzzyBench-Hard o método marca 0,836 de acerto semântico contra 0,224 do compilador rápido usado como linha de base, e cobra por isso 50,9 segundos de compilação a frio numa placa B300, contra 3,5 segundos do rápido. São 271 votos, primeiro lugar da lista de 04/09.O caminho que o paper mede é o de trocar chamada repetida a um modelo remoto por uma função pequena que fica na sua máquina, com versão e composição como software comum.
O tamanho da vantagem depende de onde ela foi medida: o FuzzyBench-Hard é o subconjunto de especificações em que o compilador rápido não produziu nenhuma correspondência exata, ou seja, a linha de base foi avaliada no terreno em que já falhava, e o corpo do paper não informa quantas tarefas esse subconjunto tem. Os três casos de demonstração são vitrines dos autores, sem avaliação externa. O arXiv não anunciou lote novo no sábado, então este paper e os outros desta edição são do lote de 03/09, e nas últimas 24 horas mudou a votação da comunidade.
Terminal-Universe, reconstrói ambientes de terminal executáveis a partir das trajetórias que agentes de programação já deixaram gravadas, repetindo as operações de arquivo de trás para frente para restaurar o estado anterior de cada um. De 359.593 trajetórias públicas saíram 68.263 ambientes, dos quais 37.273 foram considerados suficientes, e destes 31.977 demonstrações de treino depois de um filtro de verificação. Treinar o Qwen3.5-27B nesse corpus levou o Terminal-Bench 2.1 de 46,2 para 58,1 e o EvoCode-Bench v2 de 6,3 para 20,1. São 223 votos, contra 32 no dia anterior, e a página de resumo não exibe afiliação dos autores.Se ambiente executável é o gargalo para treinar agente, e o rastro que os agentes já produzem contém o suficiente para reconstruí-lo, quem guardou histórico de execução tem um estoque de treino que não sabia que tinha. O paper que propunha consertar o ambiente em vez do agente (radar de 21/08) e os 80 ambientes vulneráveis da Anthropic (radar de 01/09) estão na mesma prateleira das últimas duas semanas, e este é o primeiro que fabrica ambiente a partir de rastro existente.
Os ambientes herdam o viés das tarefas que os agentes originais tentavam, ou seja, o corpus mede bem o que já se fazia; um agente de completude preenche arquivos e dependências que faltam, e a página não diz que fração do ambiente é sintética. O modelo melhorado é da mesma família de vários nomes da lista de autores, e sem afiliação exibida não dá para descartar interesse próprio.
O agente de código atual procura arquivo com busca textual dentro do contexto, e esta medição põe preço nessa escolha conforme o número de repositórios cresce, na mesma direção do resultado de que o BM25 ganha em escala (radar de 04/08). É também a exceção da série: aqui o ganho do método elaborado aparece em acerto além do custo, e a variável que muda entre os casos é o tamanho do corpus.
Quem publica vende o índice que aparece na ponta boa da comparação, a linha de base escolhida tem apenas primitivas de shell, ou seja, o piso do que um agente de busca consegue fazer, e a tarefa medida termina quando o trecho aparece, antes do problema que motivou a busca.
Random Attention troca o critério que decide o que jogar fora do KV cache, a memória que guarda o texto já processado e que estoura em raciocínio longo, por um sorteio uniforme dentro de cada cabeça de atenção, sem calcular pontuação nenhuma. Em quatro modelos e seis tarefas de raciocínio o sorteio empata com o melhor método de pontuação (0,874 contra 0,864 no MATH500 com Qwen3-4B, e 0,678 contra 0,684 no GPQA-Diamond com Phi-4-reasoning), e no servidor vLLM entrega de 32% a 43% mais vazão que ele. O LatentPress, de Zhengze Zhou e Hejian Sang, ataca outro objeto: escreve histórico de conversa e documento longo em tokens contínuos que o modelo lê direto pela interface de embedding, sem reconstruir texto na hora de responder. No LongMemEval isso dá 0,504 de acerto com compressão de 7,70 vezes, contra 0,490 da evidência sem compressão nenhuma, com desvio de 0,024, e contra 0,184 do resumo em texto e uma faixa de 0,426 a 0,312 da compressão por imagem. Escrever uma conversa leva 43 milissegundos, contra 407 a 645 do resumo em texto.Com desvio de 0,024, o 0,504 contra 0,490 é empate, e a leitura dos dois papers é a mesma: o método elaborado iguala a alternativa simples em acerto e ganha em custo. Vai na mesma direção do BM25 em escala (radar de 04/08) e da busca no histórico bruto empatando com memória estruturada (radar de 14/08), e acrescenta um caso em que o critério sofisticado empata dentro da margem.
Os dois têm limite declarado: o empate do sorteio vale no orçamento de cache escolhido, cerca de 4 vezes de compressão, e em pelo menos uma célula da tabela ele fica abaixo do concorrente; o adaptador do LatentPress é treinado casado com o leitor, o decodificador testado é um só, e o próprio resumo diz que a 16 vezes de compressão o método fica abaixo do contexto bruto. Os autores do Random Attention não constam do material desta apuração.
O modelo que a própria OpenAI classificou no nível Crítico de risco cibernético e disse sair para um conjunto limitado de organizações (radar de 04/09) chegou a conta paga de pessoa física em 24 horas.
Captura de tela de fórum não é evidência auditável, liberação escalonada por superfície explica boa parte dos relatos sem contradição nenhuma, e a própria nota já avisava ampliação nos próximos dias, o que pode fazer disso apenas o cronograma previsto acontecendo. Não há aqui fonte da fabricante sobre essa ampliação além da nota de 03/09: o feed de notícias da empresa não trouxe item novo depois das 13:15 GMT daquele dia.
As duas medidas do mesmo produto saíram no mesmo par de dias, e nenhuma delas é a que permitiria decidir, porque falta preço por unidade de trabalho nas duas pontas. A economia é a fornecedora medindo o próprio produto na própria casa, sem linha de base do que uma equipe humana de compras teria achado nas mesmas planilhas, e o maior valor da lista é projeção anualizada de item contratado sem uso, que ainda está por realizar. O consumo é relato de usuário, sem recibo, página de cota ou log.
A elegibilidade cruzada entre clientes de Grok e de Cursor é o primeiro efeito comercial visível da fusão das duas sob a SpaceX (radar de 16/08). A página de preço e cota do produto não foi aberta nesta apuração, e ela fecharia as duas pontas de uma vez.
As falas abaixo vêm traduzidas do inglês.
O autor da ferramenta declick declarou o auto promo na primeira linha e publicou a medição: nove servidores MCP reais, o protocolo que expõe ferramentas a agentes, somam 258 tools e 236.818 bytes de listagem crua, e a mesma superfície descrita pelo CLI que ele gera cai para 58.309 bytes, uma redução de 4,1 vezes. A discordância de u/can_a_bus argumenta que o MCP entrega permissão, autenticação e dica de erro em inglês para o modelo; o autor responde que isso é benefício de uma boa interface de ferramenta e não do protocolo.
Contexto gigante de tool é causado por design ruim de tool, provavelmente alguém portou um CLI para MCP querendo todas as features junto./u/tens919382
Quem mede vende a alternativa, os nove servidores são os que ele mesmo roda, e o próprio README admite que o payload de uma chamada isolada não encolhe. No índice do GitHub do mesmo dia aparece uma medição do ganho: a skill Caveman relata queda de 1.214 para 294 tokens de saída por resposta numa média de dez tarefas, com o autor declarando que carregar a skill custa de 1 a 1,5 mil tokens de entrada e pode dar prejuízo em tarefa curta. A mesma grandeza foi medida quatro dias atrás no pacote de skill que envia 2.649 tokens e mantém 212 sempre carregados (radar de 01/09), e nas três medições quem mede vende o conserto.
Autores de submissões à maior conferência de aprendizado de máquina relatam ter recebido um relatório de checagem automática das referências do próprio trabalho, visível no OpenReview, e dizem que a metarrevisão passou a trazer uma nota informando que a checagem de citações foi levada em conta na decisão. Quatro autores diferentes descrevem a mesma mecânica no fio, um deles com 0 de 37 referências sinalizadas.
Sinalizou uma das minhas referências como problemática citando veículo incorreto. É um paper totalmente válido, com veículo correto e bibtex correto no Google Scholar./u/ProfessionalNews4434
O blog oficial da conferência não traz post sobre o checador, e a busca não devolveu anúncio: o que existe são as diretrizes que responsabilizam o autor por citação inventada. Tudo aqui é relato de autor em fórum, o único falso positivo é contado por quem foi sinalizado, e não há como dizer nada sobre a taxa de erro do instrumento.
Assinantes do Claude relataram em 04/09 que a Anthropic zerou os limites de uso do ciclo, depois de horas de instabilidade no dia anterior. O resumo automático do moderador do fórum, gerado depois de cem comentários, descreve a divisão: parte dos usuários estava em 80 a 90% da cota e aproveitou, e os comentários mais votados são de quem recebeu o reset poucas horas antes do reset semanal que já teria de qualquer forma, um deles a 50 minutos de distância. u/TemporaryLevel922 e u/jimbo831 relatam que o plano Pro ficou de fora, com o segundo dizendo que passou horas sem conseguir usar o Opus no dia anterior.
Não há fonte oficial para nada disso: a página de histórico de incidentes da empresa não devolveu os registros nesta apuração, então nem a instabilidade que serve de motivo no fio está confirmada, e a exclusão do Pro pode ser efeito de janelas de ciclo diferentes. O aumento permanente de 25% com corte de 17% está marcado para 14/09 (radar de 30/08).