Parece que los problemas de Erdos son una fuente inagotable de diversión y drama 🤣. Resulta que el problema que Harmonic resolvió ayer era la versión "fácil" del n.° 124, ¡y la versión difícil sigue abierta! (Curiosamente, la versión formalizada y simplificada —formalizada por humanos— era incluso más débil que la versión "fácil", pero esa es otra historia). En cuanto a los problemas de Erdos-IA, el n.° 848 que describimos en el artículo de gpt-5 sigue siendo el más limpio, resuelto mediante una colaboración entre IA y humanos. Y en cuanto a un problema abierto de más de 10 años, resuelto completamente con IA, creo que el Capítulo IV, Sección 3, es un buen ejemplo; solo está abierto desde 2012, pero aproximadamente O(10) personas lo analizaron, cada una durante varias semanas. Y es crucial recordarlo siempre: esto solo es útil en la medida en que sea útil para los matemáticos humanos. No hay otro objetivo.
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.