¡Axiom Prover sigue funcionando! Problema de Erdos n.° 124 Desde las 8:39 de esta mañana. ¡Han pasado casi dos horas! ¡Siguenos!
Cariño, vámonos, ¿por qué estás atascada?
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.