
Mistral AI Lança Leanstral 1.5: Modelo Open-Source Resolve 587 de 672 Problemas do PutnamBench
Mistral AI disponibiliza Leanstral 1.5 sob licença Apache 2.0, um modelo de 119B especializado em provas matemáticas com Lean 4 que satura…
Modelos de IA, LLMs, agentes, IA generativa e pesquisa em inteligência artificial
4514 publicações encontradas

Mistral AI disponibiliza Leanstral 1.5 sob licença Apache 2.0, um modelo de 119B especializado em provas matemáticas com Lean 4 que satura…

Tutorial prático mostra como usar o lift-pdf para construir um pipeline de extração de dados de notas fiscais com IA, enfrentando desafios…

Tutorial prático sobre o mecanismo ReAct (Reason + Act) que permite a agentes de IA raciocinar, agir e se adaptar a novas…

Funcionários do Google DeepMind em Londres enfrentam resistência nas negociações iniciais sobre sindicalização, com alegações de técnicas antissindicais e ausência da liderança…

Estudo com experimentos controlados mostra que o que importa não é o tamanho do documento, mas onde a informação está localizada. E…

Empresa lança Claude Science, plataforma para cientistas, e revela planos de descobrir tratamentos para doenças negligenciadas — entrando na corrida farmacêutica da…

Colaboração entre laboratório de IA e estúdio de cinema promete criar novas ferramentas para cineastas, com investimento do Google na produtora.

Da instalação da SDK ao streaming de respostas: aprenda a fazer sua primeira chamada à API do Claude, interpretar o objeto de…

Esqueça chunk-embed-cosseno-top-k. Uma série sobre Enterprise Document Intelligence revela que recuperação é filtragem em tabelas estruturadas, embeddings vêm por último, e palavras-chave…

Cansado de pagar tokens para organizar anotações que já tinha no disco, um desenvolvedor construiu um compilador Python determinístico que transforma markdown…

Farmacêutica japonesa terá acesso à plataforma Pharma.AI da Insilico Medicine em acordo que pode chegar a US$ 600 milhões. É o terceiro…

WebBrain é um agente de IA gratuito e open-source que roda como extensão do Chrome e Firefox, lê páginas, extrai dados e…

Startup Interfaze (YC) lança o primeiro modelo open-source de ASR multilíngue por difusão. Com apenas 42M de parâmetros treináveis sobre um backbone…

A Apple anunciou na WWDC 2026 que seu Private Cloud Compute (PCC) será executado pela primeira vez fora de seus próprios data…

Se você achava que inteligência artificial servia apenas para automatizar tarefas de trabalho, prepare-se: o OpenClaw está sendo usado para…

A AWS anunciou um investimento de US$ 1 bilhão em uma nova organização de engenharia que vai alocar milhares de engenheiros de…

Em reunião interna, CEO da Meta reconheceu que o progresso dos agentes de IA não acelerou como projetado, revelou que os cortes…

A Anthropic revelou os detalhes dos classificadores de segurança do Claude Fable 5, que dividem usos de cibersegurança em quatro categorias, e…

Tutorial completo de RAG multimodal: use o RAG-Anything no Google Colab para indexar e consultar texto, tabelas, equações e imagens com recuperação…

Alibaba lança o Page Agent, um agente de IA open source em JavaScript que controla interfaces web diretamente do DOM, sem screenshots…

Contas de coding agents estão explodindo: times gastam 6x mais sem perceber. LangSmith oferece observabilidade unificada, engine de otimização e cost caps…

Guia prático com cinco recomendações para treinar agentes multi-turno com reinforcement learning no Amazon SageMaker AI, incluindo design de recompensa, ambiente de…

Cursor quer continuar oferecendo modelos da OpenAI e Anthropic mesmo após ser adquirida pela SpaceX por US$ 60 bilhões. A decisão testará…

Meta entra no mercado de games com Pocket, app que usa IA generativa para criar jogos interativos a partir de prompts de…