Búsqueda · 33 momentos en 23 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetproblema número 347demostraciones matemáticas disponiblessoluciones problema 347publicación demostración 22 enero 202618 soluciones en enero 2026problema número 347 antes iademostraciones en agosto 2024hidratación artificial problema número 34722 de enero de 2026problema 347Francis VillatoroLeanPoincaréHilbertPaul Erdősproblema número 347Thomas Bloom6 de febrero7 de febrero8 de febrero10 de febrero11 de febreroDaniel MarínMastodonOpenAIHéctor Socasteorema de los campos de Noether-Stokes
18 Soluciones en Enero 2026
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro describe la situación actual donde hay una gran cantidad de demostraciones matemáticas disponibles, destacando que hoy, 22 de enero de 2026, se ha publicado una nueva solución al problema número 347.
…un software que automáticamente te lo verifica. Hay demostraciones de 1500 líneas, hay demostraciones de 15.000 líneas en Lean; eso un humano es imposible. Que lo pille con cientos de lemas que eso después traducido al lenguaje humano reduce los ejemplos. Entonces, esto es un poco la circunstancia en la que tenemos y ahora mismo está habiendo muchas demostraciones. De hecho, por decir, hoy mismo se ha publicado una nueva demostración. Hoy es 22 de enero de 2026. Problema 347, 347 ¿vale? Entonces, y ayer otra, y ayer otra, y anteayer como tres o algo así ¿vale? O sea, en enero de 2026 se han publicado 18 nuevas soluciones. Claro, estos números hay que compararlos con los números que había antes de la era de la hidratación artificial aplicada a este problema. Por ejemplo, en agosto de 2024 se publicaron 16 demostraciones y todas sin IA; todas son personas a mano, sin ningún tipo de interés artificial, porque era agosto de 2024. Ahora mismo está esta moda. Entonces, ¿cuál es el hito ese que comentabas de este problema en concreto, que es el problema 728? Bien, lo que ha pasado con el problema 728 es que un matemático, doctor en matemática por el MIT, decidió probar con diferentes problemas esta estrategia, pero…
Significado #1 · Palabras #1
Daniel Marín explica las fechas disponibles para la ventana de lanzamiento, mencionando varias opciones en febrero y marzo, y expresa confusión sobre por qué el día 10 no está incluido.
Habla: Daniel MarínSignificado #8ventanas lanzamiento febrero marzofecha lanzamiento 11 febreroconfusión fecha lanzamiento daniel marín…principalmente por culpa de estas fugas, no solo por eso, así que aunque la NASA dice que todo eso ya está solventado y que no va a haber en principio muchos retrasos por ese tema, nadie les cree y todo el mundo piensa que va a haber retrasos y retrasos. entonces claro ahí vamos a tener en las ventanas de lanzamiento: hemos dicho el 6 y luego aquí tenemos la tenemos 678, 10 y 11. Esos son los días que va a haber ventana de lanzamiento que dura dos horas en cada día; la ventana de lanzamiento. Y si para el 11 no se puede, 11 de febrero no se puede lanzar, ya nos vamos a marzo: que tenemos 678, otra vez 9 y 11. Y si tampoco puede ser el 11 de marzo, eso me hace gracia; del 6 al 11, pero el 10 no se puede, no entiendo mucho esto. Sí, vamos; aquí evidentemente uno puede ver el patrón porque luego tenemos también en abril 1, 3, 4, 5, 6 y luego el 30 de abril, que eso lo han puesto ahí como fecha ya como el último intento, que si no ya habría que volver a traer al cohete al edificio, al…
Francis Villatoro describe la evolución de un repositorio online creado por Thomas Bloom para catalogar los problemas relacionados con los artículos publicados por Paul Erdős, destacando su crecimiento constante desde marzo de 2023.
Habla: Francis VillatoroSignificado #7problemas erdős catalogados bloomrepositorio online problemas marzo 20231136 problemas resueltos erdősdemostraciones descubiertas problemas erdős…matemáticos posteriores, pues Territau es un gran agregador de personas. Se parece mucho a Paul Erdős en el sentido de que ha colaborado con muchísima gente. Entonces incitó a este señor, a este matemático, Thomas Bloom, a crear una página web y la creó en. Marzo de 2023. En mayo tenía unos 200 problemas, a día de hoy sigue creciendo el número de problemas; tiene 1136 problemas. De esos 1136 problemas se coloca si está resuelto o no está resuelto y si está resuelto en qué artículo o artículos se resolvió y todavía se siguen descubriendo demostraciones de algunos de estos problemas. Lo que hay que situar o recordar es que estos. Problemas son, de esos 1.136, se estima que hay unos 1.500; de esos 1.136, unos muy poquitos, por eso unas decenas, son problemas difíciles e interesantes. Es decir, son problemas que han atraído el interés de matemáticos y ha habido intentos de demostrar…
Francis Villatoro explica la evolución de los problemas relacionados con los trabajos de Paul Erdős, señalando que muchos se han resuelto gracias a la inteligencia artificial.
Habla: Francis VillatoroSignificado #2problemas erdős resueltos inteligencia artificialpoincaré hilbert siglo xx matemáticas469 problemas resueltos abril 2024cientos problemas dificultad moderada…a un matemático; ah, tú que un problema que tienes, o un problema que no coinciden de más parciales, aguas, no te preocupes, ahí vamos, yo te ayudo. Era un matemático en ese sentido, no muy todoterreno, porque supiera de todo, porque eso ya no se puede, eso. Era a finales del siglo XIX, gente como Poincaré, muy poco, o Hilbert, pero ya en el siglo XX es imposible saber de todo, pero sí un matemático que se atrevía con todo. Bien, de esos 1.136 problemas están ya resueltos 469; son como el 41% y lo curioso ahora es que 181 se han resuelto desde abril de 2024 y en los últimos meses han empezado a aparecer soluciones con inteligencia artificial y ese es el tema del que yo quería hablaros. Los problemas son unos poquitos, son muy difíciles; hay unos cientos que son de dificultad moderada y después hay una cola de más de mil o del orden de mil que son entre comillas fáciles. ¿Y por qué no han sido resueltos? Porque nadie ha intentado resolverlos, porque como no estaban recopilados en ningún sitio, pues nadie se ha atrevido. de hecho algunos de esos problemas han sido resueltos, es decir, alguien, otro matemático, mientras estaba…
Francis Villatoro describe la situación actual donde hay una gran cantidad de demostraciones matemáticas disponibles, destacando que hoy, 22 de enero de 2026, se ha publicado una nueva solución al problema número 347.
Habla: Francis VillatoroSignificado #1 · Palabras #1problema número 347demostraciones matemáticas disponiblessoluciones problema 347publicación demostración 22 enero 202618 soluciones en enero 2026problema número 347 antes iademostraciones en agosto 2024hidratación artificial problema número 347…un software que automáticamente te lo verifica. Hay demostraciones de 1500 líneas, hay demostraciones de 15.000 líneas en Lean; eso un humano es imposible. Que lo pille con cientos de lemas que eso después traducido al lenguaje humano reduce los ejemplos. Entonces, esto es un poco la circunstancia en la que tenemos y ahora mismo está habiendo muchas demostraciones. De hecho, por decir, hoy mismo se ha publicado una nueva demostración. Hoy es 22 de enero de 2026. Problema 347, 347 ¿vale? Entonces, y ayer otra, y ayer otra, y anteayer como tres o algo así ¿vale? O sea, en enero de 2026 se han publicado 18 nuevas soluciones. Claro, estos números hay que compararlos con los números que había antes de la era de la hidratación artificial aplicada a este problema. Por ejemplo, en agosto de 2024 se publicaron 16 demostraciones y todas sin IA; todas son personas a mano, sin ningún tipo de interés artificial, porque era agosto de 2024. Ahora mismo está esta moda. Entonces, ¿cuál es el hito ese que comentabas de este problema en concreto, que es el problema 728? Bien, lo que ha pasado con el problema 728 es que un matemático, doctor en matemática por el MIT, decidió probar con diferentes problemas esta estrategia, pero…
Francis Villatoro reflexiona sobre el progreso de las demostraciones matemáticas realizadas por inteligencia artificial, señalando que a pesar de los numerosos intentos fallidos, ocasionalmente surgen soluciones más creativas que los problemas originales.
Habla: Francis VillatoroSignificado #16demostraciones matemáticas inteligencia artificialsoluciones creativas problemas originalesautomatización demostraciones sin controlruido en la automatizacióningeniero openai apuesta teorema noether-stokesdemostración teorema milenio ecuaciones nobel stokespérdida 45000 euros ingeniero openai…en Mastodon y comenta este tipo de cosas en Mastodon, él ve que la creatividad aparentemente en las últimas demostraciones que se están publicando es un poquito mayor que las que se publicaban en diciembre. Es decir, lo que estamos viendo es que después de ¿Que se hayan publicado un gran número de intentos fallidos, ya que haya un gran número de intentos fallidos? De repente aparecen a veces soluciones que son más creativas de lo que estaban siendo los problemas que se resolvían con esa técnica. Entonces parece prometedor lo que se está logrando, pero aún así estamos todavía en una fase en la que esto se está como automatizando y no hay mucho control, y en todo esto pues ha habido cierto ruido por ejemplo. Ha habido un ingeniero de OpenAI que parece que es matemático, que prometió en diciembre, apostó en diciembre igual que Héctor apostó que no sé qué día de enero iba a publicar una demostración del teorema del milenio de las ecuaciones de Nobel Stokes y apostó un total con varias personas de 45.000 euros. Como es obvio, pues los ha perdido; los tendría, si los apostó los tendría y ha perdido sus 45.000 euros porque lo que se sabe ahora mismo no se sabe los detalles, pero lo que se ha aparecido en redes, etcétera, es que lo que tenía eran unas soluciones del De tirar a la basura 45.000 dólares apostando por eso. Era absolutamente ridículo lo que estaba haciendo. Lo que ha trascendido de lo que estaba haciendo, porque los detalles de todo eso, además, como tú utilizas una versión del GPT, que es una versión…