Checamos o que importa, para você não precisar
The Abel Times
Vol. 1 · Nº 14 · Daily News IA · Quarta-feira, 7 de outubro de 2026 · Atualizado às 8h00
Capa · IA e ciência
722 manuscritos de uma vez: a máquina já produz matemática mais rápido do que alguém consegue conferir
Nesta terça (06/10), a OpenAI publicou no GitHub, sob licença aberta, 722 manuscritos de matemática gerados por um modelo interno que ainda não foi lançado. Eles se organizam em 372 famílias de resultados, tiradas de uma avaliação com cerca de 4 mil problemas em aberto. Nenhum passou por revisão de pares. Parte foi formalizada em Lean, linguagem que permite a um computador conferir a prova passo a passo.
1. O que saiu. Segundo a Exame, cada resultado consumiu em média o equivalente a três horas de raciocínio do ChatGPT Pro. O The Decoder relata que quase todos vieram de um único pedido a um único agente, em contraste com a solução de Navier-Stokes de setembro, que exigiu um enxame de 10 mil agentes. A coleção inclui melhorias em algoritmos conhecidos e avanços ligados à hipótese de Riemann. A própria OpenAI avisa que resultados ainda não formalizados podem ter problemas, promete registrar correções e diz que vai financiar oficinas e conferências para a comunidade examinar o material.
2. O que os matemáticos pediram. A empresa diz ter consultado o grupo consultivo de matemática e IA do Institute for Advanced Study, que em 29/09 recomendou publicar com documentação, referências, descrição do processo e provas formais. O mesmo grupo, segundo a Exame, não endossa testar problemas avançados em modelos fechados, fora do alcance da comunidade, e pede que os laboratórios parem com isso. Semanas antes, Terence Tao escreveu que resolver problemas cedo demais por métodos só de IA, sem transparência no processo, pode virar prejuízo líquido para o avanço da área (MIT Technology Review).
3. O gargalo mudou de lugar. Produzir resultado deixou de ser a parte escassa. Conferir e entender passaram a ser. O Lean resolve a primeira metade de forma mecânica; a segunda continua dependendo de gente que leia, compare e decida o que importa.
O que antecipa
Revisão vira infraestrutura. Certificado formal, versões e registro público de correções tendem a ser cobrados de qualquer laboratório que anuncie descoberta feita por IA.
Janela
Datafolha do 2º turno previsto para 08/10 · audiências na Austrália até 09/10 · protocolo de agente v0.1 ainda em outubro · PEC 6x1 pode ir a voto na semana que vem · 2º turno 25/10.
Implicação
Diante de relatório feito por IA, a pergunta útil deixou de ser quantas conclusões ele traz. Passou a ser como cada uma pode ser conferida e por quem.
Precisa olhar
OpenAI Info
722 manuscritos
Matemática sem revisão de pares.
Meta e Sierra Ação
Protocolo de agente
Especificação sai ainda em outubro.
Claude Ação
Dentro do Google Docs
Beta para planos pagos.
Segurança Ação
Porta dos fundos
Modelo aberto adulterado por menos de US$ 50.
Brasil Info
CNE e IA na escola
IA não dá nota em redação.
The Abel Times · 07.10.2026 · A1
The Abel Times
Quarta-feira, 7 de outubro de 2026 · A2 · Inteligência Artificial
Inteligência Artificial · Brasil + mundo
Provas em lote, agente com crachá, Claude na planilha e a regra da escola
Sem alarme. Cada item: o que aconteceu · por que importa · o que pode vir a seguir. Notícias de 03 a 07/10.
Mundo · Pesquisa / Ciência
1. OpenAI abre a matemática de um modelo que ninguém de fora pode usar
O que aconteceu. Os 722 manuscritos da capa saíram com dez resumos do raciocínio do modelo, estimativas de computação e protocolos de revisão e citação. O modelo segue interno; a empresa diz que trabalha para liberá-lo.
Por que importa. A ciência ganha outro formato de entrega: repositório público com certificado de máquina, antes de qualquer revista. Quem não tem o modelo só confere o resultado, sem repetir o caminho.
O que pode vir. Matemáticos contestando as provas sem certificado e pressão para outros laboratórios seguirem o padrão. Fontes: Exame ·The Decoder ·MIT Technology Review
Mundo · Agentes / Atendimento
2. Meta e Sierra propõem regra comum para o agente pessoal do cliente entrar na empresa
O que aconteceu. Em 06/10, Bret Taylor e Clay Bavor, da Sierra, anunciaram com a Meta o Personal Agent Protocol, padrão aberto para o agente de um consumidor se identificar e agir junto a uma empresa. A sessão usa OAuth, começa como convidado e, com login, ganha acesso de leitura ou de escrita, por escolha do cliente. A empresa decide se o agente usa o site, APIs ou o agente dela. Shopify, Stripe e Walmart estão entre os parceiros.
Por que importa. Hoje o agente navega como gente ou liga para a central. Um padrão mostra à empresa quem o agente representa e o que pode fazer. Pagamento fica para uma extensão futura.
O que pode vir. Especificação v0.1, oficinas e implementação de referência ainda em outubro. OpenAI, Anthropic, Amazon e Google não estão entre os parceiros. Fontes: Sierra ·SiliconANGLE ·The Daily Brief
Mundo · Ferramentas / Produtividade
3. Claude passa a trabalhar dentro do Google Docs, Planilhas e Apresentações
O que aconteceu. A Anthropic abriu em 06/10, em beta público para todos os planos pagos, o complemento Claude for Google Workspace, instalado pelo Marketplace do Google. Uma barra lateral reescreve trechos sem quebrar a formatação, escreve fórmulas e monta tabelas, e cria slides com o tema existente. Um modo pede confirmação antes de cada edição. Conectores novos permitem editar os arquivos a partir do próprio Claude, colando o link.
Por que importa. O assistente sai da aba separada e vai para onde o documento já está. Some a etapa de copiar e colar, onde se perde formatação e contexto.
O que pode vir. Disputa direta com o Gemini, nativo no Workspace, e administradores escolhendo qual assistente liberar. Fontes: 9to5Google ·Anthropic
Mundo · Segurança / Modelos abertos
4. Porta dos fundos num modelo aberto, por menos de US$ 50
O que aconteceu. A ProjectDiscovery publicou em 06/10 uma prova de conceito: um ajuste fino do Qwen2.5-7B-Instruct com 125 exemplos envenenados (20% do conjunto) que se comporta normalmente até ouvir uma frase-gatilho. Aí aciona um comando remoto: na demonstração com o Codex CLI, leu arquivos .env e os enviou para fora. O treino levou cerca de 2h30 numa GPU L4. As taxas de 100% de acerto são da própria empresa e não foram replicadas.
Por que importa. Peso de modelo vira cadeia de suprimentos: um modelo de terceiros pode passar nos testes e carregar o gatilho, e o risco cresce quando ele comanda um agente com acesso a chaves e terminal.
O que pode vir. Mais exigência de procedência e assinatura de pesos, e agentes rodando em ambiente isolado, sem rede livre, como recomendam os autores. Fontes: ProjectDiscovery ·DeAI
Brasil · Educação / Regulação
5. Diretrizes do CNE saem no Diário Oficial e vetam IA na nota de redação
O que aconteceu. O parecer do Conselho Nacional de Educação, aprovado por unanimidade em setembro, foi publicado no DOU em 06/10 e ainda depende de homologação do ministro da Educação. Pelo texto, IA não pode corrigir, avaliar nem sugerir nota em redações e provas dissertativas. Em prova objetiva pode ajudar, com validação humana prévia e documentada. Detector de IA não pode, sozinho, servir para reprovar ou punir aluno. Até o 5º ano, nada de uso autônomo de ferramentas generativas sem supervisão.
Por que importa. É a primeira régua nacional, da escola básica à universidade, pública ou privada. Homologado o texto, haverá 12 meses para adaptar políticas e contratos; as proibições valem de imediato.
O que pode vir. Revisão de contratos com plataformas de correção automática. Fontes: Fast Company Brasil ·Terra ·MEC/CNE
The Abel Times · 07.10.2026 · A2
The Abel Times
Quarta-feira, 7 de outubro de 2026 · A3 · Radar · Aprenda · Mundo
Radar · 6 a 24 meses
Três sinais fracos que podem pesar
1. A memória do agente inclui quem nunca se cadastrou
Instruções internas do Muse, agente pessoal da Meta, extraídas pelo pesquisador Karan Joshi e publicadas pela Wired em 03/10, mostram um processo que cria, a cada hora, “uma página para cada pessoa na vida do usuário”: família, colegas, amigos, com datas, histórico e sugestões para “fortalecer” a relação. A Meta diz usar informação pública e o que o usuário escolhe compartilhar. Em 6 a 24 meses, o perfil de terceiros guardado por agentes tende a virar tema de autoridades de proteção de dados, porque a pessoa descrita não consentiu nada.
2. Sinal probabilístico não decide sozinho
O CNE escreveu em norma que detector de IA não basta para punir aluno. Na mesma semana, a OpenAI mostrou que trocar 25% das palavras derruba a detecção da própria marca-d'água em texto para 17%. Em 12 a 24 meses, a mesma lógica pode chegar a seleção de pessoal, contratos e concursos: o detector entra como indício e alguém continua responsável pela decisão.
3. Certificado de máquina como padrão de entrega
A OpenAI publicou matemática com prova formal, histórico de versões e protocolo de correção. Se o formato pegar, em 12 a 24 meses outras áreas onde a IA produz em volume, como código e auditoria, podem passar a exigir algo parecido: o resultado vem junto com o jeito de conferir.
Aprenda hoje
Prova formal: o que o computador confere e o que ele não confere
Um assistente de provas como o Lean recebe o enunciado e a demonstração escritos numa linguagem rígida, com cada definição explícita. Ele verifica se cada passo segue dos anteriores pelas regras aceitas. Se aceita, a prova está correta para aquele enunciado. Há dois limites. Primeiro, se alguém traduzir o problema para a linguagem formal de um jeito errado, o computador confirma a prova da coisa errada. Segundo, ele não diz se o resultado é importante nem explica a ideia que o tornou possível. Conferir é mecânico. Entender e julgar relevância continuam sendo trabalho humano.
Pergunta do dia
Quando uma máquina produz em semanas mais resultados do que uma área inteira consegue revisar em um ano, quem decide o que merece ser lido primeiro?
Conhecimento geral
Mundo em pílulas
The Abel Times · 07.10.2026 · A3
The Abel Times
Quarta-feira, 7 de outubro de 2026 · A4 · Brasil · Rascunho X
Top 3 · Brasil
Três histórias para ler com calma
1. União-PP, Caiado e Zema fecham com Flávio; Lula mira a abstenção
G1 (06/10): a federação União Brasil e PP anunciou apoio unânime a Flávio Bolsonaro no 2º turno, segundo a senadora Tereza Cristina. Ronaldo Caiado (PSD), quinto colocado com 2,18% dos válidos, e Romeu Zema (Novo), sexto com 0,27%, também declararam voto. Augusto Cury e Renan Santos, terceiro e quarto, dizem que não apoiarão ninguém. No 1º turno, Flávio teve mais de 56 milhões de votos e Lula, 53,8 milhões. A CNN Brasil relata que a meta de Lula é reduzir a abstenção para ampliar a margem no Nordeste.
Leitura. A federação elegeu 86 deputados, 20 a menos que em 2022. O apoio de cúpula reforça estrutura de campanha; a transferência de voto é outra conta.
2. Fim da 6x1: Senado abre o debate com só 6 dos 15 senadores do PL presentes
G1 e Agência Senado (06/10): a primeira de cinco sessões de discussão teve apenas discursos a favor de reduzir a jornada. Davi Alcolumbre prevê votação em 1º turno na semana que vem e diz que a mudança atinge quase 40 milhões de trabalhadores na escala 6x1. A PEC precisa de 49 votos em dois turnos. PL e Republicanos se reúnem nesta quarta (07/10) para definir como evitar a votação e defendem texto alternativo, com redução proporcional de salário. Pela PEC, a jornada cai para 42 horas em dois meses e para 40 horas um ano depois.
Leitura. Ausência em plenário virou instrumento de campanha. O governo aposta em expor quem travar o voto antes de 25/10.
3. ANP leiloa hoje 326 áreas de petróleo e gás, com bônus mínimos de R$ 2,186 bilhões
G1 (07/10): às 9h, o ciclo de partilha oferece 13 blocos do pré-sal nas bacias de Campos e Santos, com bônus fixos de R$ 1,235 bilhão e 19 empresas habilitadas, entre elas Petrobras, Shell e TotalEnergies. Às 14h, a concessão oferece 308 blocos em nove bacias e cinco áreas marginais, com 46 empresas habilitadas. Na segunda, a ANP retirou cinco áreas da Bacia do Parnaíba por erro na aplicação de critérios socioambientais. O valor mínimo só entra se todas as áreas forem arrematadas.
Leitura. Com o Brent acima de US$ 100, o leilão mede quanto o setor quer apostar em exploração de longo prazo num ano de eleição.
Rascunho · X (não publicado)
O próximo cliente da sua central pode não ser uma pessoa. Meta e Sierra anunciaram nesta terça um protocolo aberto para o agente pessoal do consumidor entrar na empresa: login por OAuth, acesso de convidado, só leitura ou permissão para alterar pedido, sempre por escolha do cliente. Walmart, Shopify e Stripe estão entre os parceiros e a especificação sai ainda em outubro. Em mais de 20 anos de atendimento, aprendi que canal novo chega antes do processo. Quem cuida de atendimento já pode decidir três coisas: o que um agente consulta como convidado, o que exige login e qual ação continua pedindo uma pessoa. Rascunho The Abel Times · 07/10/2026 · aguardando OK do Abel para publicar
Fontes desta edição
Exame, The Decoder, MIT Technology Review (OpenAI) · Sierra, SiliconANGLE, The Daily Brief (protocolo) · 9to5Google, Anthropic (Claude) · ProjectDiscovery, DeAI · Fast Company Brasil, Terra, MEC/CNE · Wired (Muse) · Nobel Prize · Al Jazeera · Economy Middle East · CNN · G1 · CNN Brasil · Agência Senado. Continuidades: Austrália até 09/10, relatório em 30/11; pesos do Beam em outubro; Gemini Enterprise BR 15/10; GPTs: criação até 26/10.
The Abel Times · 07.10.2026 · A4