¿Usando la conjetura ABC como librería base, el Último Teorema de Fermat se demuestra en 3 líneas de código, en lugar de las más de 100 páginas de Wiles? https://t.co/urn5B4UIjD