Búsqueda · 34 momentos en 21 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 VillatoroLeanteorema de KummerOpenAIHéctor Socasteorema de los campos de Noether-StokesTenestauMastodonproblema número 347INSSChatGPTAristótelesActa Polónica
Publicación demostración 22 Enero 2026
Ep542: Emergencia en la ISS; Artemisa; IA en Matemáticas; Burbujas; Distracción
22 de enero de 20266 momentos
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
Francis Villatoro explica cómo ChatGPT ha sido utilizado para encontrar demostraciones ocultas en la literatura científica, permitiendo resolver algunos problemas relacionados con los trabajos de Paul Erdős.
Habla: Francis VillatoroSignificado #18chatgpt y demostraciones ocultasacta polónica en 1972semántica del problema con chatgpt…en octubre de 2025, en esta página web se pueden añadir comentarios a cada uno de los problemas; empezaron a haber personas que usaron ChatGPT, ChatGPT Pro, para buscar artículos que incluyeran demostraciones que estaban como ocultas en la literatura. ¿Por qué? Porque encontrar una demostración es muy difícil. Tú tienes una formulación del problema en esta página web, pero puede que el que lo haya demostrado en un artículo, yo que sé, Acta Polónica en 1972, lo haya escrito con otra notación, de otra manera, en lugar de con factoriales, pues con números combinatorios y el problema es equivalente. Entonces se usaba ChatGPT para tratar de profundizar, de encontrar esas ideas, de encontrar digamos la semántica del problema e encontrarla en diferentes artículos y sorprendentemente así se han logrado resolver algunos de estos problemas. Pero todo empezó a cambiar a mediados de noviembre porque empezó a haber a mediados de noviembre de 2025; estamos hablando de Hace nada, gente que dijo: ¿y por qué no le pedimos a ChatGPT que demuestre el problema? Y entonces ha habido una serie de iniciativas de sistemáticamente meterle todos los problemas, todos, uno, el dos, el tres, el cuatro, a ver si alguno suelta la liebre,…
Francis Villatoro describe cómo muchas personas están utilizando ChatGPT para generar demostraciones matemáticas y luego validándolas con Lean.
Habla: Francis VillatoroSignificado #16chatgpt genera demostraciones matemáticasvalidación lean de demostraciones chatgptdemostraciones incorrectas inssinteligencia artificial y demostraciones correctas…se la paso a Aristóteles, Aristóteles me da un programa en Lean, el programa en Lean, se lo paso a Lean y si Lean me dice, sí, es correcta, maravilla, lo he logrado. Y si me dice, no, es incorrecta, digo, bueno, mala suerte. Paso al siguiente problema. Eso lo han empezado a hacer mucha gente, como lo han empezado a hacer mucha gente. La mayoría de la gente está obteniendo entre comillas basura, o sea, demostraciones que no son demostración de nada y que el INSS rápidamente te dice que la demostración es incorrecta, pero algunas de ellas pues son demostraciones correctas. Entonces se están empezando a publicar demostraciones que están, digamos, o totalmente hechas por la inteligencia artificial o parcialmente hechas a través de un diálogo. Cuando la persona no es informático, sino que es matemático, a veces dialoga. Dice: “Chat GPT, pero vos me pones esta mierda de demostración. Yo que soy un matemático inútil me doy cuenta de que está mal. ¿Por qué no corriges esto, no sé qué? Esto está mal…
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 describe la situación actual de un artículo sobre factorización matemática, indicando que su autor espera publicación y verifica si ya ha sido publicado previamente.
Habla: Francis VillatoroSignificado #3factorización matemática artículopublicación revista artículodemostración tipo artículo…ABN, tres números, con un K lo más grande posible, pues eso es lo que pretende resolver este problema y se ha utilizado una técnica más o menos estándar que es llamada el teorema de Kummer con análisis peádico. Bueno, son técnicas más o menos estándares, ¿no? Entonces, ¿qué situación tenemos ahora mismo? Pues que seguramente este señor ha enviado este artículo a alguna revista y ahora se está pendiente de saber si esto ya ha sido publicado por alguien, que todavía se está trabajando en si alguien ha hecho una demostración de este tipo. Pero aquí el punto para nuestros oyentes quizá lo más interesante es ¿realmente las inteligencias artificiales están aportando algo? y la respuesta es que no, no están aportando nada, es decir, las inteligencias artificiales están resolviendo esos problemas que estaban en la cola de los problemas de Erdős que…
Francis Villatoro describe el estado actual del desarrollo de inteligencia artificial en matemáticas, señalando que los matemáticos podrían encontrar soluciones propuestas por la IA fascinantes y creativas.
Habla: Francis VillatoroSignificado #6inteligencia artificial matemáticas tenestaudemostraciones creativas inteligencia artificialúltimas demostraciones mastodon tenestau…demostrado ningún resultado realmente que tú digas: ha habido una idea feliz, una idea realmente sorprendente por parte de la inteligencia artificial. Pero se está trabajando en ello y se cree que puede ser inminente porque hay tanto trabajo ahora mismo que Es posible que en alguno de estos problemas la inteligencia artificial proponga una solución que los matemáticos digan: ¿qué maravilla?, esto es súper fascinante. Entonces esta es un poco la situación en la que nos encontramos ahora mismo. El último resultado, uno de las últimas demostraciones, que lo ha comentado Tenestau 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…
Francis Villatoro relata un incidente ocurrido con un ingeniero de OpenAI, quien realizó una apuesta considerable sobre la publicación de una demostración del teorema de los campos de Noether-Stokes.
Habla: Francis VillatoroPalabras #3ingeniero openai apuesta teorema noether-stokesdemostración teorema milenio ecuaciones nobel stokespérdida 45000 euros ingeniero openai…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…