Los demostradores matemáticos siguen siendo mi barra métrica estándar. Si Gödel alcanzó el nivel de Sota en 32b, probablemente esto sea todo lo que necesitas para resolver los problemas más difíciles actualmente.
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.