Las últimas semanas han sido muy movidas en la comunidad matemática, los modelos de lenguaje están empezando a resolver en cadena múltiples problemas matemáticos que llevaban décadas abiertos, el último de hace solo unas horas el
#238, los problemas Erdos son una colección legendaria de retos matemáticos propuestos por Paul Erdős, muchos de ellos con recompensas simbólicas y fama casi mítica, y que durante años han servido como frontera informal entre lo resoluble y lo imposible.
hace tres años cuando empezaron era una cosa... un juguete poco más si se puede llamar juguete algo tan complejo como chatgp.
sin embargo su crecimiento (sí aumentado por la especulación) ha sido una cosa absolutamente loca y de lo que puedan hacer a dentro de cinco años nadie se atreve a predecir.
Los que menos pasado de jugar con el spectrum 48k a un cacharro de 1 Tb de Ram sabemos
Hay dos que parecen resueltos y sin literatura previa. Para uno de ellos se ha utilizado un teorema ya existente.
En esta página están todos los problemas de Erdos para que nos hagamos una idea… » ver todo el comentario