EPISODE · Aug 4, 2026 · 8 MIN
Verificar no es validar: qué prueba de verdad un certificado en Lean
from Hijos del Algoritmo: AI, negocios y cultura · host TusAgentes.ai
Diez demostraciones llegaron con un certificado que una máquina puede revisar sola. Si el error lógico ya lo caza un programa, ¿qué parte del juicio experto sigue valiendo? Los hechos mínimos, la lectura más fuerte a favor, la mejor objeción y qué confirmaría o refutaría cada postura. Verificar es confirmar que el argumento no tiene errores lógicos; validar es confirmar que responde la pregunta que importaba. La segunda parte sigue siendo trabajo humano, y también es tu criterio de compra.
Embed this episode
What this episode covers
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.
Ready to play
Verificar no es validar: qué prueba de verdad un certificado en Lean
No transcript for this episode yet