# Verificar no es validar: qué prueba de verdad un certificado en Lean

Episodio de [Hijos del Algoritmo: AI, negocios y cultura](https://escuchario.semeescucha.es/podcast/hijos-del-algoritmo-ai-negocios-y-cultura), de tusagentes.ai.

- Publicado: 4 de agosto de 2026
- Duración: 9 min
- Audio: https://media.transistor.fm/964c2e85/cf746f41.mp3
- Página: https://escuchario.semeescucha.es/podcast/hijos-del-algoritmo-ai-negocios-y-cultura/episodio/6926029-verificar-no-es-validar-que-prueba-de-verdad-un-certificado-en-lean

## Sobre este episodio

OpenAI publicó diez resultados matemáticos con certificados verificables por máquina, lo que reabre la pregunta de qué parte del juicio experto puede automatizarse y cuál no.

Anterior: [Revoca accesos viejos: quince minutos, resultado reversible](https://escuchario.semeescucha.es/podcast/hijos-del-algoritmo-ai-negocios-y-cultura/episodio/6926030-revoca-accesos-viejos-quince-minutos-resultado-reversible)
Siguiente: [Ley europea de IA: que aplica hoy y que se movio a 2027](https://escuchario.semeescucha.es/podcast/hijos-del-algoritmo-ai-negocios-y-cultura/episodio/6926028-ley-europea-de-ia-que-aplica-hoy-y-que-se-movio-a-2027)

## Últimos episodios de Hijos del Algoritmo: AI, negocios y cultura

- [El contrato de los agentes](https://escuchario.semeescucha.es/podcast/hijos-del-algoritmo-ai-negocios-y-cultura/episodio/147039525-el-contrato-de-los-agentes) · 1 de noviembre de 2026 · 14 min
- [Khanmigo: no basta con ayudar](https://escuchario.semeescucha.es/podcast/hijos-del-algoritmo-ai-negocios-y-cultura/episodio/147025666-khanmigo-no-basta-con-ayudar) · 31 de octubre de 2026 · 11 min
- [5 valores de OpenAI: qué revisar antes de confiar](https://escuchario.semeescucha.es/podcast/hijos-del-algoritmo-ai-negocios-y-cultura/episodio/147017771-5-valores-de-openai-que-revisar-antes-de-confiar) · 30 de octubre de 2026 · 12 min
- [Notas sin perder](https://escuchario.semeescucha.es/podcast/hijos-del-algoritmo-ai-negocios-y-cultura/episodio/147006445-notas-sin-perder) · 29 de octubre de 2026 · 13 min
- [Terra: 50% menos por token; revisa los permisos de tus agentes](https://escuchario.semeescucha.es/podcast/hijos-del-algoritmo-ai-negocios-y-cultura/episodio/146995323-terra-50-menos-por-token-revisa-los-permisos-de-tus-agentes) · 28 de octubre de 2026 · 14 min