RT @yanda: @HarmonicMath @leanprover @namrata_anand2 Axiom resolvió 8/12 en tiempo real, 2 minutos antes de que terminara el examen humano y se publicó 3 días antes…
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.