Verificar no es validar: qué 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.