Interesante argumento de Avvablog sobre la reciente «solución» al problema de Erdös n.º 124 de @HarmonicMath Aristóteles. Implica que existe un gran alfa no tanto en la demostración y formalización automatizada de teoremas, sino en la búsqueda sistemática de enunciados de problemas más sencillos.
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.
