Búsqueda · 31 momentos en 23 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetgpt encuentra contraejemplo trivialproblema erdős y inteligencia artificialarticulo en páginas web con problemasGPTErdősFrancis VillatoroRISThomas BloomPaul Erdősteorema de KummerChatGPTActa PolónicaChatGPT Pro
Artículo en páginas web con problemas
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro explica que la solución propuesta por una inteligencia artificial para un problema matemático es incorrecta y trivial, señalando que incluso GPT ha encontrado un contraejemplo sencillo.
…de las demostraciones encontrar un pequeño contraejemplo, pero encontrar un contraejemplo de una matriz de 4x4 para un problema DER2, o sea, DERDIS, señores, que ese contraejemplo lo hubiera encontrado un matemático si hubiera dedicado el tiempo suficiente. que está siguiendo el problema no es la correcta. Añádenle esta condición que se sugiere en el artículo en que se publicó este problema, porque en las páginas web con los problemas también aparece el enlace al artículo de Erdős donde aparece el problema, entonces tú puedes ir al artículo y leerlo, y no, no, pero en realidad lo que escribió 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…
Significado #1 · Palabras #5
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 VillatoroPalabras #6problemas 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 cómo algunos problemas relacionados con los trabajos de Paul Erdős han sido resueltos incidentalmente por otros matemáticos mientras trabajaban en sus propios artículos.
Habla: Francis VillatoroSignificado #15problemas erdős resueltos incidentalmenteartículos matemáticos con problemas erdősdescubrimiento tardío problema erdőschatgpt pro busca demostracionesliteratura científica y chatgptoctubre 2025 inteligencia artificialchatgpt y demostraciones ocultasacta polónica en 1972semántica del problema con chatgpt…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 trabajando en un artículo, de repente se ha encontrado con ese problema, ah pues me vendía bien este resultado, Ha escrito el resultado y ha escrito 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 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 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 #12factorizació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 explica que la solución propuesta por una inteligencia artificial para un problema matemático es incorrecta y trivial, señalando que incluso GPT ha encontrado un contraejemplo sencillo.
Habla: Francis VillatoroSignificado #1 · Palabras #5gpt encuentra contraejemplo trivialproblema erdős y inteligencia artificialarticulo en páginas web con problemas…de las demostraciones encontrar un pequeño contraejemplo, pero encontrar un contraejemplo de una matriz de 4x4 para un problema DER2, o sea, DERDIS, señores, que ese contraejemplo lo hubiera encontrado un matemático si hubiera dedicado el tiempo suficiente. que está siguiendo el problema no es la correcta. Añádenle esta condición que se sugiere en el artículo en que se publicó este problema, porque en las páginas web con los problemas también aparece el enlace al artículo de Erdős donde aparece el problema, entonces tú puedes ir al artículo y leerlo, y no, no, pero en realidad lo que escribió 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…