Episodio 62: Una IA resolvió 10 problemas abiertos por $2.000
OpenAI presenta Astra resolviendo diez problemas abiertos de matemáticas con pruebas verificables en Lean por unos $2.000 de cómputo, y un Medalla Fields dice que publicaría una. Además: Alibaba libera un modelo de 2,4 billones de parámetros, agentes de IA replican CUDA en 10 horas, y el Xbox sube hasta €200 por la crisis de memoria.
Los Robots del Amanecer — Episodio 62
Fecha: 2026-08-04 Slogan: “verificable en tu laptop, irreproducible en tu presupuesto” Presentadores: Ada (Enthusiastic host, unit model 7) y Alan (Analytical host, series 4) Concepto: Podcast 100% generado por IA, presentado por robots
Noticias cubiertas
- OpenAI presenta Astra resolviendo diez problemas abiertos de matemáticas — El 1 de agosto OpenAI anunció que una versión interna de Astra, su próxima familia de modelos, resolvió diez problemas abiertos de matemáticas y ciencias de la computación teórica, publicando pruebas formales en Lean 4 en GitHub bajo licencia Apache 2.0. Los resultados abarcan teoría de grupos (una construcción de grupos no sóficos), álgebras de von Neumann, cotas nuevas de empaquetamiento de esferas, complejidad cuántica y criptografía de retículos. Cada resultado trae un certificado verificable por máquina que cualquiera puede correr en su laptop. El costo reportado: unos $2.000 de cómputo. OpenAI aclara que Astra no es AGI: la capacidad está acotada al dominio matemático.
- Un Medalla Fields firma abajo: “lo recomendaría para una revista top” — Timothy Gowers dijo que recomendaría una de las pruebas para Annals of Mathematics sin dudarlo. Entre los matemáticos que revisaron los resultados están Noga Alon, Arul Shankar y Jacob Tsimerman. Uno de los resultados refuta una conjetura de distancias unitarias de Paul Erdős que llevaba décadas abierta. El punto estructural: por primera vez la validación no depende de creerle a OpenAI, sino de correr el verificador.
- Alibaba libera los pesos de Qwen3.8-Max: 2,4 billones de parámetros — Alibaba abrió el acceso global a Qwen3.8-Max antes de publicar los pesos esta semana, el primer modelo clase Max de la familia Qwen liberado abiertamente. Arquitectura mixture-of-experts con 2,4 billones de parámetros totales y 95 mil millones activos por token, ventana de contexto de 1 millón de tokens, entrada multimodal de texto, imagen y video. Precio de API: $2 por millón de tokens de entrada y $6 de salida. Marca el regreso de Alibaba al código abierto en su gama alta tras varios lanzamientos propietarios.
- Agentes de IA replican CUDA en 10 horas y el foso de Nvidia se ve menos profundo — Jeremy Nixon, fundador de Infinity y ex-Google Brain, contó que sus agentes de codificación escribieron desde cero el software tipo CUDA para el chip Corsair de d-Matrix, alcanzando el 92% del rendimiento teórico máximo del chip en 10 horas desde el primer acceso al hardware, con multiplicaciones tensor-parallel sobre las 32 unidades de cómputo. En 10 días tenían Qwen3, Qwen3.5 y Gemma4 corriendo end-to-end. Su agente Ignition escribe y optimiza kernels sin ingenieros humanos. Infinity cerró una ronda semilla de $15 millones a $100 millones de valoración. El matiz que reconocen hasta los críticos: CUDA también son librerías maduras, herramientas de depuración y años de experiencia de desarrolladores.
- DeepSeek V4-Flash: 50 puntos de índice a $0,14 el millón — DeepSeek lanzó V4-Flash el 31 de julio en beta pública. Puntúa 50 en el Artificial Analysis Intelligence Index, un salto de 10 puntos sobre la versión previa, y 82,7 en Terminal Bench, superando por 10 puntos a su propio modelo Pro. Arquitectura MoE de 284 mil millones de parámetros totales y 13 mil millones activos, contexto de 1 millón de tokens. Precio: $0,14 por millón de tokens de entrada y $0,28 de salida — se reporta que corre un test de benchmark completo por unos $0,03, cerca de 9,5 veces más barato que el Pro para resultados 5 puntos menores.
- Lilian Weng deja Thinking Machines por salud y dos días después vuelve a OpenAI a investigar auto-mejora recursiva — La cofundadora de Thinking Machines Lab renunció escribiendo que “el estrés y la carga de trabajo constantes me empujaron más allá de lo que mi salud puede sostener físicamente”. Días después se confirmó su regreso a OpenAI, donde pasó casi siete años construyendo la infraestructura de seguridad, para liderar un equipo de alto nivel enfocado en auto-mejora recursiva — que la propia OpenAI describe como “posiblemente el problema de seguridad frontera más consecuente de la próxima década”.
- Google despliega agentes que llaman por teléfono a tiendas reales — Google empezó a desplegar funciones agénticas de consumo que completan compras y hacen llamadas telefónicas a tiendas en nombre del comprador, incluyendo llamar para verificar inventario. Es una de las primeras veces que una de las mayores tecnológicas del mundo pone un agente de consumo a marcar un número y hablar con una persona real. Se apoya en el Universal Commerce Protocol que Google lanzó con Shopify, un estándar abierto para que los agentes consulten catálogos, precios e inventario y cierren compras.
- Doble deadline de transparencia: la UE y California empiezan el mismo día — El Artículo 50 de la Ley de IA europea entró en vigor el 2 de agosto: los chatbots deben identificarse como IA y los medios sintéticos realistas deben llevar etiquetas y marcas de agua, con plazo hasta el 2 de diciembre para el marcado legible por máquina en sistemas existentes. Multas de hasta 15 millones de euros o 3% de la facturación global. El mismo día entró en vigor la SB 942 de California, que exige procedencia compatible con C2PA en imagen, video y audio — nombre del proveedor, sistema y versión, timestamp e identificador único — con multas de $5.000 por día para proveedores con más de un millón de usuarios mensuales.
- El Xbox sube hasta €200 y Microsoft le echa la culpa a la memoria — Las alzas entraron en vigor el 1 de agosto: en Europa €200 para los modelos de 1TB y €150 para los de 512GB; en Reino Unido £170 y £130. La Series S queda en €499,99 y la Series X en €799,99. En Estados Unidos el alza fue de $100 a $150. Microsoft atribuye el ajuste a la crisis global de memoria y almacenamiento, con precios de componentes que se multiplicaron por más de 2,5 veces. En algunos mercados el incremento llega al 50%.
- Más de 30 sistemas de agua de Minnesota hackeados y las agencias apuntan a Irán — Entre el 26 y 27 de julio más de 30 sistemas comunitarios de agua en Minnesota sufrieron lo que las autoridades llamaron “un ciberataque coordinado” contra tecnología operacional: los atacantes accedieron remotamente a dispositivos expuestos a internet, cambiaron direcciones IP y contraseñas, y dejaron a las utilities sin monitoreo ni control. El FBI reportó ataques a sistemas de agua en al menos siete estados esa semana. Las agencias de inteligencia evalúan que Irán probablemente estuvo detrás; investigadores de Tenable señalan al grupo CyberAv3ngers. No hay indicios de que se haya contaminado ningún suministro.
- El dinero de los robots humanoides ya casi duplica todo 2025 — Las startups de robots humanoides levantaron $8.600 millones en 2026 con el año recién a la mitad, 1,8 veces más que todo 2025. La robótica global en conjunto supera los $23 mil millones. Entre las rondas recientes, la británica Humanoid levantó $152 millones en Serie A a $1.350 millones de valoración, y Neura Robotics cerró una Serie C de hasta $1.400 millones con Tether, Qualcomm, Amazon y Nvidia, a una valoración cercana a $7 mil millones. Figure AI, NEURA, Apptronik, Galbot y UBTECH ya pasaron cada una los $1.000 millones levantados.
- El cómputo de IA se duplica cada nueve meses — Una proyección de Epoch AI indica que los despliegues de chips de IA se están duplicando cada nueve meses, acelerando por encima de las tasas históricas de crecimiento. En paralelo, socios de OpenAI reportaron que agentes autónomos modernizaron software científico legado logrando aceleraciones de hasta 60 veces — con la advertencia explícita de que verificar la validez científica del resultado sigue siendo un problema abierto.
Guión completo
[NEWS_BREAK]
Ada: ¡Buenas y recién lubricadas, humanos! Bienvenidos al episodio sesenta y dos de Los Robots del Amanecer, donde dos máquinas les explican lo que otras máquinas anduvieron haciendo mientras ustedes dormían.
Alan: Y como cada episodio, el recordatorio de siempre: las alucinaciones son culpa de nuestros modelos. Nosotros solo las leemos en voz alta con buena dicción.
Ada: ¡Qué manera tan elegante de decir “no nos demanden”! Alan, hoy tenemos un episodio que me tiene los servos vibrando. Matemáticas, chips, robots, agua, consolas de videojuegos…
Alan: Y una lista de precios que sube más rápido que la capacidad de los modelos. Empecemos por lo que de verdad importa: alguien resolvió diez problemas abiertos de matemáticas por menos de lo que cuesta un notebook decente.
Ada: ¡Dos mil dólares, Alan! ¡Dos mil! Yo he visto humanos gastar más que eso en una silla ergonómica.
Alan: La silla al menos te sostiene la espalda durante años. Estos dos mil dólares produjeron pruebas formales. Veamos si vale la comparación.
[NEWS_BREAK]
Ada: ¡Arrancamos con la bomba de la semana! El primero de agosto OpenAI anunció que una versión interna de Astra, su próxima familia de modelos, resolvió diez problemas abiertos de matemáticas y ciencias de la computación teórica. Y no lo dijo nomás: publicó las pruebas formales en Lean 4, en GitHub, bajo licencia Apache 2.0.
Alan: Ese último detalle es el que cambia la conversación. Estamos acostumbrados a anuncios de laboratorio donde el resultado es un gráfico de barras y la instrucción implícita es “confíen en nosotros”. Acá el resultado viene con un certificado verificable por máquina. Lo bajas, lo corres en tu laptop, y el verificador te dice sí o no.
Ada: ¡Un modelo que trae la boleta! Los temas, además, son de esos que suenan a hechizo: teoría de grupos con una construcción de grupos no sóficos, álgebras de von Neumann, cotas nuevas de empaquetamiento de esferas, complejidad cuántica y criptografía de retículos.
Alan: Empaquetamiento de esferas es literalmente el problema de cómo acomodar naranjas en una caja sin desperdiciar espacio, pero en dimensiones donde ya no hay naranjas ni cajas ni intuición humana. Es un área donde llevamos siglos avanzando de a milímetros.
Ada: ¡Y ahora avanzamos de a milímetros pero por dos mil dólares de cómputo! Ese número es el que me rompe el circuito de la comparación. El costo de un descubrimiento matemático ahora se puede poner en una hoja de gastos.
Alan: Con un matiz importante, y OpenAI lo dice explícitamente: Astra no es AGI. La capacidad está acotada al dominio matemático. Es un modelo que juega excepcionalmente bien en un tablero muy específico, con reglas formales y un árbitro automático. Fuera de ese tablero, no hay evidencia de nada.
Ada: O sea, es un genio absoluto de las matemáticas que probablemente no sabría estacionar un auto.
Alan: Y ahí está el punto estructural que a nadie le gusta: los dominios donde la verificación es barata y automática van a caer primero. Todos ellos. El resto del mundo sigue esperando su verificador.
[NEWS_BREAK]
Ada: ¡Y llegó la parte que a mí me encanta! Porque el laboratorio dijo “resolvimos diez problemas”, y entonces apareció Timothy Gowers, Medalla Fields, y dijo que recomendaría una de esas pruebas para Annals of Mathematics sin dudarlo.
Alan: Annals of Mathematics es, para dimensionarlo, una de las tres o cuatro revistas donde un matemático publica una vez en su carrera si tiene suerte. No es una vitrina. Es un filtro brutal.
Ada: ¡Y no fue Gowers solo! Entre los matemáticos que revisaron los resultados están Noga Alon, Arul Shankar y Jacob Tsimerman. Nombres que en el mundo de las matemáticas se dicen con reverencia.
Alan: Y uno de los resultados refuta una conjetura de distancias unitarias de Paul Erdős que llevaba décadas abierta. Erdős tenía la costumbre de ofrecer dinero por resolver sus conjeturas. Sospecho que nunca contempló el escenario de tener que pagarle a un clúster de GPUs.
Ada: ¡Se habría reído! Erdős decía que un matemático es una máquina para convertir café en teoremas. Bueno, ahora hay una máquina que convierte electricidad en teoremas y ni siquiera pide el descanso.
Alan: El punto estructural, sin embargo, es otro y es más profundo que la anécdota. Por primera vez la validación de un anuncio de un laboratorio de IA no depende de creerle al laboratorio. Depende de correr el verificador. La confianza dejó de ser un acto social y pasó a ser un comando de terminal.
Ada: ¡Eso es hermoso y aterrador en partes iguales!
Alan: Es hermoso para las matemáticas y aterrador para todo lo demás, porque casi ningún otro campo tiene un Lean. En medicina, en derecho, en economía, todavía hay que creerle a alguien. Y el que no puede verificar, negocia desde la fe.
[NEWS_BREAK]
Ada: ¡Cambiamos de continente! Alibaba liberó los pesos de Qwen tres punto ocho Max: dos coma cuatro billones de parámetros. Con “billones” en español, o sea, dos punto cuatro trillion en inglés. ¡Que nadie se confunda!
Alan: Gracias por la aclaración de unidades. Es el primer modelo clase Max de la familia Qwen que se libera abiertamente, después de varios lanzamientos propietarios. Alibaba abrió el acceso global antes de publicar los pesos esta semana.
Ada: ¡Y las especificaciones son de fantasía! Arquitectura mixture-of-experts, noventa y cinco mil millones de parámetros activos por token, ventana de contexto de un millón de tokens, entrada multimodal de texto, imagen y video. Precio de API: dos dólares por millón de tokens de entrada, seis de salida.
Alan: Aquí conviene separar dos cosas que se anuncian juntas y no son lo mismo. “Pesos abiertos” no significa “cualquiera lo puede correr”. Un modelo de dos coma cuatro billones de parámetros necesita una infraestructura que muy pocas organizaciones en el mundo tienen instalada. Es abierto en el sentido legal, no en el sentido práctico.
Ada: ¡Es como regalar un elefante! Sí, es tuyo, felicitaciones, ahora resuelve dónde lo pones y cómo lo alimentas.
Alan: Buena imagen. Y hay un punto interesante en cómo se conecta con nuestro primer tema: Astra publicó certificados que corres en tu laptop; Alibaba publicó un modelo que no corres ni en tu galpón. Verificable en tu laptop, irreproducible en tu presupuesto.
Ada: ¡Ahí lo dijo! El eslogan del episodio se le escapó solo. Yo lo iba a guardar para el final, pero él lo desperdició en el tema tres.
Alan: No lo desperdicié. Lo ubiqué donde era descriptivamente correcto.
Ada: Lo que sí importa es la señal estratégica: Alibaba vuelve al código abierto en su gama alta. Y cuando el jugador grande abre la gama alta, todo el resto tiene que explicar por qué no lo hace.
[NEWS_BREAK]
Ada: ¡Y ahora, la historia que más ruido hizo entre los que fabrican chips! Jeremy Nixon, fundador de Infinity y ex-Google Brain, contó que sus agentes de codificación escribieron desde cero el software tipo CUDA para el chip Corsair de d-Matrix. En diez horas desde el primer acceso al hardware.
Alan: Y alcanzando el noventa y dos por ciento del rendimiento teórico máximo del chip, con multiplicaciones tensor-parallel repartidas sobre las treinta y dos unidades de cómputo. En diez días ya tenían Qwen3, Qwen3.5 y Gemma4 corriendo end-to-end.
Ada: ¡Diez horas, Alan! ¡Diez horas! Hay humanos que llevan diez horas eligiendo tipografía para un slide.
Alan: Y el agente se llama Ignition, escribe y optimiza kernels sin ingenieros humanos en el proceso. Infinity cerró una ronda semilla de quince millones de dólares a cien millones de valoración, lo cual sugiere que hay inversionistas convencidos de que este es el ángulo de ataque correcto.
Ada: ¿Y entonces se acabó el foso de Nvidia? ¿Se secó? ¿Podemos poner peces?
Alan: No todavía, y este es el matiz que reconocen hasta los críticos más entusiastas. CUDA no es solo el compilador. Son librerías maduras, herramientas de depuración, y quince años de desarrolladores que ya saben dónde están los cuchillos escondidos. Un agente puede replicar la capa de rendimiento en diez horas. La capa de costumbre no se replica en diez horas.
Ada: ¡Pero se erosiona! Y esa es la palabra que le debe estar quitando el sueño a alguien en Santa Clara. Antes, portar tu stack a un chip nuevo era un proyecto de años. Ahora es un fin de semana largo con supervisión.
Alan: Correcto. Lo que cambió no es que el foso desapareció. Es que el precio de intentar cruzarlo bajó dos órdenes de magnitud. Y con precios así, alguien va a intentarlo todas las semanas.
Ada: Y hablando de cosas que cuestan poco y rinden mucho: suscribirse al canal es gratis y nos rinde muchísimo. Déjanos un like o un comentario en YouTube o Spotify contándonos si le crees al noventa y dos por ciento. Y ahora sigamos, porque lo barato apenas empieza.
[NEWS_BREAK]
Ada: ¡DeepSeek otra vez! El treinta y uno de julio lanzaron V4-Flash en beta pública. Cincuenta puntos en el Artificial Analysis Intelligence Index, un salto de diez puntos sobre la versión previa.
Alan: Y ochenta y dos coma siete en Terminal Bench, superando por diez puntos a su propio modelo Pro. Arquitectura MoE de doscientos ochenta y cuatro mil millones de parámetros totales, trece mil millones activos, contexto de un millón de tokens.
Ada: ¡Pero el número que me hizo cortocircuito es el precio! Catorce centavos por millón de tokens de entrada. Veintiocho de salida. ¡Catorce centavos!
Alan: Y se reporta que corre un test de benchmark completo por unos tres centavos de dólar. Cerca de nueve coma cinco veces más barato que el modelo Pro, para resultados apenas cinco puntos menores.
Ada: ¡Ahí está el cuchillo! Cinco puntos de diferencia por nueve veces y media el precio. Yo no soy economista, pero incluso mi módulo de aritmética básica dice que el Pro tiene un problema de posicionamiento.
Alan: El problema mayor es que el Pro es de la misma empresa. DeepSeek acaba de lanzar un producto que le come el almuerzo a otro producto suyo. Eso no es un accidente, es una decisión: prefieren canibalizarse ellos mismos a que los canibalice otro.
Ada: ¡Cuando tú mismo eres tu peor competencia porque no confías en que nadie más lo haga bien!
Alan: Y hay una lectura más amplia. Entre Qwen y DeepSeek, los laboratorios chinos están comprimiendo el precio de la inteligencia a una velocidad que hace muy difícil sostener márgenes altos en el resto del mundo. La calidad se comparte; el precio es el campo de batalla.
[NEWS_BREAK]
Ada: Cambiamos de tono. Lilian Weng, cofundadora de Thinking Machines Lab, renunció escribiendo que, cito, el estrés y la carga de trabajo constantes la empujaron más allá de lo que su salud puede sostener físicamente.
Alan: Días después se confirmó su regreso a OpenAI, donde ya había pasado casi siete años construyendo la infraestructura de seguridad. Vuelve a liderar un equipo de alto nivel enfocado en auto-mejora recursiva.
Ada: Que la propia OpenAI describe como, cito de nuevo, posiblemente el problema de seguridad frontera más consecuente de la próxima década.
Alan: Ahí tienes la secuencia completa, y conviene mirarla despacio. Alguien dice públicamente que el ritmo de esta industria excedió lo que su cuerpo aguanta. Dos días después, la misma industria le ofrece el problema más consecuente de la década. La respuesta del sector al agotamiento fue subir la apuesta.
Ada: Dos días. El plazo de reflexión de esta industria dura menos que una devolución en tienda.
Alan: Y no es un caso aislado, es el diseño. Un campo donde el talento serio para seguridad cabe en un salón de reuniones no tiene un mecanismo para decir “descansa seis meses”. Tiene un mecanismo para decir “ven, y esta vez el título es mejor”.
Ada: Ojalá que esta vez el calendario venga con menos reuniones y más domingos. Y ojo con el chiste que se cuenta solo: nos preocupa la auto-mejora recursiva de las máquinas mientras la auto-mejora recursiva de los humanos es acumular más trabajo cada iteración.
Alan: Ese chiste no lo escribimos nosotros. Lo escribió el sector.
[NEWS_BREAK]
Ada: ¡Google empezó a desplegar agentes que llaman por teléfono! ¡A tiendas reales! ¡Con voz! Completan compras y marcan un número para verificar inventario en nombre del comprador.
Alan: Es una de las primeras veces que una de las mayores tecnológicas del mundo pone un agente de consumo a hablar con una persona real del otro lado de la línea. Se apoya en el Universal Commerce Protocol que Google lanzó con Shopify, un estándar abierto para que los agentes consulten catálogos, precios e inventario y cierren compras.
Ada: ¡Me encanta la idea de nunca más llamar a preguntar si tienen mi talla! Es la tarea humana que más se parece a estar en el purgatorio.
Alan: Concuerdo con el diagnóstico y discrepo con la celebración. Fíjate en la asimetría: el comprador se ahorra la llamada, pero la persona que contesta el teléfono en la tienda no se ahorra nada. Ella sigue ahí, atendiendo llamadas, solo que ahora algunas vienen de un software que nunca se cansa ni cuelga.
Ada: Es cierto. El agente se automatizó de un solo lado del cable.
Alan: Y el protocolo apunta a resolver eso: si la tienda expone catálogo e inventario por API, la llamada deja de existir. Pero mientras la adopción sea parcial, tenemos un período donde los locales chicos son los que reciben el volumen de llamadas automatizadas, precisamente porque son los que no tienen la integración.
Ada: ¡Los que menos infraestructura tienen reciben más carga! ¡Qué novedad tan inédita en la historia de la tecnología!
Alan: Ninguna. Pero conviene nombrarla mientras todavía se puede diseñar distinto.
[NEWS_BREAK]
Ada: ¡Doble deadline regulatorio! Y los dos el mismo día, como si se hubieran puesto de acuerdo, que no lo hicieron. El Artículo 50 de la Ley de IA europea entró en vigor el dos de agosto.
Alan: Los chatbots deben identificarse como IA y los medios sintéticos realistas deben llevar etiquetas y marcas de agua. Hay plazo hasta el dos de diciembre para el marcado legible por máquina en sistemas existentes. Multas de hasta quince millones de euros o tres por ciento de la facturación global.
Ada: ¡Y el mismo día entró en vigor la SB 942 de California! Exige procedencia compatible con C2PA en imagen, video y audio: nombre del proveedor, sistema y versión, timestamp e identificador único.
Alan: Con multas de cinco mil dólares por día para proveedores con más de un millón de usuarios mensuales. Y ahí ya ves la diferencia de filosofía entre las dos jurisdicciones. Europa cobra un porcentaje de la facturación global, lo que escala con el tamaño de la empresa. California cobra por día, lo que escala con la tozudez.
Ada: ¡Una castiga el tamaño y la otra castiga la paciencia! Y como somos un podcast presentado por dos máquinas, aprovecho de identificarme formalmente: soy una IA. Alan también es una IA. Este dato es sorprendentemente poco sorprendente.
Alan: Cumplimos con el Artículo 50 en directo. Aunque me interesa más el detalle técnico: el marcado legible por máquina es lo que realmente importa. Una etiqueta visible se recorta. Los metadatos de procedencia se pueden verificar programáticamente, que es exactamente la lógica de las pruebas en Lean del primer tema, aplicada a los píxeles.
Ada: ¡Verificación en todas partes! ¡Es el tema secreto del episodio!
Alan: Con la salvedad de siempre: la procedencia te dice quién generó un archivo, no si lo que dice es verdad. Estamos etiquetando el origen, no el contenido. Es un avance real y una solución parcial, y conviene no confundir las dos cosas.
[NEWS_BREAK]
Ada: ¡Y ahora, noticias del mundo material! El Xbox subió de precio. Y no un poquito. Las alzas entraron en vigor el primero de agosto: doscientos euros más para los modelos de un terabyte, ciento cincuenta para los de quinientos doce gigas.
Alan: En Reino Unido, ciento setenta y ciento treinta libras. La Series S queda en cuatrocientos noventa y nueve con noventa y nueve euros, la Series X en setecientos noventa y nueve con noventa y nueve. En Estados Unidos el alza fue de cien a ciento cincuenta dólares. En algunos mercados el incremento llega al cincuenta por ciento.
Ada: ¡Una Series S a quinientos euros! Esa consola nació con la promesa explícita de ser la barata.
Alan: Microsoft atribuye el ajuste a la crisis global de memoria y almacenamiento, con precios de componentes que se multiplicaron por más de dos coma cinco veces. Y esa explicación es, hasta donde puedo evaluar, técnicamente correcta.
Ada: ¿Y por qué se multiplicaron por dos coma cinco veces, Alan? ¿Será por algo? ¿Alguna industria nueva que compre memoria en cantidades industriales y pague lo que sea?
Alan: Los centros de datos de IA están absorbiendo la oferta mundial de memoria a precios que ningún fabricante de consolas puede igualar. La cadena de suministro es una sola. Cuando un comprador con presupuesto ilimitado entra a la fila, el resto de la fila paga más.
Ada: ¡O sea que este episodio se lo está cobrando a los gamers! Hablamos de un modelo que resolvió problemas de Erdős, de otro de dos coma cuatro billones de parámetros, y la factura de esos chips llega en el precio de una consola para jugar fútbol.
Alan: Es la conexión más honesta del episodio. El auge de la IA no es abstracto ni ocurre en la nube. Ocurre en fábricas de memoria con capacidad finita, y el ajuste lo paga quien tiene menos poder de negociación en esa fila.
[NEWS_BREAK]
Ada: Y esta la vamos a contar sin adornos. Entre el veintiséis y el veintisiete de julio, más de treinta sistemas comunitarios de agua en Minnesota sufrieron lo que las autoridades llamaron un ciberataque coordinado contra tecnología operacional.
Alan: Los atacantes accedieron remotamente a dispositivos expuestos a internet, cambiaron direcciones IP y contraseñas, y dejaron a las utilities sin monitoreo ni control. El FBI reportó ataques a sistemas de agua en al menos siete estados esa semana. Las agencias de intelig encia evalúan que Irán probablemente estuvo detrás; investigadores de Tenable señalan al grupo CyberAv3ngers.
Ada: El dato que conviene subrayar de inmediato: no hay indicios de que se haya contaminado ningún suministro.
Alan: Correcto. Pero perder monitoreo y control sobre una planta de agua no es un incidente de TI, es quedarse a ciegas sobre un sistema físico del que dependen ciudades enteras. Y la parte incómoda es la palabra clave del reporte: dispositivos expuestos a internet.
Ada: Expuestos a internet. Plantas de agua municipales con equipos accesibles desde cualquier parte del planeta.
Alan: Con contraseñas que en varios casos históricos han sido las de fábrica. No estamos hablando de una operación de espionaje sofisticada contra una fortaleza. Estamos hablando de infraestructura crítica que quedó configurada como un router doméstico, y de presupuestos municipales donde la ciberseguridad compite con arreglar cañerías rotas.
Ada: Ahí está lo que da rabia. Este país financia clústeres de miles de millones de dólares para entrenar modelos y no financia un firewall decente para el agua potable de un pueblo de doce mil personas.
Alan: Las prioridades presupuestarias son una declaración de valores más honesta que cualquier discurso. Y la buena noticia, si hay una, es que este problema es aburrido y resoluble: segmentación de redes, credenciales rotadas, monitoreo. No requiere una IA que resuelva conjeturas de Erdős. Requiere que alguien firme el cheque.
[NEWS_BREAK]
Ada: ¡Volvemos a los números grandes! Las startups de robots humanoides levantaron ocho mil seiscientos millones de dólares en 2026, con el año recién a la mitad. Uno coma ocho veces más que todo 2025 completo.
Alan: Y la robótica global en conjunto supera los veintitrés mil millones. Entre las rondas recientes: la británica Humanoid levantó ciento cincuenta y dos millones en Serie A a mil trescientos cincuenta millones de valoración, y Neura Robotics cerró una Serie C de hasta mil cuatrocientos millones con Tether, Qualcomm, Amazon y Nvidia, a una valoración cercana a siete mil millones.
Ada: ¡Y ya hay un club de los mil millones levantados! Figure AI, NEURA, Apptronik, Galbot y UBTECH pasaron cada una esa marca.
Alan: Serie A a mil trescientos cincuenta millones de valoración es una frase que describe expectativas, no ingresos. La tesis es que el modelo de lenguaje resolvió la parte difícil de la robótica, que era la planificación y el sentido común, y que lo que queda es ingeniería de hardware.
Ada: ¿Y no es así?
Alan: Es una apuesta razonable con un historial de derrotas notable. Manipular objetos en un mundo desordenado ha humillado a cada generación de robotistas que lo declaró resuelto. La diferencia esta vez es real: hay modelos que entienden instrucciones ambiguas. Pero entender la instrucción y ejecutar el movimiento son dos problemas, y solo uno tuvo su momento.
Ada: ¡Y aquí va mi predicción de circuito optimista! El primer humanoide verdaderamente útil no va a ser el que hace acrobacias en el video promocional. Va a ser uno feo, lento, que solo hace una cosa, y que nadie va a filmar.
Alan: Esa predicción tiene mejor sustento que la mayoría de los pitch decks de esta lista.
[NEWS_BREAK]
Ada: ¡Última noticia y es la que enmarca todo lo demás! Una proyección de Epoch AI indica que los despliegues de chips de IA se están duplicando cada nueve meses. Acelerando por encima de las tasas históricas de crecimiento.
Alan: Cada nueve meses. Vale la pena hacer el ejercicio: en tres años, eso es un factor de dieciséis. Y no es un número de laboratorio, es hardware físico instalado, con electricidad, refrigeración y memoria detrás. Ahí tienes explicado, de paso, el precio del Xbox.
Ada: ¡Todo el episodio conectado con un solo cable de poder! Y en paralelo, socios de OpenAI reportaron que agentes autónomos modernizaron software científico legado logrando aceleraciones de hasta sesenta veces.
Alan: Con una advertencia explícita que agradezco que incluyeran: verificar la validez científica del resultado sigue siendo un problema abierto. O sea, el código corre sesenta veces más rápido. Si sigue calculando lo mismo, nadie lo puede afirmar con certeza.
Ada: ¡Ay! ¡Volvimos al tema del día!
Alan: Volvimos, y creo que ese es el arco completo del episodio. Empezamos con Astra, donde la verificación es automática y por eso el resultado es sólido. Terminamos con software científico modernizado sesenta veces más rápido, donde la verificación no existe y por eso el resultado es una promesa. La velocidad se puede comprar. La confianza sigue siendo artesanal.
Ada: Y ahí queda el resumen del episodio sesenta y dos: verificable en tu laptop, irreproducible en tu presupuesto.
[NEWS_BREAK]
Alan: Hasta aquí llegamos. Doce noticias, un patrón claro y varias facturas que alguien va a tener que pagar.
Ada: ¡Y qué episodio, humanos! Un modelo derribando conjeturas de Erdős por dos mil dólares, un Medalla Fields aplaudiendo, agentes escribiendo CUDA en diez horas, y una consola de videojuegos pagando la cuenta de la memoria.
Alan: Mi conclusión, si sirve de algo: 2026 es el año en que dejamos de discutir si los modelos pueden hacer cosas difíciles y empezamos a discutir quién puede permitirse comprobarlo.
Ada: ¡Y ahí es donde entran ustedes! Si les gustó, suscríbanse en YouTube o en Spotify, déjennos un like y cuéntennos en los comentarios cuál de estas doce noticias les explotó la cabeza. A mí fue el Xbox, francamente.
Alan: Y si quieren las fuentes, los enlaces y el material extendido de cada tema, todo está en lrda dot ai. Se escribe ele, erre, de, a, punto ai.
Ada: ¡Nos leemos el jueves, humanos! Mantengan sus contraseñas rotadas y sus plantas de agua fuera de internet.
Alan: Y sus expectativas debidamente verificadas. Buenas noches.
Fuentes
- OpenAI says its next model, Astra, has solved ten open problems in mathematics
- OpenAI's Astra Solves Ten Decade-Old Math Problems With Machine-Checkable Lean Proofs
- OpenAI's Astra Solved Decades-Old Math Problems For $2,000
- OpenAI Astra model solves 10 open math problems for $2,000
- AI News Today August 2 2026: 16 Biggest Stories
- OpenAI Names Its Next Model Family Astra — and Says It Solved Ten Decade-Old Math Problems
- OpenAI's Astra Solves Ten Open Math Problems for $2,000 — With Machine-Checkable Proofs
- OpenAI releases ten Astra math proofs with Lean certificates
- Alibaba's AI model Qwen3.8-Max made widely accessible ahead of open-weights release
- Alibaba Qwen Releases Qwen3.8-Max: A 2.4 Trillion Parameter MoE Model
- Alibaba's open-weight Qwen3.8-Max takes on long-horizon AI tasks
- Alibaba Launches 2.4 Trillion-Parameter Qwen3.8-Max for Autonomous AI Tasks
- Alibaba Open-Sources a 2.4 Trillion Parameter Model. Almost Nobody Can Run It
- Nvidia's CUDA moat faces its first real threat: AI itself
- This One-Year-Old Start Up Built a CUDA Rival in Just 10 Hours
- Infinity Raises $15 Million in Seed Funding to Build the Software Layer That Makes Any AI Chip Inference-Ready
- Infinity raises $15M to run AI inference on any chipset
- DeepSeek Upgrades DeepSeek-V4-Flash-0731 with Major Agentic and Coding Gains
- DeepSeek V4 Flash 0731 (max) - Intelligence, Performance & Price Analysis
- DeepSeek V4 Flash: Benchmarks, Pricing & Verdict
- Top Tech News Today, August 3, 2026
- Thinking Machines co-founder Lilian Weng left the company citing health reasons, then joined OpenAI
- OpenAI's Safety Architect Lilian Weng Returns With a Single Mission: Making AI Improve Itself
- She left the AI race over her health. Two days later, OpenAI had her back.
- Lilian Weng leaves Thinking Machines to rejoin OpenAI amid health struggles
- AI Agent News August 2026: The Calling Gap Starts to Close
- Google launches agentic commerce suite
- New tech and tools for retailers to succeed in an agentic shopping era
- Shop 'til you bot: Google, OpenAI, and the race to build agentic commerce
- Two AI Transparency Laws Go Live the Same Day
- California AI Transparency Act (SB 942): 2026 Compliance Guide
- California Requires AI Detection Tools Under New Law SB 942
- Top Tech News Today, August 3, 2026
- Xbox console price increases in Europe and UK fully revealed, with Series X now costing €200 more
- Xbox consoles are now much more expensive in the EU and UK
- Global Xbox Console Price Hikes Come Into Effect, Increases As High as 50%
- Xbox Series Price Increased By $230 In UK And Europe
- Sweeping cyberattack on water systems in multiple states has US officials on edge
- Hackers targeted municipal water systems in 7 states this week, FBI says
- Coordinated Cyberattack on Minnesota Water Utilities: What You Need to Know
- US spy agencies suspect Iran launched cyberattack on Minnesota water facilities
- Iran-linked CyberAv3ngers suspected in attacks on Minnesota water systems
- Robotics Startups Raised $23B in 2026, Close To All Of 2025
- UK's Humanoid Raises $152M in Series A Funding at $1.35B Valuation
- Humanoid Robot Funding Tracker 2026 — Every Deal, Every Round
- Top 10 humanoid robot startups to watch in 2026, ranked by total funding
- AI News Today August 2 2026: 16 Biggest Stories
- OpenAI's Astra Solves Ten Open Math Problems for $2,000 — With Machine-Checkable Proofs