Búsqueda · 34 momentos en 13 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 347matemático mit y gptaristóteles y lean para problemasproblema 728 sin intervención humanascript automatiza demostraciones matemáticasproblema número 347Francis Villatoro22 de enero de 2026problema 347LeanDanielArchiveChatGPTMITPaul ErdősGPTAristótelesPoincaréHilbert
Problema número 347 antes ia
Ep542: Emergencia en la ISS; Artemisa; IA en Matemáticas; Burbujas; Distracción
22 de enero de 20265 momentos
Con
0:000:301:001:302:002:303:003:15
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.
…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…
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 #7paul 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 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 #10problemas 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 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 #13chatgpt 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 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 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 347matemático mit y gptaristóteles y lean para problemasproblema 728 sin intervención humanascript automatiza demostraciones matemáticas…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…
Francis Villatoro habla sobre un artículo publicado en Archive donde una inteligencia artificial ha resuelto completamente un problema matemático.
Habla: Francis VillatoroSignificado #5inteligencia 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,…