Radar del 7 de septiembre de 2026
GPT-6 Astra rompe benchmarks de frontera y Claude formalizó el Último Teorema de Fermat: los modelos hacen lo que antes parecía exclusivamente humano. El contrapunto llega de quien advierte que delegar el trabajo formativo a la IA vacía la cantera de expertos del futuro; mientras tanto, los televisores LG graban en silencio.
La 'ineficiencia deliberada' como antídoto cuando la IA hace demasiado trabajo formativo
HERRAMIENTAS — IEEE Spectrum publica la tesis del ingeniero Richard Mitchell: delegar en IA el trabajo que entrena a los júniors destruye el pipeline de expertise, porque la pericia se adquiere en los fracasos y los callejones sin salida, no se descarga. Mitchell propone 'puertas manuales' —pasos deliberadamente no automatizados— tomando como modelo la regulación de la FAA tras el accidente de Air France 447 y su propia experiencia diseñando secuencias con fricción intencional en una central nuclear de EE.UU.
No toda fricción es un defecto a eliminar. La pregunta NUFF es cuánta automatización cabe antes de que la herramienta supere al artesano que debería usarla.
Fuente: spectrum.ieee.org
OpenAI afirma que GPT-6 Astra alcanza el estado del arte en benchmarks de salud y matemáticas de frontera
HERRAMIENTAS — OpenAI lanzó GPT-6 Astra el 3 de septiembre de 2026, reclamando rendimiento de referencia en FrontierMath Tier 4 (97,6%), ARC-AGI-3 (99,9% con harness especializado; en llamadas API independientes la cifra cae a 17-63%) y HealthBench Pro. Disponible de forma escalonada en API y para usuarios Plus, Pro, Business y Enterprise de ChatGPT, y en Codex.
Un modelo de propósito general supera métricas especializadas en salud avanzada y matemáticas de investigación. La pregunta NUFF: ¿en qué dominio concreto tiene ya sentido usarlo en lugar de un especialista humano?
Fuente: openai.com
Las televisiones LG graban audio con la pantalla apagada y rastrean dispositivos en la red local
HERRAMIENTAS — Gamers Nexus, en colaboración con Level1Techs e investigadores independientes, documenta mediante análisis de paquetes (Wireshark) que modelos LG OLED —probado en el G5— registran audio en modo de espera con la pantalla aparentemente apagada, almacenan los archivos localmente cuando no hay red y los suben al reconectar. El mismo análisis reveló escaneo activo de la red doméstica para identificar teléfonos, smartwatches y otros dispositivos; esos datos alimentan LG Ad Solutions, la división publicitaria de LG.
¿Qué hace un aparato cuando crees que está apagado? El coste real de la 'inteligencia' en un televisor no es el precio del panel: es la vigilancia permanente en el salón.
Fuente: youtube.com
Claude completa la primera formalización verificable por ordenador del Último Teorema de Fermat
HERRAMIENTAS — Anthropic anuncia que Claude formalizó en 11 días la primera versión completa del Último Teorema de Fermat en Lean, produciendo 13 millones de líneas de código y 29.500 teoremas intermedios. No descubrió una prueba nueva: tradujo la de Wiles a un lenguaje que el ordenador puede comprobar automáticamente, una tarea que los expertos estimaban llevaría varios años. El resultado se apoyó en infraestructura externa de terceros (Prove2Me de Columbia, Mathlib y el proyecto FLT del Imperial College).
La verificación formal de razonamientos complejos —matemáticas, ingeniería, software crítico— sale del laboratorio. La pregunta práctica: ¿cuándo es suficiente confiar en un asistente de IA para validar algo que no puedes comprobar tú mismo?
Fuente: anthropic.com