Si tuviera una prueba para un problema del premio del milenio, probablemente compartiría primero la idea básica de la prueba antes de saltar directamente a Lean.
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.