IA ainda tropeça ao transformar respostas de matemática em provas formais
Benchmark MathAdv mostra que modelos de IA ainda têm dificuldade em transformar respostas corretas em provas formais verificadas.
Categoria: Inteligência Artificial
Modelos de IA, LLMs, agentes, IA generativa e pesquisa em inteligência artificial
4314 publicações encontradas
Chat agêntico multi-tenant: aplicações corporativas com Bedrock Knowledge Base
Guia da AWS mostra como construir chat agêntico multi-tenant com isolamento de dados usando Amazon Bedrock Knowledge Base.
Recuperação agêntica observável com Amazon Bedrock Knowledge Base e CloudFormation
Tutorial da AWS mostra como construir recuperação agêntica observável com Amazon Bedrock Knowledge Base e CloudFormation.
AWS é reconhecida como líder em infraestrutura de IA no Forrester Wave Q4 2025
Avaliação da Forrester com 13 provedores coloca a AWS com a maior pontuação em Estratégia e nota máxima em 16 critérios de…
AWS lança Agent Registry para governar agentes e ferramentas de IA em escala
Catálogo central, pesquisável e governado para agentes, ferramentas e skills. Empresas como Southwest e PepsiCo já usam para evitar duplicação e IA…
Ex-aluno de Harvard levanta US$ 6 milhões para criar o ‘Harvey dos policiais’
Startup Blue Voice oferece orientação em tempo real sobre leis e protocolos a agentes em campo e já atende 225 agências em…
Instagram limita alcance de perfis que usam IA sem declarar
Plataforma renomeia o selo de criador de IA para perfil gerado por IA e reduz o alcance de contas que escondem personagens…
Pentágono lança versões próprias do ChatGPT e do Grok para 3 milhões de funcionários
Portal GenAI.mil ganha ChatGPT Mil e Grok for Government, voltados a necessidades de combate e sem a coleta de dados dos produtos…
NVIDIA BioNeMo e Claude Science: agentes de IA executam pesquisa científica de ponta
Integração entre NVIDIA e Anthropic permite a agentes de IA orquestrar previsão de estrutura de proteínas com OpenFold3 e Boltz-2.
Microsoft Research lança GigaPath-Flash, modelos de patologia 50 vezes mais eficientes
Família Flash destila modelos de fundação de patologia com 50x menos computação, abrindo caminho para descoberta em escala populacional.
Google lança TimesFM-3, modelo de previsão de séries temporais multivariadas
Novo modelo de 330 milhões de parâmetros faz previsão multivariada em uma única passada e lidera benchmarks públicos de séries temporais.
Soberania da IA: no TechBBQ, Europa debate quem deve controlar a tecnologia
Conferência nórdica em Copenhague coloca soberania tecnológica no centro: quem controla os modelos e a infraestrutura por trás da onda de IA.
Clipto usa IA para buscar terabytes de arquivos e atinge avaliação de US$ 250 milhões
Startup de São Francisco levanta US$ 15 milhões para indexar vídeos, áudios e documentos locais, permitindo buscas por linguagem natural e integração…
Seu LLM pode devolver JSON perfeito e ainda assim estar errado
Structured Outputs garantem forma, não verdade. Como evitar que o modelo invente valores com campos nullable e evidência.
Por que a complexidade do RAG precisa ser conquistada
Antes de empilhar agentes e reranking, meça onde a falha acontece: um caminho progressivo de oito níveis para RAG.
DSpark: decodificação especulativa acelera inferência de LLMs em até 31%
Técnica da DeepSeek combina rascunho paralelo com componente sequencial; teste com Qwen3-8B mostrou ganho real de 31,5%.
FAQ como RAG: quando você pode desenhar o próprio corpus
Quando a base é uma FAQ escrita pela equipe, parsing vira schema, recuperação vira cache e o few-shot fica dinâmico.
Debian decide não banir código gerado por IA na distribuição Linux
Distribuição exige revisão humana e responsabilidade do contribuidor, mas não exige declaração de uso de IA.
Nvidia investe US$ 3,5 bilhões na MediaTek para ampliar ecossistema de chips de IA
Acordo dá à fabricante taiwanesa acesso ao NVLink Fusion para criar chips de IA sob medida e plugados em data centers da…
Ajustadores de seguros lideram rejeição à IA no trabalho, mostra pesquisa do Glassdoor
Estudo revela que 98% dos ajustadores que citam IA em avaliações são críticos — e o emprego no setor caiu 21% em…
Circleback lança plano gratuito para disputar o mercado de assistentes de reunião
Startup apoiada pela Y Combinator aposta em plano grátis para crescer; assinatura paga parte de US$ 14 por mês com API e…
Instagram renomeia rótulo de IA e passa a punir perfis que fingem ser humanos
Rede social troca o selo “criador de IA” por “perfil gerado por IA” e atualiza as regras contra contas que se passam…
ChatGPT é classificado como motor de busca de grande dimensão na União Europeia
OpenAI terá de mitigar riscos do ChatGPT a menores, saúde mental e conteúdo ilegal. Reddit e Roblox também foram enquadrados pela Lei…
Ferramentas de troca de rosto deixam rastros da identidade, mostra estudo
Análise de sete ferramentas de troca de rosto mostra que nenhuma apaga a identidade original por completo. Rastros persistem após cinco trocas.