RT @axiommathai: Putnam, el examen de matemáticas de nivel universitario más difícil del mundo, finalizó ayer a las 4 p. m., hora del Pacífico. Al mediodía de hoy, AxiomProver resolvió 9/12 problemas…
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.