Búsqueda · 17 momentos en 4 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetpaul erdos problema 728matemático paul erdos diéresisproblema 728 inteligencia artificialproblema matemático erdőssolución problema 728demostración matemática soluciónpaper archive héctor socaspaul erdős matemático prolíficoproducción de artículos paul erdőseuler obras completas apuntesartículos leonhard euler siglo xxartículos publicados paul erdősobras completas apuntes personales erdősmatemático genio paul erdős estados unidosPaul ErdősFrancis VillatoroHéctor SocasMITGPTAristótelesLean22 de enero de 2026problema 347Estados UnidosThomas BloomLeonhard EulerNat ZosanathanChatGPT 5.2 ProArchiveResolución del programa 728Luisa AchaerandioChatGPTTerence TaoCaragrimaproblema número 347PoincaréHilbertRISErdisk ProblemProblema 333conjetura de Goldbach
Paul Erdős problema 728
Con
0:000:301:001:302:002:303:003:15
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.
…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 conocemos. Bueno, Francis nos va a contar ahora todo sobre este tema y a ver si me entero de algo, porque yo estuve intentando leer el paper este que nos compartiste del archive y te tengo que confesar que no entiendo nada. Así que a ver si nos pones en contexto. Sí, bueno, básicamente recordar muy brevemente la figura de Paul Erdős. Paul Erdős es el gran matemático productor de artículos del siglo XX y probablemente el segundo después de Euler. Leonhard Euler publicó, claro, en aquella época los artículos se publicaban de otra manera; del orden de menos de 900, del orden de 900 artículos, pero sus obras completas basadas en los apuntes que tenía son del orden de miles de artículos, el equivalente a 3.000 artículos o algo así ¿vale? Pero publicados como tales son unos 900. Paul Erdős publicó unos 1500 y no tenemos unas obras completas que incluyan los apuntes personales de Paul Erdős, pero tiene un matemático muy curioso; emigró a los Estados Unidos relativamente joven y era un genio de la matemática y decidió ir visitando a gente, a amigos, a colegas y quedándose en su casa. entonces él visitaba a alguien, un matemático obviamente, lo alojaba durante un cierto tiempo, le entraba por la puerta y decía: a ver qué problema tienes ahí, que quieres que yo te resuelva; y se dedicaban a resolver, escribían un artículo, a veces dos, a…
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 SocasSignificado #1 · Palabras #1paul erdos problema 728matemático paul erdos diéresisproblema 728 inteligencia artificialproblema matemático erdőssolución problema 728demostración matemática soluciónpaper archive héctor socaspaul erdős matemático prolíficoproducción de artículos paul erdőseuler obras completas apuntesartículos leonhard euler siglo xxartículos publicados paul erdősobras completas apuntes personales erdősmatemático genio paul erdős estados unidos…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 conocemos. Bueno, Francis nos va a contar ahora todo sobre este tema y a ver si me entero de algo, porque yo estuve intentando leer el paper este que nos compartiste del archive y te tengo que confesar que no entiendo nada. Así que a ver si nos pones en contexto. Sí, bueno, básicamente recordar muy brevemente la figura de Paul Erdős. Paul Erdős es el gran matemático productor de artículos del siglo XX y probablemente el segundo después de Euler. Leonhard Euler publicó, claro, en aquella época los artículos se publicaban de otra manera; del orden de menos de 900, del orden de 900 artículos, pero sus obras completas basadas en los apuntes que tenía son del orden de miles de artículos, el equivalente a 3.000 artículos o algo así ¿vale? Pero publicados como tales son unos 900. Paul Erdős publicó unos 1500 y no tenemos unas obras completas que incluyan los apuntes personales de Paul Erdős, pero tiene un matemático muy curioso; emigró a los Estados Unidos relativamente joven y era un genio de la matemática y decidió ir visitando a gente, a amigos, a colegas y quedándose en su casa. entonces él visitaba a alguien, un matemático obviamente, lo alojaba durante un cierto tiempo, le entraba por la puerta y decía: a ver qué problema tienes ahí, que quieres que yo te resuelva; y se dedicaban a resolver, escribían un artículo, a veces dos, a…
Francis Villatoro explica que incluso matemáticos expertos pueden malinterpretar los trabajos de Paul Erdős debido a la forma poco precisa en que estos estaban escritos.
Habla: Francis VillatoroSignificado #16 · Palabras #10erdős y colaboración matemáticaproblemas polardís en artículosresultados matemáticos problema erdősformulación ambigua problemas erdősproblemas erdős malinterpretados por matemáticosesencia de trabajo paul erdősartículos de paul erdős y contextoproblemas ris erdősrepositorio bloom problemas risartículos publicados paul erdős…de Erdős tiene el número uno, el que sea coautor de un coautor de Erdős tiene el número dos, yo tengo el número cuatro. Caragrima o su ex marido pues tienen número 3, por ejemplo, depende de, casi todos los matemáticos tenemos números del orden de 6, 7. Bien, ¿qué pasa con Polardís? Polardís, claro, en esos trabajos que hacía con diferentes matemáticos era para resolver un cierto problema; durante la solución de ese problema surgían pequeños resultados matemáticos, pequeñas ideas que podían tener interés. Entonces muchos artículos están decorados con problemas: él propone un problema y dice, bueno, me ha surgido este problema que puede ser interesante resolver, pero ahora estamos a otra cosa y se seguía con la otra cosa como además era un tema secundario a su artículo. Muchos de esos problemas están formulados de una manera un poco ambigua; es decir, la formulación que aparece escrita en el artículo no es la formulación que hubiera escrito Erdős si le hubiera dedicado un día a pensarlo. Como es tan productivo, pues te lo escribía un poco por encima. Entonces, a veces, a uno de estos problemas, cuando tú lo ves, dices: pero si esto es muy fácil de demostrar. Y llega un matemático experto en Erdős y le dice: no, no, tranquilo, eso es que te está equivocando. Realmente hay que percibir 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 Paul Erdős ofrecía ayuda a otros matemáticos cuando los visitaba, resolviendo problemas o parciales que no coincidían.
Habla: Francis VillatoroPalabras #2terence tao agregador de personascolaboración matemática terrence tao paul erdősthomas bloom crea página webproblemas erdős catalogados bloomrepositorio online problemas marzo 20231136 problemas resueltos erdősdemostraciones descubiertas problemas erdősproblemas erdős difíciles e interesantesteoría de números y problemas erdőscombinatoria problemas matemáticoscomplejidad computacional paul erdőserdős ayuda a matemáticos con parcialesproblemas que no coinciden erdősvisitas de erdős a matemáticosproblemas erdős resueltos inteligencia artificialpoincaré hilbert siglo xx matemáticas469 problemas resueltos abril 2024cientos problemas dificultad moderadaproblemas erdős sin recopilarmatemático encuentra problemas erdősresultado útil problema erdősproblemas erdős resueltos incidentalmenteartículos matemáticos con problemas erdősdescubrimiento tardío problema erdős…era muy pachanguero a la hora de demostrar, era como Ramanoyen, era una persona que me inspira, me inspiran los dioses y yo hago... Entonces sus demostraciones eran muy, hoy en día no les llamamos rigurosas, son formales, pero no son rigurosas, muchas se Han convertido en rigurosas con 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 esos problemas y se han encontrado dificultades y esos problemas están considerados como problemas, entre comillas, difíciles. Las técnicas, las herramientas matemáticas estándares en el campo, porque los problemas son de todo tipo, son de teoría de números, de combinatoria, de computabilidad, complejidad computacional, de temas de análisis matemático. O sea, Erdős le daba lo que quería, ¿vale? Eso cuando visitaba 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 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,…
Francis Villatoro explica la situación que surge cuando ChatGPT proporciona una demostración de un problema matemático, señalando que quienes utilizan la herramienta no siempre son expertos en matemáticas.
Habla: Francis VillatoroSignificado #10chatgpt y problemas paul erdősdemostraciones con chatgptiniciativas de problemas matemáticoschatgpt y demostraciones problemas matemáticosusuarios de chatgpt sin experiencia matemáticaproblema matemático número 823informáticos usando chatgpt…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, alguno salta la liebre y da una demostración; pero cuando te da una demostración, tú aquí tienes dos opciones: ¿qué pasaba? en noviembre? que cuando te daba una demostración de uno de estos problemas, yo que sé, el 823, tú decías, me lo he inventado el número ahora mismo, tú decías, ¿lo habrá demostrado bien? Pues resulta que mucha de esta gente que estaba haciendo esto no eran matemáticos, no eran doctores en matemáticas, eran informáticos o eran matemáticos aficionados. Ya que tengo chat GPT, pues se lo mando a Chat GPT y pierdo el tiempo con Chat GPT, ¿no? Lo más exitoso es utilizar ChatGPT Pro, que es más caro, pero hay mucha gente, muchos informáticos que tienen acceso y que pueden, por la noche, por ejemplo, pues lo ponen a pensar durante dos horas a ver si saca…
Francis Villatoro explica cómo se puede obtener una demostración de un problema matemático utilizando ChatGPT y luego transferirla a Lean para su verificación.
Habla: Francis VillatoroSignificado #18chatgpt demuestras resultado erdisklean verifica demostración problema matemáticoaristóteles software para lean…el ChatGPT o el Gemini o lo que sea en lenguaje, digamos, humano, normal, sin ningún tipo de formalización y una vez que tienes una demostración… Sí, eso lo entiendo, pero a lo que voy es que, o sea, yo a ChatGPT le pido una demostración de un determinado… Tú haces copy-paste, o sea tú coges, te vas a la página web del Erdisk Problem, problema 333. Lo miras y pones el enunciado, copy paste del enunciado, ChatGPT, demuéstrame este resultado. Vale, y ahora si quiero, si ahora quiero meter eso en Lean, para que me compruebe esa demostración. Si quieres meter en Lean, necesitas utilizar Aristotel, otro software, que es un software. Que te convierte en una demostración. En lenguaje, el resultado que te da ChatGPT, te lo convierte en Lean Vale, o sea, y en la propia demostración está el enunciado, claro, sí, en la propia demostración está lo que quieres demostrar el denunciado y la…
Francis Villatoro describe cómo un matemático del MIT está experimentando con una estrategia para resolver problemas matemáticos sin intervención humana, utilizando herramientas como GPT, Aristóteles y Lean.
Habla: Francis VillatoroSignificado #3problema 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 347matemático mit y gptaristóteles y lean para problemasproblema 728 sin intervención humanascript automatiza demostraciones matemáticasreescritura demostración formalizada aristótelesprograma 728 en archivearistóteles software resolución programa…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 sin ningún tipo de intervención humana. Es decir, lo que me de echa GPT, ¿cómo me lo de? Lo paso a Aristóteles y a Lin. y así con varios problemas, sin yo interaccionar, si me da una porquería yo no me voy a molestar en leerlo, es que no me voy a molestar, es que yo ahora me dedico a temas de interés artificial y estas cosas y no tengo tiempo de perder el tiempo mirando demostraciones, lo que me dé lo meto, yo soy la persona que va muriendo de un lado a otro, lo mismo hizo un script que le pasa automáticamente las cosas, porque hay informática. Y este señor que se llama Nat Zosanathan ha publicado el primer artículo que, según él, no ha tenido ningún tipo de intervención humana. La demostración la hizo ChatGPT 5.2 Pro, la transcripción a Lean la hizo Aristóteles, la verificación se hizo en Lean y el artículo, que es el que ha publicado en Archive, un artículo que se llama Resolución del programa 728, una reescritura de la demostración formalizada con Aristóteles, Aristóteles del software, lo publicó el 12 de junio, ya va. por la tercera o cuarta versión, lo que hizo fue utilizar ChagPT, es decir, con la demostración de Lean, ahora le dijo a ChagPT, conviérteme esta demostración en versión humana, ahí él, que es matemático, es doctor en matemáticas, le estuvo diciendo qué tenía…
Luisa Achaerandio comenta sobre la revisión de problemas matemáticos, comparándolos con problemas de probabilidad, conjuntos o funciones.
Habla: Luisa AchaerandioSignificado #8problemas matemáticos probabilidadproblemas conjuntos funcionesrevisión problemas francis1135 problemas revisadosconjetura golbas problema matemáticoprimos gemelos teorema demostradodificultad enunciado problemas matemáticosgemelidad primos saltos de dos…años, comparadas a las actuales con hace 10 años, pueden llegar a ser extremadamente poderosas si siguen progresando Si no hay invierno de inversión Claro, eso puede haber en cualquier momento, ya hay problemas de dinero, ya hay bastantes problemas de dinero Francis, yo quería decirte una cosa, porque he estado mirando lo de los problemas: son algunos que me recuerdan a problemas de probabilidad, o de conjuntos, o de funciones. O sea, estaba mirándolo por encima y me ha recordado mucho a eso; es como... Hay de todo, ¿no? Hay de todo. A ver, no me ha dado tiempo de ver los 1.000: hasta ahí no llego, yo a nivel Francis no tengo. Pero como que lo he hecho, los 1.135; no sé, que le he dado a 2 o 3 y digo, uy. Eso parece un problema sencillo. Parece un problema sencillo, exactamente. Muchas veces los que parecen más sencillos son más difíciles. La dificultad de un problema no se sabe por el enunciado, ¿vale? O sea, un problema relativamente sencillo de enunciar muchas veces es extremadamente difícil la conjetura de Golbas o cosas así, son problemas, o la de los pares de primos, ¿no? Existen infinitos primos gemelos, pues ya está, porque es muy fácil entender: primos gemelos es como el 11 y el 13, ¿no? Primos que están separados por dos, pues no se sabe. Pues ese problema es extremadamente difícil porque no tenemos una técnica que haga algo tan peculiar como es la gemelidad, estar separados solamente un salto de dos unidades infinitamente. Pero eso se había cotado a un delta como de 78 por ahí; es fascinante la historia. No, algo más, algo más de 78. Ah, es que me sonaba. Hay secuencias infinitas de números separados por cierta distancia; la cota mínima, no recuerdo si llegaba a 78, yo creo que…