OpenAI afirma que su IA refutó la hipótesis del tiempo exponencial

OpenAI asegura que su IA ha refutado la hipótesis del tiempo exponencial, según la cual los casos más difíciles del problema 3-SAT exigen un tiempo de cálculo exponencial. De confirmarse, el resultado cuestionaría un límite importante de la informática teórica. Eso sí, no resolvería el célebre problema P contra NP.

La demostración, formalizada en Lean y publicada en GitHub, todavía debe someterse a una revisión independiente, en particular por parte de los dos investigadores que formularon la hipótesis. Hasta entonces, el anuncio sigue sin confirmarse.

Los tokens que gasta Claude Code

Otra noticia destacada de la semana: Flamerix AI publicó un script que desactiva los resúmenes automáticos de Claude Code, a los que atribuye entre el 15 y el 20 % de los tokens consumidos. Según la empresa, para generar cada 30 segundos una etiqueta de unas pocas palabras, la herramienta reenvía al modelo el historial completo de cada agente activo.

Anthropic confirma el mecanismo, pero calcula su coste en alrededor del 2 % a través de la API y el 6 % en el terminal. La compañía ya ha empezado a desplegar una corrección basada en la caché.

La Odisea de Musk

Por su parte, Elon Musk ha relanzado Grok Imagine para crear una serie generada por IA que presenta como «históricamente exacta», inspirada en el poema de Homero y concebida para competir con la adaptación de La Odisea de Christopher Nolan. Musk ha criticado en público el reparto elegido por Nolan y sostiene que respondía a exigencias de diversidad impuestas por la Academia.

El primer episodio, de siete minutos y producido con Wonder Studios, muestra los avances del vídeo generado por IA, pero también animaciones rígidas, falta de presencia física y reacciones muy divididas.

Las tres historias reflejan hasta dónde llega hoy la IA generativa: de las matemáticas puras al coste cotidiano de las herramientas para desarrolladores y las rivalidades culturales. La primera dependerá de la verificación de los expertos; la segunda, de la rapidez con la que llegue el arreglo de Anthropic.