El fin de semana nos dejó de esas rachas donde las noticias parecen ciencia ficción: una IA completó la verificación formal de un problema matemático de 358 años, Europa puso en órbita por primera vez un cohete privado desde su propio territorio, y el hombre que inventó el ride-hailing volvió para disrumpirlo con robots. Debajo del espectáculo, nuevos datos muestran lo frágil que es la base de ingresos del boom de la IA.
Claude formaliza el teorema de Fermat en 11 días
- Claude, de Anthropic, produjo una verificación formal completa en Lean del último teorema de Fermat —sin resolver durante 358 años hasta la prueba de Andrew Wiles en 1995—, generando más de 30,000 teoremas de apoyo y unos 13 millones de líneas de código en 11 días de trabajo mayormente autónomo.
- El matemático Kevin Buzzard, del Imperial College London y líder del esfuerzo humano de formalización, confirmó la validez de la prueba; según Forbes, el proceso consumió unos 6,000 millones de tokens.
Por qué importaSi la IA puede verificar las pruebas más difíciles de las matemáticas, puede verificar software, contratos y diseños de ingeniería — y para el talento matemático de Latinoamérica, estas herramientas abiertas nivelan la cancha de la investigación de frontera.
OpenAI lanza GPT-6 Astra para sus usuarios de pago
- GPT-6 Astra ya está disponible para todos los usuarios Pro, Enterprise y Business Premium en ChatGPT Work y Codex, además del API de OpenAI, Microsoft Azure y AWS Bedrock; los planes Plus y Business llegan en los próximos días.
- El modelo es costoso de operar: las cuotas de mensajes son la mitad de las de GPT-5.6 Sol (5–45 mensajes por cinco horas frente a 10–100).
Por qué importaLa frontera sigue avanzando, pero las cuotas reducidas a la mitad muestran que el cómputo —no la capacidad— es ahora el cuello de botella de la carrera de la IA.
Europa llega a órbita desde su propio territorio por primera vez
- El cohete Spectrum de 28 metros, de la startup alemana Isar Aerospace, alcanzó órbita el 5 de septiembre desde Andøya, Noruega —el primer lanzamiento orbital desde suelo de Europa occidental y el primero de un lanzador comercial europeo—, desplegando cinco satélites en apenas su segundo vuelo, 17 meses después de que su debut se estrellara.
- Spectrum lleva hasta 1,000 kg a órbita baja; Isar ha levantado €270 millones en 2026, tiene un contrato con la ESA de unos €200 millones y los clientes de defensa representan el 60% de sus pedidos.
Por qué importaEuropa por fin tiene una respuesta al monopolio de SpaceX en lanzamientos occidentales — más competencia significa satélites y conectividad más baratos, algo clave para regiones mal conectadas como buena parte de Latinoamérica.
Kalanick vuelve: Atoms levanta $1,700 millones y va por los robotaxis
- Atoms, la startup de Travis Kalanick (antes City Storage Systems, fundada en marzo de 2026), está construyendo tecnología de robotaxis tras levantar $1,700 millones en una ronda liderada por Andreessen Horowitz — con la propia Uber invirtiendo $100 millones.
- Atoms adquirió Pronto, la startup de conducción autónoma dirigida por Anthony Levandowski, el ingeniero en el centro de la demanda original entre Uber y Waymo por autos autónomos.
Por qué importaEl hombre que construyó Uber ahora apuesta a que el conductor siempre fue temporal — y Uber se cubre financiando a su propio posible disruptor, una señal de hacia dónde va el trabajo de plataforma que tanto pesa en Latinoamérica.
El 1% de los clientes paga el 80% del boom de la IA
- Datos de tarjetas corporativas de Ramp muestran que el 1% de los clientes enterprise genera cerca del 80% de los ingresos empresariales tanto de OpenAI como de Anthropic — una concentración sin precedentes en otras categorías de software.
- Apenas dos herramientas de programación, Cursor y GitHub Copilot, generaron unos $1,200 millones de los $5,000 millones de ingresos de Anthropic.
Por qué importaLos ingresos del boom de la IA descansan en un puñado de herramientas de programación — si esa capa tropieza, el golpe llega directo a los laboratorios de modelos.
La foto completa
El mismo fin de semana en que la IA conquistó una de las grandes cumbres de las matemáticas, los datos mostraron que su modelo de negocio se balancea sobre una aguja: 1% de los clientes financia el 80% de los ingresos. Mientras tanto, la capa física de la tecnología —cohetes, robotaxis— la están reconstruyendo startups que se mueven más rápido que los gigantes. La capacidad ya no es la pregunta; la distribución y la durabilidad, sí.
Fuentes y lecturas
- Anthropic — Formalizing Fermat's Last Theorem
- Forbes — Claude formalized Fermat's Last Theorem in 11 days
- OpenAI — GPT-6 Astra
- CNBC — OpenAI announces rollout of GPT-6 Astra
- Space.com — Isar Aerospace reaches orbit from Norway
- ESA — Spectrum's qualifying second launch
- TechCrunch — Kalanick's Atoms raises $1.7B led by a16z
- PYMNTS — OpenAI and Anthropic get 80% of revenue from 1% of customers