RT @QuanquanGu: Imagina un cursor para la demostración de teoremas: ramas para ideas, solicitudes de extracción para demostraciones, revisiones para rigor. Ese es el futuro de la demostración teórica…
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.