Filippe Barreto Sims

Startup Axiom resolve todas as questões do exame Putnam usando verificação formal com Lean. Marco supera humanos e outros sistemas de IA.

A Alphabet levantou US$ 85 bilhões com ações para IA. O recorde sinaliza fome do mercado, mas levanta a dúvida: quanto tempo dura esse apetite e o que isso significa para os IPOs de IA?

Pesquisadores revelam PAST2HARM, ataque que burla sistemas de IA multimodal com até 100% de sucesso. Entenda o risco e como se proteger.

OpenAI integrou busca de empregos e editor de currículos ao ChatGPT. Veja como funciona, custos implícitos e o que muda para quem usa IA para recrutamento.

OpenAI expande Codex para além da programação, transformando-o em assistente de pesquisa, análise e automação. O que isso muda na prática?

OpenAI coloca GPT-5.5, GPT-5.4 e Codex no Amazon Bedrock. Mesmo preço, contratos AWS contam. Expansão prática para empresas.

Holo3.1 chega como um agente de IA executado localmente, prometendo baixa latência e privacidade para controle de computador. Entenda como funciona e se vale a

Jensen Huang anunciou Cosmos 3, Nemotron 3 Ultra e RTX Spark. O que esses lançamentos significam na prática para quem trabalha com IA?

Nous Research lança Hermes Desktop, agente de IA open-source sob MIT que roda localmente em qualquer sistema. Entenda o impacto para desenvolvedores e usuários.