GPT-6 Astra desata el debate sobre la IAG mientras las advertencias de seguridad de OpenAI chocan con la expansión de la IA

Tendencia Uno: GPT-6 Astra desencadena el debate sobre la IAG: aflora la contradicción interna de OpenAI​

El 4 de septiembre, OpenAI lanzó GPT-6 Astra, su modelo más potente hasta la fecha. El CEO de NVIDIA, Jensen Huang, publicó en X que "la IAG ha llegado", y el Presidente de OpenAI, Greg Brockman, declaró en una conferencia telefónica: "Bienvenidos a la era de la IAG". Al parecer, Astra fue entrenada con más de 100.000 GPU NVIDIA Grace Blackwell NVLink72, admite el control autónomo de software profesional como Blender, Photoshop y Unity, y ha reducido las tasas de alucinación a aproximadamente el 2%. Huang reveló que el próximo lote de 400.000 GPU está a punto de entrar en funcionamiento.​

El 6 de septiembre, CNBC informó sobre la creciente "fatiga de modelos" en la industria. En una sola semana: Anthropic actualizó Fable y Mythos (1 de septiembre), Meta lanzó Muse Spark 1.3 (2 de septiembre), Google lanzó Gemini 3.8 Flash (2 de septiembre), OpenAI lanzó GPT-6 Astra (4 de septiembre) y la MBZUAI de Abu Dabi liberó su serie K2 Horizon en código abierto. Gartner proyecta un gasto en IA para 2026 de 2,59 billones de dólares, un 47% más que en 2025, con más de la mitad destinado a infraestructura. El CEO de Runpod, Zhen Lu, señaló que la fatiga de modelos "definitivamente se ha convertido en un problema real", mientras que el CEO de Clockwork Systems, Suresh Vasudevan, observó que "cada lanzamiento es tan increíblemente potente que resulta difícil juzgar qué cuenta como un verdadero salto adelante".​

Mientras tanto, Claude de Anthropic completó la primera prueba formalizada de extremo a extremo del último teorema de Fermat en el asistente de pruebas Lean, ejecutándose de forma autónoma durante 11 días. El sistema generó código Lean completo desde el enunciado de la proposición mediante la comprobación de tipos del núcleo, sin intervención humana en la descomposición de la prueba. El matemático del Imperial College, Kevin Buzzard, comentó que esto representa "un gran paso hacia la formalización automática de toda la literatura matemática moderna".