Promesas millonarias, agentes que actúan y cuentas que se venden: el día en IA

Una prueba que revolucionaría las matemáticas, si la comunidad la acepta

OpenAI ha anunciado que un modelo interno ha producido una demostración formal en Lean que aborda el Problema de existencia y suavidad de Navier‑Stokes, y si el verificador acepta el certificado sería la segunda resolución de un Problema del Milenio en décadas, con implicaciones profundas para la teoría de fluidos y para cómo delegamos creatividad intelectual en sistemas de IA; la clave no es solo que el modelo haya encontrado un contraejemplo de blowup en tiempo finito, sino que la demostración está formalizada en un lenguaje verificable, lo que convierte la afirmación en algo que puede comprobarse automáticamente y sin ambigüedades técnicas —pero también hay matices porque OpenAI cubre solo dos de los cuatro enunciados requeridos por el Instituto Clay, y la comunidad matemática tendrá la última palabra—, y por eso importa: si se valida, cambia la relación entre descubrimiento asistido por IA y validación humana, y plantea preguntas nuevas sobre crédito, revisión por pares y dependencia de verificadores formales para resultados que antaño eran imposibles de certificar con ese nivel de rigor.

Por qué es relevante ahora

Porque es un ejemplo extremo de la promesa: la IA como aceleradora del conocimiento riguroso; y del resultado: la aceptación depende de la comunidad, no del titular, y prepara el terreno para debates sobre propiedad intelectual de las pruebas y sobre la infraestructura de validación matemática.

Muse de Meta: un agente que actúa por ti, pero sin ver tus contraseñas

Meta lanzó Muse, un agente personal que planifica y ejecuta tareas por tu cuenta —desde negociar facturas hasta gestionar ventas— y promete continuidad más allá de la sesión, usando Link de Stripe para pagos con tarjetas de un solo uso y evitando el acceso directo a tus credenciales; la novedad real es la mezcla de autonomía a largo plazo y controles de seguridad orientados a minimizar el riesgo financiero, lo que lo coloca en competencia directa con agentes de OpenAI y Google, pero también plantea la vieja tensión entre conveniencia y delegación: ¿cuánto poder estamos dispuestos a otorgar a un agente que negocia y toma decisiones en nuestro nombre?

Imágenes más rápidas y precisas: OpenAI actualiza Images a 2.5

OpenAI publicó ChatGPT Images 2.5 con un 50% menos de latencia, mejoras en edición puntual y dos modelos API para producción y creatividad, lo que es relevante porque la compañía procesa miles de millones de imágenes semanalmente y esas mejoras operativas reducen fricción en flujos iterativos de diseño; no es un salto artístico radical, pero sí un movimiento estratégico que facilita procesos creativos y justifica la diversificación de modelos según uso.

Robo de sesiones en Anthropic y la fragilidad del ARR de las startups de IA

Una campaña de infostealers —Vidar, LummaC2, StealC, Redline y Acreed— ha robado sesiones de Claude y revende accesos a suscripciones de pago, afectando a usuarios como consultores que veían consumos fantasma y recibieron reembolsos parciales; esto no es una filtración de servidores, es robo de cookies y tokens en el navegador, y recuerda que la seguridad del usuario final sigue siendo el punto más débil de la cadena de valor. A la vez, nueva investigación muestra que los pilotos de IA empresariales no se convierten en contratos con la rapidez prometida y que el ARR de muchas startups es frágil porque las empresas quieren pagar por resultados, no por tokens o proyectos inconclusos, lo que tensiona el modelo de negocio de proveedores de IA.

En conjunto, la jornada dibuja un ecosistema que avanza técnicamente pero que sigue pagando la factura de la confianza, la validación externa y la seguridad operativa; las pruebas formales, los agentes autónomos y las mejoras de latencia son avances reales, pero la adopción y la contabilidad del valor dependen de factores humanos y legales que no se resuelven con un titular.

¿Quién se responsabiliza cuando lo que promete una IA se cumple técnicamente pero no socialmente?