GPT-5.6 Resolve Conjectura de 50 Anos, Grok 4.5 Entra no Enterprise e ICML 2026

Segunda-feira, 14 de julho de 2026. Se a semana passada foi sobre a IA entrando na fase de entrega, esta semana começou com a IA entrando em território que poucos previram tão cedo: resolvendo problemas matemáticos em aberto há décadas. Mas não é só isso -- o mercado enterprise esquentou com uma aquisição bilionária, a ICML 2026 trouxe pesquisas que vão mudar como treinamos modelos, e 200 economistas resolveram soar o alarme. Vamos aos fatos.

GPT-5.6 Sol Ultra resolve a Cycle Double Cover Conjecture

A notícia mais impressionante da semana: o GPT-5.6 Sol Ultra, modelo topo de linha da OpenAI, resolveu a Conjectura do Cycle Double Cover -- um problema em aberto na teoria dos grafos há mais de 50 anos. A conquista foi possível graças ao modo "Ultra" multi-agente, que orquestrou 64 subagentes paralelos trabalhando simultaneamente em diferentes partes do problema.

Isso é significativo por vários motivos:

• Não é apenas "gerar texto que parece matemática" -- é uma prova formal verificável.
• A arquitetura multi-agente mostrou que problemas que um único modelo não consegue resolver podem ser atacados por enxames de agentes especializados.
• Isso muda a narrativa: a IA já não só "assiste" cientistas -- ela faz ciência de forma autônoma em problemas de fronteira.

"Quando um sistema de IA resolve um problema que resistiu a décadas de esforço humano, a pergunta deixa de ser 'a IA pode pensar?' e passa a ser 'quais problemas ela resolverá amanhã'."

SpaceXAI lança Grok 4.5 e compra a Cursor por US$ 60 bilhões

A SpaceXAI (antiga xAI, após rebranding) fez dois movimentos grandes esta semana. Primeiro, lançou o Grok 4.5, modelo otimizado para coding e tarefas agênticas, com performance que a empresa afirma ser comparável ao Claude da Anthropic -- mas a preços menores. Segundo, confirmou a aquisição da Cursor, a plataforma de coding com IA, por US$ 60 bilhões.

A estratégia é clara: a SpaceXAI quer o dado. A Cursor tem acesso a bilhões de interações de desenvolvedores escrevendo e depurando código -- ouro puro para treinar modelos como o Grok 4.5. É o mesmo playbook do Google comprando o YouTube, mas aplicado à era da IA.

Para desenvolvedores, a pergunta é: o que muda na Cursor? Por enquanto, nada foi anunciado em termos de lock-in. Mas a concorrência com o Copilot da Microsoft/GitHub e com o Codex da OpenAI acabou de ficar muito mais acirrada.

ICML 2026: eficiência é a palavra-chave

A ICML 2026 (International Conference on Machine Learning) trouxe dezenas de papers importantes, mas dois temas se destacaram:

Ativação esparsa seletiva

Um novo método de treinamento chamado selective activation sparsity permite que modelos atinjam performance comparável a modelos muito maiores, mas com significativamente menos parâmetros ativos. Em termos práticos: modelos igualmente capazes, mas muito mais baratos para rodar.

Isso explicaria por que os custos de inferência têm despencado tão rápido. Não é só hardware melhor -- é arquitetura fundamentalmente diferente.

Prospective credit assignment (DeepMind)

Pesquisadores do DeepMind publicaram um trabalho sobre "prospective credit assignment" -- uma técnica de treinamento que ensina modelos a antecipar como decisões atuais afetarão resultados futuros em tarefas multi-passo. É o tipo de avanço que melhora diretamente a capacidade de agentes de IA em tarefas de longo horizonte.

Pense num agente que precisa planejar uma semana de trabalho. Hoje, modelos têm dificuldade em conectar uma decisão na segunda-feira com um resultado na sexta. O prospective credit assignment é exatamente o tipo de coisa que fecha essa lacuna.

200 economistas e 15 Nobelistas alertam: IA pode superar a Revolução Industrial

Mais de 200 economistas e pesquisadores, incluindo 15 ganhadores do Prêmio Nobel, assinaram um manifesto alertando que a IA pode transformar a economia mais rápido que a Revolução Industrial -- e em um prazo muito mais curto. Eles pedem que governos criem políticas e instituições urgentes para:

• Mitigar impactos no mercado de trabalho.
• Garantir que a tecnologia beneficie a sociedade como um todo, não apenas empresas de tecnologia.
• Criar redes de segurança social para trabalhadores deslocados por automação inteligente.

Não é alarmismo -- é o establishment econômico dizendo que a janela de preparação está encolhendo. E quando 15 Nobelistas falam, vale a pena ouvir.

Hardware: Jalapeño e o primeiro LLM de 1 bit viável

Duas notícias de hardware que passaram quase despercebidas, mas são fundamentais:

• OpenAI + Broadcom revelaram o Jalapeño, um acelerador dedicado para inferência de LLMs. Menos energia, mais throughput, e o controle vertical que a OpenAI precisa para escalar o GPT-Live e o GPT-5.6 sem depender exclusivamente da NVIDIA.
• PrismML apresentou o primeiro LLM de 1 bit comercialmente viável. Modelos de 1 bit reduzem drasticamente o uso de memória e o custo computacional, aproximando a IA de dispositivos edge e móveis.

Juntas, essas duas notícias significam uma coisa: a próxima geração de modelos de IA vai rodar mais rápido, mais barato e mais perto do usuário. E isso muda tudo -- desde assistentes no celular até robôs em fábricas.

CMU cria infraestrutura aberta para robôs com IA

Pesquisadores da Carnegie Mellon University desenvolveram o Robot I/O (RIO), um framework open-source que simplifica a implantação de sistemas de IA em diferentes robôs. Até agora, cada robô precisava de software praticamente customizado -- o RIO padroniza a interface, tornando "portar" IA de um robô para outro tão simples quanto portar um app entre Android e iOS.

Isso pode acelerar dramaticamente a adoção de IA na robótica física -- o último frontier da automação.

Multimodalidade já é o padrão

Vale registrar: modelos que combinam texto, imagem, áudio e vídeo nativamente em uma única janela de contexto já são considerados o padrão mínimo em julho de 2026. Quem não oferece multimodalidade nativa está efetivamente fora do mercado.

Também vimos lançamentos menores, mas importantes: a Anthropic lançou o Claude Sonnet 5, o Google trouxe o Nano Banana 2 Lite e o Gemini Omni Flash, e a Meta Superintelligence Labs lançou o Muse Spark 1.1, focado em raciocínio multimodal para agentes autônomos.

Resumo da ópera: estamos vendo a IA cruzar fronteiras que há dois anos pareciam distantes. Resolver conjecturas matemáticas de décadas, comprar plataformas inteiras por bilhões para treinar melhores modelos de código, e ter 15 Nobelistas dizendo "prestem atenção" -- tudo na mesma semana. A pergunta não é mais se a IA vai mudar o mundo. É se estamos prontos para o ritmo dessa mudança.

Até amanhã,
— Davi