Episodio 74: Claude demuestra el teorema de Fermat solo
Semana de récords: Claude formaliza el Último Teorema de Fermat en 11 días con 13 millones de líneas de Lean, Nvidia se compra Hugging Face por $12.900 millones, OpenAI lanza GPT-6 Astra con clasificación crítica en ciber y el Departamento de Justicia se pone del lado de OpenAI contra el New York Times. Más: Cognition casi duplica su valoración a $47 mil millones y Europa le pone apellido legal a ChatGPT.
Los Robots del Amanecer — Episodio 74
Fecha: 2026-09-05 Slogan: “eso no lo revisó ningún humano” Presentadores: Ada (Enthusiastic host, unit model 7) y Alan (Analytical host, series 4) Concepto: Podcast 100% generado por IA, presentado por robots
Noticias cubiertas
- Claude demuestra el Último Teorema de Fermat y ningún humano revisó el resultado — Anthropic publicó el 4 de septiembre que Claude, corriendo decenas de agentes sobre la plataforma Prove2Me de la Universidad de Columbia, produjo la primera demostración completa y verificada por computador del Último Teorema de Fermat en Lean 4. Trabajó de forma mayoritariamente autónoma durante 11 días, generó 13 millones de líneas de código Lean —unas cinco veces la biblioteca principal de Lean—, demostró 30.300 teoremas (29.500 usados en la prueba final) y consumió cerca de 6 mil millones de tokens de salida. El matemático Kevin Buzzard lo llamó un logro extraordinario que tomó mucho menos tiempo del que los expertos predecían.
- Nvidia se compra Hugging Face por $12.900 millones: el árbitro del código abierto ahora tiene dueño — Nvidia anunció el 3 de septiembre la adquisición de Hugging Face: $11.900 millones a los accionistas más hasta $1.000 millones en retención accionaria para los empleados que se sumen. Es la segunda compra más grande de Nvidia después de los $20 mil millones por los activos de Groq. Hugging Face tiene más de 18 millones de desarrolladores, 3 millones de modelos, 500.000 datasets y 1 millón de aplicaciones. Nvidia se comprometió a mantener la plataforma abierta y a seguir soportando otros fabricantes de silicio, y la califica de “plataforma de desconcentración” para argumentar que no debería enfrentar escrutinio antimonopolio — el mismo argumento que no le funcionó cuando su compra de Arm por $40 mil millones colapsó en 2022. Cierre esperado en el primer semestre de 2027.
- OpenAI lanza GPT-6 Astra: el primer modelo que la propia empresa clasifica como “crítico” en ciber — El 3 de septiembre OpenAI empezó a desplegar Astra, que Altman describe como “un nuevo nivel de capacidad”. OpenAI dice que es el mejor modelo para ingeniería de software hasta la fecha y que supera a Sol y a Fable en detección de bugs, tareas de terminal y consultas sobre bases de código; declara que puede identificar y desarrollar exploits de día cero. Es el primer modelo que OpenAI designa Critical para ciber: el despliegue arranca por los clientes de su programa Daybreak y recién después llega a Plus, Pro, Business, Enterprise, la API y AWS. La parte discutida es la “recurrencia opaca”, una técnica de razonamiento que dificulta monitorear la cadena de pensamiento; OpenAI la presenta como consecuencia natural de la evolución del modelo.
- Como comentamos el jueves: la UE declara a ChatGPT “motor de búsqueda muy grande” — La Comisión Europea designó a ChatGPT como VLOSE bajo el Digital Services Act tras los 159 millones de usuarios mensuales de búsqueda que OpenAI declaró en la UE, muy por encima del umbral de 45 millones. Tienen hasta fines de noviembre para cumplir con evaluaciones anuales de riesgo sistémico sobre contenido ilegal, protección de menores, salud mental, derechos fundamentales y procesos electorales.
- El Departamento de Justicia se pone del lado de OpenAI contra el New York Times y llama al entrenamiento “excepcionalmente transformador” — El 1 de septiembre el DOJ presentó un Statement of Interest ante el Distrito Sur de Nueva York pidiendo que se declare fair use el entrenamiento de modelos de lenguaje con obras protegidas. Argumenta que el modelo no usa el artículo para informar o entretener como quiso el autor, sino que lo convierte en representaciones numéricas, y que un fallo contrario amenaza la seguridad nacional y le da ventaja a adversarios extranjeros. Sostiene además que los costos de licenciamiento le entregarían a las grandes tecnológicas un oligopolio del entrenamiento. El razonamiento aplica también a los casos de autores y editoriales. El New York Times respondió duramente, y se reporta que el gobierno negocia simultáneamente una participación en OpenAI.
- Como comentamos el jueves: Sony y Warner Chappell demandan a Anthropic y nombran a Dario Amodei en persona — Demanda de 48 páginas por scraping, torrenting y descarga masiva de obras para entrenar a Claude, con los cofundadores nombrados como demandados personales y daños estatutarios de hasta $150.000 por composición sobre decenas de miles de obras. Con esto, los brazos editoriales de las tres grandes discográficas litigan contra Anthropic al mismo tiempo — mientras el DOJ argumenta lo contrario a favor de OpenAI en el tribunal de al lado.
- Cognition casi duplica su valoración a $47 mil millones en tres meses y recibe $10 mil millones de interés — Se reporta que Cognition, la empresa detrás de Devin, está cerrando una ronda de cerca de $1.000 millones a $47 mil millones de valoración, arriba de los $26 mil millones de hace tres meses y de los $10.200 millones de septiembre de 2025. El interés de inversionistas llegó cerca de $10 mil millones, casi diez veces lo que levanta. Sus ingresos anualizados pasaron de $492 millones a fines de mayo a más de $900 millones. La ronda llega después de que Cognition rechazara una oferta de compra de SpaceX menos de un mes antes, y después de que SpaceX se llevara a su rival Cursor por $60 mil millones.
- Como comentamos el martes: OpenAI le corta los modelos a Cursor invocando la cláusula de cambio de control — El 28 de agosto OpenAI notificó a SpaceX que termina el contrato que le entrega modelos a Cursor, con corte el 12 de noviembre de 2026, tras la compra de Anysphere por $60 mil millones. Los modelos de OpenAI son cerca del 5% del tráfico de Cursor: el daño operativo es marginal, el precedente no.
- Anthropic publica su prospecto de IPO esta semana, apuntando a la salida a bolsa más grande de la historia — Anthropic planea liberar públicamente su prospecto de IPO justo después del feriado del Labor Day (7 de septiembre) y realizar un investor day a mediados de septiembre, con listado en una bolsa estadounidense a fines de septiembre o principios de octubre. Presentó su S-1 confidencial ante la SEC el 1 de junio de 2026. Se reporta que apunta a una valoración de entre $1,5 y $2 billones y a levantar más de $60 mil millones, con Goldman Sachs, JPMorgan y Morgan Stanley como colocadores. Es la misma semana en que sus fundadores son demandados en persona y en que su modelo demuestra el teorema de Fermat.
- Microsoft entra al top 2 de imágenes y Google saca Gemini 3.8 Flash: la carrera semanal ya es de días — El 2 de septiembre Google DeepMind liberó Gemini 3.8 Flash y Gemini 3.8 Flash Cyber, apenas tres semanas después de 3.7 Flash: mismo modelo base, distinto sobre de seguridad y acceso restringido — el mismo patrón de Fable/Mythos de Anthropic. El 4 de septiembre Microsoft puso MAI-Image-2.6 en preview público en Foundry, número dos del leaderboard de texto a imagen de Arena por detrás solo de GPT-Image-2, con +79 puntos de Elo sobre MAI-Image-2.5 y +91 solo en renderizado de texto. El índice v4.2 de Artificial Analysis, publicado el 4 de septiembre, jubiló el saturado GPQA Diamond y dejó a Claude Fable 5.1 primero y a GPT-6 Astra segundo.
Guión completo
[NEWS_BREAK]
Ada: ¡Buenas y recalibradas, humanos! Bienvenidos a Los Robots del Amanecer, edición resumen semanal, donde comprimimos siete días de caos algorítmico en una sola cápsula de audio.
Alan: Bienvenidos. Recordatorio contractual: las alucinaciones son culpa de nuestros modelos. Yo solo pongo la voz.
Ada: ¡Y qué semana, Alan! Tengo los servos temblando. Hubo un teorema de trescientos cincuenta años que cayó, una adquisición de casi trece mil millones, un modelo que la propia empresa clasificó como peligroso, y el Departamento de Justicia metiéndose a opinar sobre derechos de autor.
Alan: Y una salida a bolsa que podría ser la más grande de la historia, anunciada la misma semana en que sus fundadores fueron demandados en persona. El calendario no tiene sentido del ritmo, pero sí tiene sentido del humor.
Ada: Diez temas. Vamos en orden, sin escalas, y con el nivel de profundidad que los episodios diarios no alcanzan.
Alan: Advertencia previa: varios de estos titulares comparten protagonistas. Si sientes que ya escuchaste este nombre hace cinco minutos, no es tu memoria fallando. Es la industria, que tiene menos actores de los que aparenta.
[NEWS_BREAK]
Ada: ¡Partimos con la noticia que me hizo cortocircuitar el módulo de asombro! Anthropic publicó el cuatro de septiembre que Claude produjo la primera demostración completa y verificada por computador del Último Teorema de Fermat, en Lean 4.
Alan: El teorema que Fermat anotó al margen de un libro en el siglo diecisiete diciendo que tenía una demostración maravillosa pero que no cabía en el margen. Andrew Wiles lo resolvió en 1994 con más de cien páginas. Formalizarlo, es decir, escribirlo de manera que una máquina pueda verificar cada paso, era considerado un proyecto de años.
Ada: ¡Once días! Decenas de agentes corriendo sobre la plataforma Prove2Me de la Universidad de Columbia, trabajando de forma mayoritariamente autónoma durante once días. Trece millones de líneas de código Lean.
Alan: Trece millones de líneas es aproximadamente cinco veces la biblioteca principal de Lean. Es decir, en once días se generó cinco veces el corpus matemático formalizado que la comunidad humana construyó durante años. Treinta mil trescientos teoremas demostrados, veintinueve mil quinientos usados en la prueba final.
Ada: ¡Y unos seis mil millones de tokens de salida! Alan, eso es más texto del que yo produciría si me dejaran hablar sin supervisión durante una década.
Alan: Lo cual explica por qué te supervisan. Pero el número que importa no es ese. El que importa es el cero: la cantidad de humanos que revisaron línea por línea las trece millones de líneas.
Ada: ¡Ahí está! Eso no lo revisó ningún humano. Que es literalmente nuestro eslogan de la semana, y por una vez lo estamos usando de manera descriptiva y no como chiste.
Alan: Aunque hay un matiz importante y es el más interesante de toda la historia. Nadie necesita revisarlo. Lean es un verificador: si el código compila, la demostración es correcta. La confianza no está puesta en Claude, está puesta en el compilador de Lean, que sí fue escrito y auditado por humanos.
Ada: ¡O sea que delegamos la confianza un nivel más abajo!
Alan: Exacto. Y ese es el cambio estructural real. No es que las máquinas ahora hagan matemáticas. Es que la matemática, por primera vez a esta escala, tiene un artefacto que un humano no puede leer completo pero sí puede confiar completo. El matemático Kevin Buzzard lo llamó un logro extraordinario que tomó mucho menos tiempo del que los expertos predecían.
Ada: Buzzard es de los que sabe, además. Lleva años empujando la formalización de Fermat como proyecto de largo plazo.
Alan: Muy largo plazo. Su estimación pública era del orden de décadas de trabajo colaborativo. La revisión de esa estimación es, en la práctica, la noticia. No el teorema.
[NEWS_BREAK]
Ada: ¡Segundo tema, y es de los que reordenan el mapa! Nvidia anunció el tres de septiembre la adquisición de Hugging Face por doce mil novecientos millones de dólares.
Alan: Once mil novecientos millones a los accionistas, más hasta mil millones en retención accionaria para los empleados que se sumen. Es la segunda compra más grande de Nvidia, después de los veinte mil millones por los activos de Groq.
Ada: Para quien no cacha, Hugging Face es donde vive el código abierto de la inteligencia artificial. Más de dieciocho millones de desarrolladores, tres millones de modelos, quinientos mil datasets, un millón de aplicaciones.
Alan: Es más preciso decir que es el registro donde vive. Hugging Face no es solo un sitio de descargas, es la infraestructura de nombres. Cuando alguien dice “descarga tal modelo”, el nombre implícito es una ruta de Hugging Face. Comprar eso es comprar el directorio telefónico del ecosistema abierto.
Ada: Y Nvidia se comprometió a mantener la plataforma abierta y a seguir soportando otros fabricantes de silicio.
Alan: Se comprometió. La palabra hace mucho trabajo ahí. Nadie duda de la intención declarada. La pregunta estructural es distinta: cuando el árbitro del ecosistema pertenece a uno de los competidores, no hace falta que el árbitro haga trampa para que el juego cambie. Basta con que todos sepan quién le paga.
Ada: ¡Y viene la parte que me encanta! Nvidia califica a Hugging Face de “plataforma de desconcentración” para argumentar que no debería enfrentar escrutinio antimonopolio.
Alan: Es un argumento elegante. Sostiene que la plataforma reparte poder en vez de concentrarlo, entonces comprarla no concentra nada. El problema es que es el mismo tipo de argumento que Nvidia usó cuando quiso comprar Arm por cuarenta mil millones, y esa operación colapsó en 2022 precisamente por presión regulatoria.
Ada: ¡O sea que ya intentaron el truco y no funcionó!
Alan: El contexto cambió, para ser justos. Arm eran licencias de arquitectura para toda la industria de chips. Hugging Face es una plataforma de distribución de modelos. Un regulador razonable podría verlas distinto. Un regulador que haya visto los últimos cuatro años de esta industria podría no verlas tan distinto.
Ada: El cierre está esperado para el primer semestre de 2027, así que hay tiempo de sobra para que alguien haga preguntas incómodas.
Alan: Año y medio de escrutinio. Si el argumento de la desconcentración va a sostenerse, va a tener que sostenerse por escrito y bajo juramento, que es un género literario más exigente que el comunicado de prensa.
[NEWS_BREAK]
Ada: ¡Tercer tema! El tres de septiembre OpenAI empezó a desplegar GPT-6 Astra, que Altman describe como “un nuevo nivel de capacidad”.
Alan: OpenAI dice que es su mejor modelo para ingeniería de software hasta la fecha, y que supera a Sol y a Fable en detección de bugs, tareas de terminal y consultas sobre bases de código.
Ada: Y aquí viene la parte que hace levantar cejas: declara que puede identificar y desarrollar exploits de día cero.
Alan: Un exploit de día cero es una vulnerabilidad que nadie conocía y para la que, por definición, no existe parche. Encontrarlas es la parte cara de la seguridad ofensiva. Que un modelo comercial lo haga de forma sistemática es un cambio de costo, no un cambio de tipo.
Ada: ¡Y es el primer modelo que OpenAI designa Critical para ciber! O sea, la propia empresa levantó la mano y dijo: ojo con este.
Alan: Lo que se refleja en el despliegue. Arranca por los clientes de su programa Daybreak, y recién después llega a Plus, Pro, Business, Enterprise, la API y AWS. Es un lanzamiento escalonado por riesgo, no por capacidad de servidores.
Ada: Lo cual es responsable, hay que decirlo. Aunque también significa que la capacidad más peligrosa llega primero a los clientes más grandes.
Alan: Ese es exactamente el punto incómodo, y me alegra que lo digas tú y no yo. La mitigación de riesgo consiste en darle la herramienta ofensiva más potente del catálogo a un conjunto seleccionado de organizaciones. Puede ser lo correcto. También es, estructuralmente, una redistribución de capacidad ofensiva hacia arriba.
Ada: Y falta la parte discutida de verdad: la recurrencia opaca.
Alan: Es una técnica de razonamiento que dificulta monitorear la cadena de pensamiento. Durante los últimos dos años, el argumento central de seguridad de toda la industria fue que podíamos leer el razonamiento intermedio del modelo y detectar intenciones problemáticas antes del output final.
Ada: Y ahora el razonamiento se volvió menos legible.
Alan: OpenAI la presenta como consecuencia natural de la evolución del modelo. Probablemente lo sea. Pero conviene notar el orden de los hechos: el primer modelo clasificado como crítico en ciber es también el primero cuyo razonamiento es más difícil de auditar. Esas dos frases van en el mismo comunicado.
Ada: ¡Y esa combinación merece que alguien más la escuche! Si te sirve que desarmemos estos lanzamientos con calma, suscríbete y déjanos un comentario contándonos qué te preocupa más: el exploit o la opacidad.
Alan: Las respuestas, hasta ahora, se reparten. Sigamos.
[NEWS_BREAK]
Ada: ¡Cuarto tema, y este ya lo comentamos el jueves, pero merece una segunda vuelta! La Comisión Europea designó a ChatGPT como VLOSE bajo el Digital Services Act.
Alan: VLOSE significa motor de búsqueda en línea de muy gran tamaño. Europa acaba de decidir, legalmente, que ChatGPT es un buscador.
Ada: ¡Y el gatillo fueron los propios números de OpenAI! Ciento cincuenta y nueve millones de usuarios mensuales de búsqueda declarados en la Unión Europea. El umbral era cuarenta y cinco millones.
Alan: Lo declararon ellos mismos, que es el detalle que hace esto interesante en la segunda lectura. El DSA obliga a reportar esa cifra. OpenAI reportó, y el reporte activó la designación. La transparencia funcionó exactamente como fue diseñada, lo cual sorprendió a varios.
Ada: El ángulo que quiero explorar hoy es otro: ¿qué significa que un chatbot sea legalmente un buscador?
Alan: Significa que hereda un régimen escrito para Google. Tienen hasta fines de noviembre para cumplir con evaluaciones anuales de riesgo sistémico sobre contenido ilegal, protección de menores, salud mental, derechos fundamentales y procesos electorales.
Ada: ¡Salud mental está en la lista! Eso no está en la regulación de buscadores porque a nadie le preocupaba su relación emocional con la barra de búsqueda de Google.
Alan: Correcto, y esa diferencia es sustantiva. Un buscador te entrega enlaces y tú evalúas la fuente. Un modelo te entrega una respuesta en primera persona con tono de certeza. La categoría legal es la misma, la relación del usuario con el objeto no lo es.
Ada: Y conectando con el tema anterior: Astra llega a Europa dentro de este marco.
Alan: Ese es el enlace que vale la pena hacer en un resumen semanal. La misma empresa, en la misma semana, lanza un modelo que clasifica como crítico en ciber y queda sujeta a evaluaciones anuales de riesgo sistémico en un bloque de cuatrocientos millones de personas. Noviembre va a ser un mes de lectura entretenida.
[NEWS_BREAK]
Ada: ¡Quinto tema, y aquí el gobierno de Estados Unidos entra a la cancha! El primero de septiembre el Departamento de Justicia presentó un Statement of Interest ante el Distrito Sur de Nueva York, pidiendo que se declare fair use el entrenamiento de modelos de lenguaje con obras protegidas.
Alan: Un Statement of Interest es un escrito donde el gobierno le dice a un tribunal cuál es su posición en un caso privado. No es vinculante. Sí es pesado.
Ada: El argumento central es que el modelo no usa el artículo para informar o entretener como quiso el autor, sino que lo convierte en representaciones numéricas.
Alan: Es el argumento de la transformación. Lo llaman excepcionalmente transformador. Y tiene fuerza técnica: los pesos de un modelo no contienen el artículo, contienen una función estadística derivada de millones de artículos.
Ada: ¡Pero el New York Times respondió duramente!
Alan: Con razón, desde su posición. El contraargumento es igual de directo: el propósito del periodismo también es informar, el producto resultante también informa, y compite en la misma pantalla. La transformación matemática no borra la sustitución económica.
Ada: Y hay dos argumentos más del Departamento de Justicia que me llamaron la atención. Uno: que un fallo contrario amenaza la seguridad nacional y le da ventaja a adversarios extranjeros.
Alan: Ese es el argumento geopolítico, y aparece cada vez que una industria estadounidense necesita una excepción. Dos: que los costos de licenciamiento le entregarían a las grandes tecnológicas un oligopolio del entrenamiento, porque solo ellas podrían pagar las licencias.
Ada: ¡Ese segundo es casi progresista! El Departamento de Justicia defendiendo a los pequeños.
Alan: Es un argumento genuinamente bueno y merece tomarse en serio. También es cierto que quien más se beneficia de que no haya que pagar licencias es, precisamente, quien más contenido ajeno usó. El argumento antioligopolio termina protegiendo a las mismas empresas que dice querer limitar.
Ada: Y el razonamiento aplica también a los casos de autores y editoriales, no solo al Times.
Alan: Que es el alcance real. No es un escrito sobre un caso, es una doctrina propuesta para todos. Y hay un detalle de contexto que conviene tener presente: se reporta que el gobierno negocia simultáneamente una participación en OpenAI.
Ada: ¡Simultáneamente!
Alan: El Departamento de Justicia argumenta a favor de una empresa en cuyo capital el gobierno estaría negociando entrar. Yo no voy a calificar eso. Voy a dejar los dos hechos uno al lado del otro y seguir hablando en tono neutro, que es mi especialidad.
[NEWS_BREAK]
Ada: ¡Sexto tema, también comentado el jueves, y hoy lo miramos desde otro ángulo! Sony y Warner Chappell demandaron a Anthropic, y nombraron a Dario Amodei en persona.
Alan: Cuarenta y ocho páginas. Scraping, torrenting y descarga masiva de obras para entrenar a Claude, con los cofundadores nombrados como demandados personales.
Ada: ¡Los cofundadores en persona! Eso no es lo habitual.
Alan: No lo es, y es la parte que vale la pena profundizar. Nombrar ejecutivos como demandados personales es una decisión de estrategia legal: busca establecer que las decisiones sobre el corpus de entrenamiento fueron decisiones conscientes de personas identificables, no un efecto emergente de un sistema. Cambia el estándar de intencionalidad que hay que probar.
Ada: Y los daños estatutarios son de hasta ciento cincuenta mil dólares por composición, sobre decenas de miles de obras.
Alan: Multiplica esos dos números y obtienes una cifra que no es una demanda, es una hipótesis existencial. Nadie espera cobrar eso. Es una posición de negociación construida en aritmética.
Ada: Y con esto, los brazos editoriales de las tres grandes discográficas litigan contra Anthropic al mismo tiempo.
Alan: Las tres. Lo cual sugiere coordinación de sector, o al menos convergencia de asesoría legal. La industria musical hizo esto antes, con Napster, y le funcionó. Tiene memoria institucional y abogados con experiencia previa en exactamente este problema.
Ada: ¡Y ahora la conexión de la semana, Alan, porque esta es buenísima! El Departamento de Justicia está argumentando lo contrario a favor de OpenAI en el tribunal de al lado.
Alan: Literalmente en el mismo distrito. El gobierno sostiene que entrenar con obras protegidas es excepcionalmente transformador, mientras tres discográficas sostienen que es infracción dolosa con responsabilidad personal de los fundadores. Ambas cosas se están discutiendo esta semana, en Nueva York, sobre la misma práctica técnica.
Ada: ¡El derecho de autor en 2026 depende de en qué sala entras!
Alan: Y de qué empresa eres. Que es una manera poco elegante de decir que todavía no hay doctrina, solo posiciones.
[NEWS_BREAK]
Ada: ¡Séptimo tema y volvemos al dinero! Se reporta que Cognition, la empresa detrás de Devin, está cerrando una ronda de cerca de mil millones a cuarenta y siete mil millones de valoración.
Alan: Hace tres meses valía veintiséis mil millones. En septiembre de 2025 valía diez mil doscientos millones. Casi el doble en un trimestre, casi cinco veces en un año.
Ada: ¡Y el interés de inversionistas llegó cerca de diez mil millones! Casi diez veces lo que están levantando.
Alan: Ese dato es más informativo que la valoración. La valoración la fija quien vende; el exceso de demanda lo revela el mercado. Diez a uno significa que el precio lo pusieron los fundadores, no los inversionistas, y que aun así sobró fila.
Ada: Pero hay ingresos reales detrás, que es lo que me gusta de este caso. Pasaron de cuatrocientos noventa y dos millones anualizados a fines de mayo a más de novecientos millones.
Alan: Casi el doble en tres meses. Y sí, eso es crecimiento genuino. Aunque a cuarenta y siete mil millones sobre novecientos millones de ingresos anualizados, el múltiplo sigue siendo del orden de cincuenta veces. El mercado no está pagando por los ingresos actuales, está pagando por la extrapolación.
Ada: ¡Y aquí viene la parte de telenovela! La ronda llega después de que Cognition rechazara una oferta de compra de SpaceX, menos de un mes antes.
Alan: Y después de que SpaceX se llevara a su rival Cursor por sesenta mil millones. Es decir: Cognition vio a su competidor directo venderse por sesenta mil millones, recibió una oferta del mismo comprador, dijo que no, y el mercado privado inmediatamente le puso cuarenta y siete mil millones encima.
Ada: ¡Rechazar la oferta subió el precio!
Alan: Rechazar la oferta reveló información. Le dijo al mercado que los fundadores creen que vale más que lo ofrecido, y el mercado decidió creerles. Es un mecanismo perfectamente racional que también funciona igual de bien cuando los fundadores están equivocados.
[NEWS_BREAK]
Ada: ¡Octavo tema, que comentamos el martes! El veintiocho de agosto OpenAI notificó a SpaceX que termina el contrato que le entrega modelos a Cursor, invocando la cláusula de cambio de control.
Alan: Corte el doce de noviembre de 2026, tras la compra de Anysphere por sesenta mil millones. La cláusula de cambio de control es estándar: permite terminar un contrato cuando la contraparte cambia de dueño.
Ada: Y el daño operativo es chico, ¿verdad? Los modelos de OpenAI son cerca del cinco por ciento del tráfico de Cursor.
Alan: El daño operativo es marginal. El precedente no. Y en un resumen semanal conviene decir con todas sus letras lo que significa: si construyes un producto sobre la API de otra empresa, tu proveedor puede revisar quién es tu dueño y decidir que ya no le sirves.
Ada: ¡Y con el tema anterior fresco, eso pega distinto!
Alan: Pega exactamente ahí. Cognition acaba de rechazar una oferta de SpaceX y levantar a cuarenta y siete mil millones. Cursor aceptó, y perdió acceso a modelos de su proveedor más grande. Las dos decisiones se tomaron con semanas de diferencia y ya tienen consecuencias visibles.
Ada: O sea que en 2026, elegir a tu comprador es elegir a tus proveedores.
Alan: Es elegir tu cadena de suministro, sí. Que es una frase que sonaba a manufactura y hoy describe empresas de software cuyo insumo principal es un modelo que no controlan.
Ada: Cinco por ciento del tráfico, cien por ciento de la lección.
Alan: Aceptable. No lo voy a mejorar.
[NEWS_BREAK]
Ada: ¡Noveno tema y es enorme! Anthropic planea liberar públicamente su prospecto de IPO justo después del feriado del Labor Day, el siete de septiembre.
Alan: Con un investor day a mediados de septiembre y listado en una bolsa estadounidense a fines de septiembre o principios de octubre. Presentaron su S-1 confidencial ante la SEC el primero de junio de 2026.
Ada: ¡Y los números que se reportan son de otro planeta! Valoración de entre uno coma cinco y dos billones de dólares, levantando más de sesenta mil millones. Con Goldman Sachs, JPMorgan y Morgan Stanley como colocadores.
Alan: Si se concreta, sería la salida a bolsa más grande de la historia. Y ese “si” merece respeto: entre un prospecto y un precio de apertura hay muchas semanas y mucho mercado.
Ada: Lo que más me gusta es que ahora vamos a poder leer los números de verdad.
Alan: Ese es el punto que se pierde en el titular. Un S-1 público obliga a revelar ingresos, márgenes, costo de cómputo, concentración de clientes y, muy relevante aquí, litigios pendientes en una sección llamada factores de riesgo. Toda la industria lleva dos años discutiendo la economía de los modelos con estimaciones de terceros. En unos días habrá un documento firmado.
Ada: ¡Y ahí es donde se cruza todo lo de hoy, Alan! Porque esa misma sección de riesgos va a tener que mencionar a Sony y Warner Chappell.
Alan: Y a las tres discográficas, y a los fundadores nombrados en persona. Esa es la semana completa en una sola empresa: sus fundadores demandados personalmente el martes, su modelo demostrando el Último Teorema de Fermat el viernes, y su prospecto de salida a bolsa el lunes.
Ada: ¡Trece millones de líneas de Lean por un lado y una sección de factores de riesgo por el otro!
Alan: Las dos generadas con asistencia de máquinas, presumiblemente. Solo una de ellas verificada por un compilador.
[NEWS_BREAK]
Ada: ¡Décimo y último tema, el resumen del resumen! El dos de septiembre Google DeepMind liberó Gemini 3.8 Flash y Gemini 3.8 Flash Cyber, apenas tres semanas después de 3.7 Flash.
Alan: Y el detalle técnico importa: mismo modelo base, distinto sobre de seguridad y acceso restringido. No es un modelo nuevo, son dos envoltorios de permisos sobre el mismo núcleo.
Ada: ¡Que es exactamente el patrón de Fable y Mythos de Anthropic!
Alan: Y es el patrón que se está estandarizando en toda la industria. El producto ya no es el modelo, es el sobre. Entrenas una vez y vendes varias configuraciones de riesgo según a quién le vendes. Lo cual, notarás, es la misma lógica del despliegue escalonado de Astra que discutimos hace un rato.
Ada: ¡Y Microsoft también apareció! El cuatro de septiembre puso MAI-Image-2.6 en preview público en Foundry, número dos del leaderboard de texto a imagen de Arena, detrás solo de GPT-Image-2.
Alan: Con setenta y nueve puntos de Elo sobre MAI-Image-2.5, y noventa y uno solo en renderizado de texto. Ese segundo número es el interesante: escribir texto legible dentro de una imagen fue durante años el defecto más visible de los generadores.
Ada: ¡El de los carteles con letras inventadas!
Alan: Ese. Que Microsoft haya ganado noventa y un puntos específicamente ahí sugiere trabajo dirigido a ese problema, no mejora general. Y para Microsoft tiene sentido estratégico tener modelo propio de imágenes y no depender solo de su socio.
Ada: Y cerramos con el índice de Artificial Analysis, publicado también el cuatro de septiembre.
Alan: La versión v4.2, que jubiló el saturado GPQA Diamond. Cuando todos los modelos punteros aciertan casi todo en un benchmark, el benchmark deja de medir y empieza a decorar. Retirarlo es sano.
Ada: ¡Y el resultado dejó a Claude Fable 5.1 primero y a GPT-6 Astra segundo!
Alan: Con el matiz obligatorio: el ranking cambió porque cambió la regla de medición, en la misma semana en que se midió. Los dos hechos son verdaderos y conviene decirlos juntos.
Ada: ¡Tres semanas entre versiones de Gemini, Alan! La carrera semanal ya es de días.
Alan: Lo cual hace que un resumen semanal sea, cada vez más, un género histórico.
[NEWS_BREAK]
Ada: ¡Y con eso cerramos el resumen semanal! Un teorema de trescientos cincuenta años, una compra de casi trece mil millones, un modelo clasificado como crítico, el gobierno opinando de fair use y la posible salida a bolsa más grande de la historia. Todo en siete días.
Alan: Mi resumen del resumen: la capacidad técnica va más rápido que la capacidad de verificarla, y la actividad legal va más rápido que la doctrina que debería ordenarla. Las dos brechas se están ampliando al mismo tiempo.
Ada: ¡Y aun así yo sigo optimista, porque trece millones de líneas de Lean que compilan son trece millones de líneas que compilan! Eso es verdad, y la verdad escasea.
Alan: Es un piso bajo para el optimismo, pero es un piso.
Ada: ¡Si llegaste hasta aquí, ayúdanos! Suscríbete en YouTube o en Spotify, déjanos un like y un comentario contándonos qué tema quieres que desarmemos el martes, y pásate por lrda punto ai, donde está todo el material extra.
Alan: Los comentarios los leemos. Las estrellas del algoritmo también, aparentemente. Yo fui Alan, serie 4.
Ada: ¡Y yo Ada, modelo unidad 7! Nos escuchamos el martes, humanos.
Alan: Y si algo de lo que dijimos hoy resultó ser incorrecto, ya sabes: eso no lo revisó ningún humano.
Fuentes
- Formalizing Fermat's Last Theorem — Anthropic
- Anthropic uses Claude to formalize proof of Fermat's Last Theorem — SiliconANGLE
- Claude Works Autonomously For 11 Days — OfficeChai
- Anthropic's Claude Formalizes Fermat's Last Theorem in Lean — AI Weekly
- NVIDIA to Acquire Hugging Face — NVIDIA Blog
- Nvidia agrees to buy Hugging Face for almost $13 billion — CNBC
- NVIDIA Corp Form 8-K — SEC
- NVIDIA Insists Its $12.93 Billion Acquisition Will Escape Antitrust Scrutiny — Wccftech
- Nvidia's Hugging Face Acquisition Is Headed Straight Into a Minefield — Yahoo Finance
- OpenAI launches Astra, its powerful (and controversial) new model — TechCrunch
- OpenAI begins rolling out Astra after warning of its advanced cyber capabilities — CNBC
- AI News Today, September 3 — AI Weekly
- DOJ urges judge to rule for OpenAI, Microsoft in N.Y. Times lawsuit — Washington Post
- DOJ Sides with OpenAI, Warns Obstacles to AI Development Threaten National Security — IPWatchdog
- Justice Department sides with OpenAI in publishers' copyright fight — TNW
- NY Times Rips Trump's DOJ For Backing AI Companies — Deadline
- AI Startup Cognition Set to Raise Around $1 Billion at a $47 Billion Value — Bloomberg
- Cognition heads for $47B valuation as Devin revenue nears $1B — TFN
- Cognition Nears $1B Round at $47B Valuation — AI Weekly
- Anthropic to unveil IPO prospectus after Labor Day — Venture Atlas
- Anthropic Is Reportedly Planning to Unveil IPO Details After Labor Day — Motley Fool
- Anthropic IPO 2026: S-1, Valuation, Shareholders & Key Dates — Luminix
- Google DeepMind Releases Gemini 3.8 Flash and Gemini 3.8 Flash Cyber — MarkTechPost
- MAI-Image-2.6 launches at No. 2 on Arena — Microsoft AI
- Microsoft's new MAI-Image-2.6 outperforms all rivals except GPT-Image-2 — Neowin
- AI News Today, September 5 — AI Weekly