In partnership with
Bom dia. Bem-vindo novamente à InferêncIA News.
Resolver um problema matemático exige mais do que chegar a uma resposta convincente. É preciso mostrar como ela foi obtida, permitir que outras pessoas examinem cada passo e descobrir se o resultado acrescenta algo ao que já se sabia. A IA começa a participar desse trabalho em uma escala que merece atenção, mas a quantidade de textos produzidos ainda não diz quanto conhecimento novo foi demonstrado. A publicação de uma coleção de resultados pela OpenAI torna essa diferença especialmente importante.
Nesta edição, vamos olhar para o que foi divulgado e para o trabalho de verificação que continua necessário. Também há formação em IA voltada a professores no Brasil, Claude dentro de arquivos do Google Workspace e novidades na análise de vídeos pela TwelveLabs. Nas ferramentas, duas propostas para tarefas bastante diferentes: criar protótipos de jogos e organizar figuras científicas. Em cada caso, vale conhecer a aplicação sem esquecer as condições de acesso e o que ainda precisa de revisão humana.
🤝 Conteúdo dos nossos parceiros
Your AI prompts are leaving out 80% of what you're thinking.
When you type a prompt, you summarize. When you speak one, you explain. Wispr Flow captures your full reasoning (constraints, edge cases, examples, tone) and turns it into clean, structured text you paste into ChatGPT, Claude, or any AI tool. The difference shows up immediately. More context in, fewer follow-ups out.
Used by teams at Microsoft, Amazon, and Notion. Try Wispr Flow free on Mac, Windows, iPhone, and Android.
OpenAI publica resultados matemáticos para revisão externa
A OpenAI divulgou uma coleção de resultados produzidos com um modelo de fronteira ainda não lançado. O material foi colocado em um repositório público, permitindo que pesquisadores examinem os argumentos, apontem problemas e acompanhem correções. A empresa também relata ter consultado um grupo independente do Institute for Advanced Study sobre como compartilhar esse trabalho.
O catálogo reúne 722 manuscritos distribuídos em 372 famílias de resultados relacionados. Essa organização importa: há textos principais, argumentos complementares, consequências e provas alternativas. Não seria correto transformar a contagem de arquivos em “722 problemas inéditos resolvidos”. O próprio repositório informa que os trabalhos estão em diferentes etapas de verificação.
Parte das provas foi formalizada em Lean, um sistema que verifica se os passos de uma demonstração seguem as regras lógicas declaradas. Isso permite uma checagem adicional dos argumentos formalizados. Ainda assim, a verificação formal não decide sozinha se um resultado é novo, relevante ou bem situado na literatura. Outros manuscritos não passaram por essa formalização, e o repositório admite a possibilidade de problemas nesses textos.
Para quem acompanha IA aplicada à ciência, o ponto mais interessante é poder examinar o material para além do anúncio. Haverá trabalho para entender quais resultados se sustentam, onde estão as contribuições e como pesquisadores conseguirão aproveitar a coleção. A divulgação abre essa avaliação; não a encerra. E publicar os manuscritos não significa que o modelo usado já esteja disponível no ChatGPT.
🗣️ Pitaco: Eu prefiro acompanhar o que vai sobreviver à revisão do que me impressionar com a contagem de manuscritos. Colocar os argumentos à disposição já é um avanço importante. Agora vem a parte menos confortável para um anúncio de produto: aceitar correções, explicar limites e mostrar o que realmente acrescenta à matemática. É aí que essa história começa a ficar interessante.
🤝 Conteúdo dos nossos parceiros
Turn today's calls into tomorrow's proposal
Wispr Flow Notetaker brings your meetings into Claude or ChatGPT through a built-in connector. Ask for a proposal draft or a deal recap, and your AI works from an accurate record of what was said.
Appai detalha formação em IA aplicada ao trabalho de professores
A Appai destacou dois cursos de sua programação de outubro: NotebookLM na Prática, com Kátia Ethiénne, e IA Relevance: Agentes para professor, com Regis Costa Oliveira. As propostas abordam organização de materiais educacionais, produção de recursos e uso de agentes no contexto docente. A publicação de 7 de outubro detalha uma programação que já vinha sendo anunciada no início do mês, portanto não se trata do lançamento de duas ferramentas novas.
O recorte interessa porque aproxima a formação das tarefas que o professor já precisa realizar. Preparar uma aula, reunir fontes e adaptar um material exige decisões sobre conteúdo e linguagem que não desaparecem com a automação. O aproveitamento de um curso depende de como essas decisões entram no trabalho, não apenas de conhecer mais interfaces.
Há também um limite prático: as condições de participação devem ser conferidas no Portal do Associado. Não é uma oferta pública universal cuja gratuidade esteja confirmada aqui. E qualquer aplicação com informações de alunos precisa respeitar as regras da instituição e a proteção desses dados. A programação é uma iniciativa de formação; não demonstra, por si só, melhora no aprendizado dos estudantes.
Claude chega ao Google Docs, Sheets e Slides em versão beta
O complemento permite conversar com Claude na lateral do arquivo aberto e pedir alterações em documentos, planilhas ou apresentações. A documentação prevê um modo de revisão antes das mudanças, útil para manter o controle sobre o que será aplicado. Isso reduz a necessidade de transportar o conteúdo entre janelas, mas não dispensa conferir fórmulas, referências e redação.
O recurso está em beta para assinantes Pro, Max, Team e Enterprise, sujeito às permissões da conta Google e da organização. Complemento e conectores são caminhos distintos de acesso; não convém presumir que instalar um deles libera todos os arquivos. Outra limitação documentada: o complemento não lê nem gerencia comentários.
Pegasus 1.6 amplia análise de vídeos em primeira pessoa
A TwelveLabs apresentou uma atualização de seu modelo de compreensão de vídeos, com ênfase em imagens captadas do ponto de vista de quem executa uma atividade e em identificação mais consistente de elementos da cena. São capacidades relevantes para organizar acervos e estudar sequências de ações, inclusive em projetos de robótica.
Isso não equivale a demonstrar que um robô executa a tarefa de forma autônoma ou segura. A atualização trata da interpretação do material visual. Para projetos brasileiros, há ainda uma condição a observar: a documentação informa suporte parcial ao português. O desempenho no idioma e no tipo de vídeo pretendido precisa ser avaliado antes de uma adoção. A atualização foi anunciada em 6 de outubro.
O que faz: Cria experiências e protótipos de jogos a partir de descrições em texto, com propostas em 2D e 3D. É uma ferramenta experimental do Google Labs.
Para quem serve: Pessoas que querem explorar uma ideia de jogo, discutir uma mecânica ou produzir um primeiro exemplo para uma conversa criativa.
Ressalva: Não deve ser confundido com um ambiente de produção que assegure um jogo acabado. A página informa acesso para maiores de 18 anos, disponibilidade em países selecionados e possível necessidade de assinatura. A disponibilidade no Brasil não foi confirmada. Vale checar essas condições antes de planejar um trabalho em torno da ferramenta.
O que faz: Ajuda a compor figuras científicas editáveis com elementos como ícones, setas e legendas, a partir de orientações e esboços. A proposta é permitir ajustes nos componentes da figura, em vez de entregar apenas uma imagem fechada.
Para quem serve: Pesquisadores, estudantes e equipes que precisam comunicar relações e processos em materiais científicos.
Ressalva: O acesso ao Leo exige o complemento pago de IA e utiliza créditos, conforme a documentação específica do recurso. A presença de outros recursos gratuitos na BioRender não garante acesso gratuito ao Leo nem licença para publicação. É necessário conferir os termos do plano e revisar a precisão científica da figura. Esta é uma indicação de ferramenta, não um lançamento cuja data nas últimas 24 horas tenha sido confirmada.
🤝 Conteúdo dos nossos parceiros
Stop typing AI prompts. Start talking.
You think 4x faster than you type. So why are you typing prompts? Wispr Flow turns your voice into ready-to-paste text inside any AI tool. Speak naturally, tangents and all, and Flow cleans it up. Available on Mac, Windows, iPhone, and Android.
MIT compara a evolução dos aceleradores de IA em um levantamento de mais de 120 dispositivos. A comparação usa desempenho e potência de pico, não um teste que determine o melhor equipamento para toda aplicação.
Atlassian anuncia parceria estratégica com a OpenAI para conectar modelos ao contexto de trabalho do Teamwork Graph. Parte das funções autônomas descritas continua sendo uma próxima etapa, não uma entrega já disponível.
Novo conjunto de dados reúne respostas de 816 organizações na Eslováquia sobre adoção de IA. A publicação é recente, mas a coleta ocorreu em 2025 e o recorte não representa todas as empresas.
Estudo testa redes neurais para estimar custos de consultoria em engenharia usando 205 contratos na Turquia. O trabalho examina previsões com dados incompletos, não uma economia financeira já obtida por clientes com IA.
OpenAI e Ironclad transformam tarefas contratuais em uma avaliação de agentes com 11 tarefas de trabalho jurídico e compras. Os tempos apresentados são estimativas de execução simulada, não uma medição de produtividade de clientes.
A coleção matemática merece ser acompanhada pelas revisões e pelos resultados que pesquisadores conseguirem confirmar. Nos usos mais próximos do dia a dia, as perguntas são igualmente concretas: quem pode acessar a ferramenta, o que ela altera, quais informações recebe e quem confere a saída? São detalhes que ajudam a decidir se uma novidade cabe no trabalho, mesmo quando o anúncio oferece uma impressão bem mais simples.
Se uma destas propostas chamou sua atenção, escolha a tarefa que gostaria de melhorar antes de escolher o produto. E, se quiser responder a esta edição, me conte onde a IA já ajuda e onde ainda exige mais esforço de conferência do que você esperava. Esse tipo de observação ajuda a encontrar assuntos que valem uma conversa mais aprofundada.
Nos vemos amanhã…
Filipe, o único humano nesta empresa.
