Búsqueda · 29 momentos en 10 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetmatemáticos expertos en risproblemas ris matemática recreativainteligencia artificial problemas risidea sorprendente inteligencia artificialRISFrancis VillatoroErdősPoincaréHilbertPaul ErdősChatGPT ProDanielArchiveChatGPTMITThomas Bloomproblema número 347
Inteligencia Artificial problemas RIS
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro explica que matemáticos expertos en otras áreas o informáticos están resolviendo problemas de RIS, aunque hasta el momento no ha surgido una idea realmente sorprendente por parte de la inteligencia artificial.
…más largas, resultados que en principio son una aplicación natural de las técnicas de demostración, las estrategias de demostración conocidas; y que un matemático experto en ese área podría haberlo hecho. Le ocurre que está ocurriendo que no lo está haciendo. Un matemático experto en ese área, lo están haciendo matemáticos expertos en otras cosas o informáticos y gente así que le gusta trabajar en estas cosas de matemática recreativa, entre comillas, de demostrar problemas de RIS. Hasta ahora no se ha 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…
Significado #1 · Palabras #1
Héctor Socas introduce un tema relacionado con la ayuda que proporciona la inteligencia artificial, mencionando al matemático Paul Erdős y el problema 728.
Habla: Héctor SocasPalabras #20paul erdos problema 728matemático paul erdos diéresisproblema 728 inteligencia artificial…temas si les parece y nada. Lo siguiente, hemos cambiado un poco el orden que teníamos previsto; si hay mecenas que tengan el acceso al documento habrán visto que hemos cambiado un poquito el orden de cosas. Vamos a ir, Francis, con el tema de esta ayuda. que nos da la inteligencia artificial, ¿no? Porque a lo mejor usted, querida oyente, querido oyente, puede pensar que tiene un problema, a lo mejor, pero aquí hay un señor que se llama Erdos, que vamos a hablar del problema 728, o sea que hay gente que tiene muchos problemas, Paul Erdos, creo que se pronunciaría como Erdos, ¿no? Erdős, porque tiene una... Esa diéresis. La diéresis, pero es con tildes agudas, dos tildes agudas seguidas, no dos puntitos. No es con puntitos, sino... La acentuación del húngaro, es curioso cómo se escribe y cómo se pronuncia, cambia, sí. Entonces la pronunciación es más o menos Erdős. Bueno, pues la pronunciación del apellido debe ser a lo mejor el problema 5, pero el problema 728 es matemático y más o menos se conoce la solución; pero una cosa es saberla y otra cosa es poder demostrar que la…
Francis Villatoro explica la existencia de aproximadamente 1500 problemas de RIS relacionados con los artículos publicados por Paul Erdős y menciona la creación de un repositorio online por parte del matemático Thomas Bloom.
Habla: Francis VillatoroSignificado #16 · Palabras #12problemas ris erdősrepositorio bloom problemas risartículos publicados paul erdős…la esencia de lo que quería decir, no lo que realmente dice. Y entonces el problema es lo que quería decir en el contexto de ese artículo y de los artículos que escribió en esa época, en su vida. Entonces a veces los problemas no están bien formulados. Entonces se estima que, habiendo publicado unos 1500 artículos, hay del orden de unos 1500 problemas de RIS. Hay varios libros que recopilan algunos, algunos cientos de esos problemas. Y hasta hace muy poco tiempo no había ningún repositorio, no había ninguna página web que, digamos, sistemáticamente los pusiera. Entonces es una cosa que hizo un matemático, Thomas Bloom. a petición de Terence Tao Territau es de Medalla Phil en España en 2006 y es el gran genio de la matemática y es el Euler moderno. No Euler, por las técnicas de demostración de Euler, porque Euler era muy pachanguero a la hora de demostrar, era como…
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 #5problemas 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 explica cómo la inteligencia artificial, específicamente ChatGPT y ChatGPT Pro, ha comenzado a ser utilizada para encontrar demostraciones ocultas en la literatura científica.
Habla: Francis VillatoroPalabras #10chatgpt pro busca demostracionesliteratura científica y chatgptoctubre 2025 inteligencia artificial…la demostración y ha continuado; no se ha dado cuenta, nadie le ha dicho, nadie se ha dado cuenta de que ese pequeño limita que tienen en medio de un artículo resulta que es un problema de Erdős, entonces eso ha pasado y ahora se está empezando a descubrir. ¿Qué pasó con la inteligencia artificial? Con la inteligencia artificial lo que ha pasado es que aproximadamente 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…
Francis Villatoro compara la cantidad actual de soluciones al problema número 347 con las que se publicaron antes de la introducción de la inteligencia artificial en su resolución.
Habla: Francis VillatoroPalabras #17problema número 347 antes iademostraciones en agosto 2024hidratación artificial problema número 347…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 habla sobre un artículo publicado en Archive donde una inteligencia artificial ha resuelto completamente un problema matemático.
Habla: Francis VillatoroSignificado #10 · Palabras #15inteligencia artificial resuelve problema matemáticoartículo archive sobre inteligencia artificialcorrelación lemas versión humana demostraciónacceso chats artículo archive…resolver el problema hasta la escritura del artículo en Archive lo ha hecho la inteligencia artificial; entonces este señor dice que este es el primer artículo en el que hay seguridad absoluta, certificada por otros matemáticos amigos suyos que han visto los Chats en Chat GPT, que una inteligencia artificial ha resuelto de manera completa el problema. Y está muy bien. Si veis el artículo, el artículo tiene unas 20 páginas y no es muy difícil de leer, y incluye un apéndice en el que se comenta la correlación entre los lemas que aparecen en el artículo en versión humana y los lemas que aparecían en la demostración. Y tienes acceso a todos los chats. Perdona, Francis, porque me comenta Daniel que se tiene que Ir, aunque estaba viendo, perdona; me lo habías puesto por WhatsApp y no tenía el WhatsApp delante, no estaba muy pendiente, o sea que, pero nada, muchas gracias Daniel por conectarte hoy y contarnos todas estas cosas tan interesantes y nos vemos la próxima,…
Francis Villatoro reflexiona sobre la contribución real de las inteligencias artificiales en la resolución de problemas matemáticos, específicamente aquellos considerados 'fáciles' según los estándares humanos.
Habla: Francis VillatoroSignificado #3 · Palabras #3problemas erdős considerados fácilesinteligencias artificiales problemas cola erdőshumanos dedican una semana a problemasintensidad artificial resuelve en horas…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 son problemas entre comillas fáciles, son problemas que cuando un humano los ataca, pero bueno un humano necesita dedicarle pues yo que sé una semana de trabajo o lo que sea la intensidad artificial te lo hace en un rato, en un par de horas. Y si lo ha hecho bien, maravilloso. Y si lo ha hecho mal, pues nada, se olvida como si nunca hubiera ocurriendo. Entonces, lo que está ocurriendo ahora mismo es que estamos Logrando con intensidad artificial demostrar, con demostraciones un poquito más cortas, un poquito más largas, resultados que en principio son una aplicación natural de las técnicas de demostración, las estrategias de demostración conocidas; y que un…
Francis Villatoro explica que matemáticos expertos en otras áreas o informáticos están resolviendo problemas de RIS, aunque hasta el momento no ha surgido una idea realmente sorprendente por parte de la inteligencia artificial.
Habla: Francis VillatoroSignificado #1 · Palabras #1matemáticos expertos en risproblemas ris matemática recreativainteligencia artificial problemas risidea sorprendente inteligencia artificial…más largas, resultados que en principio son una aplicación natural de las técnicas de demostración, las estrategias de demostración conocidas; y que un matemático experto en ese área podría haberlo hecho. Le ocurre que está ocurriendo que no lo está haciendo. Un matemático experto en ese área, lo están haciendo matemáticos expertos en otras cosas o informáticos y gente así que le gusta trabajar en estas cosas de matemática recreativa, entre comillas, de demostrar problemas de RIS. Hasta ahora no se ha 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…
Francis Villatoro explica cómo se están complicando problemas para evitar que las soluciones propuestas por la inteligencia artificial sean triviales.
Habla: Francis VillatoroSignificado #19problemas inteligencia artificial trivialescontra ejemplo rompe soluciones iamatemáticos logran poco avancedemostraciones interesantes para matemáticos…no es lo que quería escribir, lo que escribió es una chorrada, porque acabas de contar un contraejemplo trivial, tú acabas de contar, sea GPT, acabas de contar un contraejemplo muy sencillito, luego eso no puede ser un problema de Erdős, eso hay que quitarlo. Por lugar de quitarlo vamos a añadirle un pequeño detallito que lo complica y ya rompe, que ese contra ejemplo ya no sirva. Y eso se está haciendo con algunos problemas. Y nada, es un poco la situación. Es una situación apasionante porque se están resolviendo muchos problemas, pero desde el punto de vista de los matemáticos lo que se está logrando es prácticamente nada, porque hasta ahora no se ha logrado demostrar nada interesante. O sea, nada que interese a un matemático. ¿Qué es lo que le interesa a un matemático? o por un lado un resultado muy útil que aparece en muchos lugares y que yo uso muchos lugares y que me gustaría sustituir esta conjetura me simplifica o me permite ir más lejos desde llegado pero claro puedo ir más…