Categoria: Inteligência Artificial
Modelo de 122B em 48GB: a promessa da edge AI
General Instinct comprime Qwen3.5-122B para rodar em hardware de borda com desempenho superior. Como fizeram e o que isso muda na prática.
Ler mais
Axiom resolve Putnam 12/12: verificação formal turbina RL em matemática
Startup Axiom resolve todas as questões do exame Putnam usando verificação formal com Lean. Marco supera humanos e outros sistemas de IA.
Ler mais
OpenAI no AWS: GPT-5 e Codex agora no Bedrock
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.
Ler mais
Qwen3.5 35B A3B uncensored: MTP total preservado e formatos NVFP4
Modelo Qwen3.5 35B A3B sem censura agora disponível com 785 MTPs nativos preservados. Formatos: Safetensors, GGUFs, NVFP4 e GPTQ-Int4.
Ler mais
Karpathy troca OpenAI por Anthropic para criar IA autocorretiva
Andrej Karpathy deixa a OpenAI e vai para a Anthropic trabalhar em autoaperfeiçoamento de modelos. O que isso significa para o mercado de IA?
Ler mais
Cognition levanta US$ 1B e vale US$ 26B: coding AI vale o hype?
Cognition, startup de agentes de código, recebe US$ 1B em Série D. Análise do que esse valuation significa para o mercado e para quem constrói agentes hoje.
Ler mais
AlphaProof Nexus resolve problemas de décadas por centenas de dólares
Sistema da DeepMind combina LLM com verificador formal para resolver problemas abertos de matemática com custo baixíssimo. Implicações práticas para pesquisa.
Ler mais
Claude Opus 4.8 supera GPT-5.5 em benchmarks: realmente?
Anthropic lança Claude Opus 4.8, supera GPT-5.5 em benchmarks. Entenda o que muda na prática e se vale o hype.
Ler mais
Anthropic e OpenAI: Product-Market Fit Finalmente?
Empresas descobrem que contas de API em agentes de codificação estão saindo caras. Anthropic perto de lucro. O que muda na prática para quem usa?
Ler mais