RT @logic_int: 🚀 Aleph prover acaba de pasar al MODO BESTIA 4 problemas de matemáticas sin resolver durante más de 20 años. Demostraciones formales en Lean 4. Menos de 48 horas. Und…
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.