Búsqueda · 33 momentos en 10 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetchatgpt y demostraciones problemas matemáticosusuarios de chatgpt sin experiencia matemáticaproblema matemático número 823informáticos usando chatgptChatGPTPaul ErdősFrancis VillatoroHéctor SocasThomas Bloom22 de enero de 2026problema 347LeanLuisa AchaerandioMastodonCaragrimaChicagoEstados UnidosMITGPTAristótelesconjetura de Goldbach
Problema Matemático número 823
Ep542: Emergencia en la ISS; Artemisa; IA en Matemáticas; Burbujas; Distracción
22 de enero de 20268 momentos
Con
0:000:301:001:302:002:303:003:15
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.
…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…
Significado #1 · Palabras #1
Héctor Socas introduce un tema sobre la demostración matemática de una solución, mencionando que intentó leer un paper al respecto pero no lo entendió.
Habla: Héctor SocasSignificado #2paul 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 socas…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…
Francis Villatoro explica cómo Paul Erdős viajaba y colaboraba con otros matemáticos, destacando la importancia del 'número de Erdős' como indicador de cercanía a él en el mundo matemático.
Habla: Francis VillatoroPalabras #10paul erdős y colaboraciones matemáticasnúmero de erdős indicador cercaníacaragrima número tres erdősmatemáticos números orden seis sieteerdős y colaboración matemáticaproblemas polardís en artículosresultados matemáticos problema erdősformulación ambigua problemas erdős…pues le preguntaba: y con quién me recomiendas que vaya; pues vete con Filipón que está en Chicago. Ah, pues me voy para allá, y se iba para allá, y todo dinero que ganaba lo daba a temas de beneficencia con lo opuesto, ¿vale? No tenía casa, no tenía familia. Se solía ir a la casa de los que le querían recibir, no a hoteles. Entonces, ¿qué pasa? Pues que es una persona que escribió muchos artículos en colaboración, es el gran colaborador. Y entonces a todos los matemáticos nos gusta presumir del tema del número de Erdős, ¿no? Que es el Erdős tiene el número cero, alguien que haya publicado un artículo como coautor 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…
Francis Villatoro continúa explicando la naturaleza y dificultad de los problemas relacionados con los trabajos de Paul Erdős, indicando que aunque se estima que hay unos 1.500, solo unas pocas decenas son considerados difíciles e interesantes.
Habla: Francis VillatoroPalabras #3problemas 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áticos…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…
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 #1 · Palabras #1chatgpt y demostraciones problemas matemáticosusuarios de chatgpt sin experiencia matemáticaproblema matemático número 823informáticos usando chatgpt…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 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 #5problema número 347demostraciones matemáticas disponiblessoluciones problema 347publicación demostración 22 enero 202618 soluciones en enero 2026…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…
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 #10matemático mit y gptaristóteles y lean para problemasproblema 728 sin intervención humanascript automatiza demostraciones matemáticas…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…
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 VillatoroPalabras #7demostraciones matemáticas inteligencia artificialsoluciones creativas problemas originalesautomatización demostraciones sin controlruido en la automatización…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ó…
Luisa Achaerandio comenta sobre la revisión de problemas matemáticos, comparándolos con problemas de probabilidad, conjuntos o funciones.
Habla: Luisa AchaerandioSignificado #6problemas 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…