OpenAI resolve problema aberto de matemática: e agora?
OpenAI publicou provas formais em Lean geradas por modelo interno. Entenda o que muda em raciocínio, custo e verificação.
Ler matéria completaO próximo capítulo já começou
As ideias, os avanços e as ferramentas que estão redesenhando o mundo. Entenda o que importa e descubra o que vem a seguir.
OpenAI publicou provas formais em Lean geradas por modelo interno. Entenda o que muda em raciocínio, custo e verificação.
Ler matéria completa
Mirror Particle rejeita LLMs e cria world model de comportamento humano. O que muda para marcas e produto.
Agentes de IA desenharam o openTPU, acelerador open-source que roda LLMs reais em FPGA a 94% do pico de DRAM. Entenda o impacto.
Seguradoras já precificam falhas de agentes de IA. Entenda por que D&O, culpa executiva e custo operacional entraram no jogo.
Gemini 3.8 Live Avatar junta voz e video gerado na hora em 97 idiomas. Funciona, mas custo, latencia e escala vao decidir se vinga.
Google lança Gemini 3.8 TTS com vozes por prompt e dublagem em escala. Entenda custo, controle e impacto real.
Gemini 3.8 Live promete agentes de voz que pensam enquanto falam. Analisamos latência, custo e o que muda para quem opera em produção.
Mistral Large 4 é o modelo de 1T da França para disputar com EUA e China. Entenda custo, latência e impacto open-weight.
Mistral Large 4 tem 1 trilhão de parâmetros e faz o trabalho sujo de segurança que Claude e GPT recusam. Vale rodar on-prem?
Seul quer um modelo frontier nacional para cortar dependência dos EUA e bater a China. Entenda custo, infra e impacto para quem constrói.
Ativistas invadiram jantar da Nvidia em Londres. Entenda o que o backlash anti-IA muda para quem constrói e opera modelos hoje.
Wikimedia flagrou agentes da OpenAI com milhões de requisições, edições não autorizadas e possível queda em maio. Entenda o risco.
Wikimedia confirma edições, sondagem e scraping massivo por agentes da OpenAI. Entenda o risco e como proteger sua plataforma.
Reflection lança Beam, MoE de 501B que ativa 23B por token, iguala GLM 5.2 com 3x menos computação e mira custo real de coding agents.
DeepSeek levanta mais de US$12 bi com Tencent e CATL, aposta em inferência barata e mira IPO em 2027. O que muda em custo e infra.
Plano de US$200 da Anthropic vale 5x mais que o da OpenAI em uso real. Entenda creditos, limites e o que muda para voce.
Ferramenta decodifica fMRI de alta resolução e reconstrói o que você vê. Funciona, mas exige scanner gigante. Veja limites e riscos.
Anthropic lança Claude Docs e Slides e unifica tudo em 'one Claude'. Testei o fluxo e conto se dá para largar o Google Docs hoje.
TypeSafe lançou o Jev, modelo System One para decidir e rotear 100x mais rápido e 200x mais barato. Entenda o impacto real.
Curadoria editorial de IA Feed: as notícias, análises e lançamentos que valem o seu tempo.