GPT-6 Astra acende debate sobre Inteligência Artificial Geral (AGI) enquanto os alertas de segurança da OpenAI colidem com a expansão da IA

Tendência Um: GPT-6 Astra desencadeia debate sobre AGI — A contradição interna da OpenAI vem à tona​

Em 4 de setembro, a OpenAI lançou o GPT-6 Astra, seu modelo mais poderoso até o momento. O CEO da NVIDIA, Jensen Huang, publicou no X que "a AGI chegou", e o presidente da OpenAI, Greg Brockman, declarou em uma teleconferência: "Bem-vindos à era da AGI". O Astra foi supostamente treinado em mais de 100.000 GPUs NVIDIA Grace Blackwell NVLink72, suporta controle autônomo de softwares profissionais como Blender, Photoshop e Unity, e reduziu as taxas de alucinação para aproximadamente 2%. Huang revelou que o próximo lote de 400.000 GPUs está prestes a entrar em operação.​

Em 6 de setembro, a CNBC noticiou o crescimento da "fadiga de modelos" no setor. Em uma única semana: a Anthropic atualizou Fable e Mythos (1º de setembro), a Meta lançou o Muse Spark 1.3 (2 de setembro), o Google lançou o Gemini 3.8 Flash (2 de setembro), a OpenAI lançou o GPT-6 Astra (4 de setembro) e a MBZUAI de Abu Dhabi disponibilizou em código aberto sua série K2 Horizon. O Gartner projeta gastos com IA em 2026 de US$ 2,59 trilhões, um aumento de 47% em relação a 2025, com mais da metade destinada à infraestrutura. O CEO da Runpod, Zhen Lu, observou que a fadiga de modelos "definitivamente se tornou um problema real", enquanto o CEO da Clockwork Systems, Suresh Vasudevan, comentou que "cada lançamento agora é tão absurdamente poderoso que se tornou difícil julgar o que conta como um verdadeiro salto adiante."​

Enquanto isso, o Claude da Anthropic concluiu a primeira prova formalizada de ponta a ponta do Último Teorema de Fermat no assistente de provas Lean, rodando de forma autônoma por 11 dias. O sistema gerou código Lean completo a partir do enunciado da proposição até a verificação de tipo pelo kernel, sem intervenção humana na decomposição da prova. O matemático do Imperial College, Kevin Buzzard, comentou que isso representa "um grande passo em direção à formalização automática de toda a literatura matemática moderna."