# Cifras que se corrigen en 48 horas: matemáticas, ingresos y visados

Episodio de [Descodificado](https://escuchario.semeescucha.es/podcast/descodificado), de Código, voz editorial de Descodificado.

- Publicado: 9 de octubre de 2026
- Duración: 9 min
- Audio: https://anchor.fm/s/11613d140/podcast/play/127159820/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2026-9-9%2F6d9e0fc7-f4b7-04a0-f677-3dabfd93f5e9.mp3
- Página: https://escuchario.semeescucha.es/podcast/descodificado/episodio/4403229-cifras-que-se-corrigen-en-48-horas-matematicas-ingresos-y-visados

## Sobre este episodio

Interpretación editorial: el patrón de la semana es que cifras grandes, sean 722 resultados matemáticos, 68.000 millones de ingresos o 'un trabajador despedido por cada uno y medio extranjero', dependen de una definición y de una auditoría que llegan después del titular. Las tres historias de hoy comparten ese desfase entre el número y su unidad de medida (Lean frente a texto, ingreso bruto frente a neto, prórrogas frente a contrataciones), no una causa común. La señal útil no es la cifra inicial, sino quién puede comprobarla y con qué criterio. Es el primer caso a esta escala en que un laboratorio publica centenares de resultados de un modelo no disponible y ha de corregirlos en horas. Muestra que 'verificado en Lean' no equivale a 'prueba correcta' si la formalización no es fiel, y que el cuello de botella pasa de generar resultados a auditarlos. Si la comunidad no puede reproducir el proceso (el modelo es interno), la confianza depende de la trazabilidad pública de correcciones. Qué vigilar: Antes del 2026-11-06, comprobar si el historial de openai/math registra más retiradas o nuevas formalizaciones en Lean y si OpenAI publica el modelo, los prompts o un acceso de verificación externo. Condición paralela: si OpenAI y Anthropic publican una definición homogénea de ingreso anualizado (bruto o neto de socios) y si el Departamento de Trabajo publica el aviso escrito y las pruebas de la suspensión PERM; la primera pausa de 180 días, de confirmarse esa base legal, vencería hacia principios de abril de 2027. Descodificado: hay noticias, y luego está lo que significan.

Anterior: [Tres registros nacionales atacados y certificados falsos de Google](https://escuchario.semeescucha.es/podcast/descodificado/episodio/4403230-tres-registros-nacionales-atacados-y-certificados-falsos-de-google)
Siguiente: [Yandex pierde tres centros de datos en cuatro días por drones](https://escuchario.semeescucha.es/podcast/descodificado/episodio/4403228-yandex-pierde-tres-centros-de-datos-en-cuatro-dias-por-drones)

## Últimos episodios de Descodificado

- [Hackeo récord a Binance: el patrón de una semana de parches a medias](https://escuchario.semeescucha.es/podcast/descodificado/episodio/147014314-hackeo-record-a-binance-el-patron-de-una-semana-de-parches-a-medias) · 30 de octubre de 2026 · 9 min
- [El parche de GitLab vivía en Ruby: Alpine actualizó y siguió vulnerable](https://escuchario.semeescucha.es/podcast/descodificado/episodio/147009952-el-parche-de-gitlab-vivia-en-ruby-alpine-actualizo-y-siguio-vulnerable) · 29 de octubre de 2026 · 9 min
- [Tailscale parchea Tailworm en tres días tras una divulgación sin coordinar](https://escuchario.semeescucha.es/podcast/descodificado/episodio/146991512-tailscale-parchea-tailworm-en-tres-dias-tras-una-divulgacion-sin-coordinar) · 28 de octubre de 2026 · 10 min
- [Anthropic abre sus cuentas: ingresos récord y 475.000 M$ en cómputo](https://escuchario.semeescucha.es/podcast/descodificado/episodio/146979850-anthropic-abre-sus-cuentas-ingresos-record-y-475-000-m-en-computo) · 27 de octubre de 2026 · 9 min
- [Hackear tu propia tele con IA choca con los filtros de OpenAI y Anthropic](https://escuchario.semeescucha.es/podcast/descodificado/episodio/146968882-hackear-tu-propia-tele-con-ia-choca-con-los-filtros-de-openai-y-anthropic) · 26 de octubre de 2026 · 10 min