OpenAI dice que su IA resolvió un problema matemático de 90 años. Un matemático dice que usaron su propio trabajo para lograrlo.

El martes fue el tipo de día que casi nunca se ve en las noticias de IA: un avance matemático genuino, seguido de inmediato por una pelea sobre a quién le corresponde realmente el mérito. Junto a eso, dos empresas muy distintas hicieron apuestas muy distintas sobre la construcción de infraestructura de IA, y en India un guardameta pasó dos días reescribiendo un récord que llevaba décadas en pie.

OpenAI dice que resolvió un problema matemático de 90 años. No todos están aplaudiendo.

El 8 de septiembre, OpenAI anunció que un modelo interno aún sin publicar, trabajando junto a un enjambre de hasta 10.000 agentes de IA durante unas 88 horas, produjo una prueba del problema de existencia y suavidad de Navier-Stokes, uno de los siete Problemas del Milenio establecidos por el Clay Mathematics Institute en el año 2000. Las ecuaciones describen cómo se mueven fluidos como el agua y el aire, y durante casi un siglo los matemáticos no habían podido determinar con certeza si un flujo de fluido suave y bien comportado podía romperse de golpe en una singularidad. El modelo de OpenAI encontró que sí puede: una prueba que describe un vórtice que se cierra sobre sí mismo cada vez más rápido en un tiempo finito, mientras la energía total del fluido permanece acotada. Luego, GPT-6 Astra, el modelo público de la empresa, dedicó otras 17 horas a formalizar el argumento en Lean, el software que usan los matemáticos para verificar de forma automática cada paso lógico de una prueba. OpenAI dice que no tiene intención de reclamar el millón de dólares del premio, y los matemáticos externos todavía deben confirmar de forma independiente que el resultado cumple con los propios criterios del Clay Institute.

El anuncio llegó un día después de que Tristan Buckmaster, matemático de la Universidad de Nueva York, publicara en internet que él y su colaborador Levent Alpöge habían logrado su propio avance en una ecuación relacionada, usando ampliamente herramientas de programación con IA. Buckmaster acusó después a OpenAI de haberse enterado del método inédito de la pareja y de haber adoptado un enfoque similar para su propia prueba, y afirmó que el investigador de OpenAI Sébastien Bubeck presionó para que se retirara a Alpöge, quien trabaja en Anthropic pero no realizaba esta investigación para la empresa, de la lista de coautores. Buckmaster dice que cuando amenazó con hacer pública la disputa, Bubeck le respondió: “¿Por qué arruinarías tu carrera?”. Bubeck ha calificado públicamente estas acusaciones de “falsas e incendiarias” y afirma haber actuado en todo momento conforme a las normas académicas habituales. Por separado, el medallista Fields Terence Tao elogió los propios resultados de Buckmaster y Alpöge como un avance genuino, aunque días antes también había advertido que si el camino que sigue una IA para llegar a una prueba sigue siendo una caja negra, su valor para las matemáticas sería cercano a cero incluso si la prueba en sí resulta correcta.

Aquí pueden ser ciertas dos cosas a la vez: la prueba verificada en Lean es un logro técnico real, y la historia de cómo se produjo está ahora genuinamente en disputa. Es probable que el debate sobre ambas cosas continúe un tiempo más.

El acuerdo de Qualcomm con Amazon podría llegar a valer 60.000 millones de dólares. Hoy, vale 4.000 millones.

El 8 de septiembre, Qualcomm y Amazon Web Services anunciaron una asociación de varias generaciones para diseñar juntos chips de inferencia de IA a medida y conexiones ópticas de alta velocidad para los centros de datos de AWS. Como parte del acuerdo, Qualcomm emitió a Amazon warrants para comprar 25 millones de acciones de Qualcomm a 161,26 dólares cada una, una participación que valdría unos 4.000 millones de dólares si Amazon ejerciera la totalidad.

La cifra mucho mayor asociada a este acuerdo, hasta 60.000 millones de dólares, no es un pedido garantizado. Es el techo: los warrants se van liberando en tramos a medida que Amazon realmente coloca y completa órdenes de compra de los chips para servidores de Qualcomm y tecnología relacionada, y Qualcomm ha dicho que 3,75 millones de las 25 millones de acciones, un 15 por ciento, ya se liberaron con base en los compromisos de compra iniciales de Amazon. Es decir, el acuerdo es real y hoy ya está parcialmente financiado, pero la cifra titular de 60.000 millones describe lo que Amazon podría llegar a gastar a lo largo de varias generaciones futuras de chips, no lo que ya gastó. La acción de Qualcomm subió más de un 3 por ciento con la noticia, señal de que los inversores leen incluso este compromiso parcial como un paso significativo para diversificarse del negocio de chips para teléfonos que ha definido a la empresa durante décadas.

Mistral cerró la ronda de financiamiento más grande en la historia de la tecnología europea

La empresa francesa de IA Mistral cerró el 8 de septiembre una ronda Serie D de 3.000 millones de euros, con una valoración posterior a la inversión de más de 21.000 millones de euros, algo que la propia empresa y varios medios que siguen el financiamiento europeo describen como la mayor ronda de capital individual que ha reunido jamás una empresa tecnológica europea.

Samsung Electronics lideró la ronda, con el Scaleup Europe Fund, gestionado por EQT, y el inversor existente PSG Equity como colíderes. Entre los nuevos inversores están Advent, fondos gestionados por BlackRock y el gobierno de Luxemburgo, que se suman a una larga lista de inversores existentes que incluye a Andreessen Horowitz, ASML, General Catalyst, Lightspeed, Nvidia y Salesforce Ventures. Mistral dice que el dinero se destinará a ampliar su propia infraestructura de cómputo, incluidos centros de datos que la empresa pasará a poseer por completo en lugar de solo alquilar, además de su investigación y su expansión comercial internacional.

Mistral se ha posicionado como la respuesta europea a los laboratorios estadounidenses y chinos que dominan la IA de frontera, apoyada en la idea de que los gobiernos y las empresas europeas quieren sistemas de IA que puedan alojar y controlar en su propio territorio. Una ronda de este tamaño, apenas tres años después de la fundación de la empresa, es la prueba más clara hasta ahora de que los inversores, incluido un fabricante de hardware tan importante como Samsung, están dispuestos a apostar fuerte por esa idea.

Un guardameta indio reescribió un récord del cricket que llevaba décadas en pie

En la final de la Duleep Trophy en Chennai, el capitán y guardameta de East Zone, Ishan Kishan, anotó 270 carreras en 334 bolas frente a South Zone, una entrada que incluyó 30 cuatros y siete seises y ayudó a su equipo a llegar a un total de 708 carreras. Se retiró brevemente por una lesión después de superar las 250 carreras, antes de volver al campo para seguir bateando.

La entrada es la octava puntuación individual más alta en la historia del torneo y la más alta lograda por un guardameta en una final de la Duleep Trophy, superando las 183 carreras de Dinesh Karthik. Kishan es apenas el tercer bateador de East Zone en anotar un doble centenar en la competencia, y el primer guardameta y capitán a la vez en lograrlo en una final. En el camino, también superó las 4.000 carreras en su carrera en el críquet de primera clase. El ex astro indio Yuvraj Singh elogió públicamente la entrada como algo especial, y Kishan dijo después que su mejor juego suele salir bajo presión.

Los hitos individuales como este no siempre se traducen en éxito de equipo, pero un total de 708 carreras construido en parte sobre una entrada tan dominante deja a East Zone en una posición sólida de cara a los días que restan de la final.

Estas cuatro historias no comparten industria, pero sí comparten una pregunta que vale la pena detenerse a considerar: a quién le corresponde el mérito cuando ocurre un avance, y cuánto sabemos realmente sobre cómo ocurrió. OpenAI quiere el mérito de una prueba matemática que dice que una IA produjo en gran medida por su cuenta. Un matemático dice que la verdadera historia es mucho más complicada. Qualcomm quiere el mérito de un acuerdo de 60.000 millones de dólares que, por ahora, es un acuerdo de 4.000 millones. La única afirmación de este resumen que nadie está discutiendo es el 270 junto al nombre de Ishan Kishan en la planilla de anotaciones.