Búsqueda · 36 momentos en 23 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetproblemas inteligencia artificial trivialescontra ejemplo rompe soluciones iamatemáticos logran poco avancedemostraciones interesantes para matemáticosFrancis VillatoroDER2DERDISErdős22 de enero de 2026problema 347LeanEstación Espacial InternacionalMITGPTAristóteles
Problema intratable manejable
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro explica cómo se están complicando problemas para evitar que las soluciones propuestas por la inteligencia artificial sean triviales.
…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…
Significado #1
Daniel Marín explica la necesidad de tener tanto cosmonautas rusos como astronautas estadounidenses en la Estación Espacial Internacional para garantizar el manejo de los diferentes segmentos.
Habla: Daniel MarínPalabras #11cosmonauta ruso manejo segmento rusoastronauta estadounidense sistemas segmento estadounidensesegmento espacial con módulo japonésestación estadounidense con módulo europeo…en las naves Soyuz. ¿Por qué? Pues porque si se daba un caso como el que ha ocurrido, haya como siempre, como mínimo, una persona que se pueda encargar del segmento de la otra nacionalidad de la estación espacial. Me explico, la estación espacial en realidad Son dos estaciones acopladas, que una es la estadounidense con el módulo japonés, los módulos japoneses y el módulo europeo y el otro es el segmento espacial, el segmento ruso. Entonces, claro, tiene que haber, debería haber siempre como mínimo un cosmonauta ruso que sepa manejar los sistemas más importantes del segmento ruso y un astronauta estadounidense que sepa manejar los sistemas del segmento estadounidense. Entonces, bueno, pues estamos en una situación muy peculiar, pero gracias a ese acuerdo entre las dos agencias, hay ahora, aunque sea solo la tripulación de la Soyuz, la que está acoplada y la que está viviendo en la estación espacial, pues hay un astronauta…
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 #9problema 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 #12matemá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 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 #18problemas 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 desestima las afirmaciones sobre la resolución de problemas complejos por parte de la inteligencia artificial, señalando que los logros anunciados en redes sociales se refieren a problemas triviales y fáciles de refutar.
Habla: Francis VillatoroSignificado #4problemas triviales interés artificialcontraejemplos matriz problemas derdismatemático tiempo suficiente derdis…año, de que se incorporara la demostración formal, automática de teoremas en la formación de los matemáticos, pues probablemente no llegue nunca, porque al final todo el mundo acabe recurriendo a las nuevas versiones de los ChatGPT que se lo hagan todos, ¿no? Pero lo más relevante es que aunque en redes sociales os digan: se ha resuelto tal problema, qué maravilla, ya llevamos 14 problemas resueltos con interés artificial, todo es mentira porque son problemas triviales, o sea, son problemas muy sencillos; con muchas 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,…
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 #1problemas 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…
Francis Villatoro comenta sobre la resolución de problemas matemáticos complejos, específicamente los problemas de Erdős, y anticipa que eventualmente se resolverá uno interesante.
Habla: Francis VillatoroSignificado #6problemas erdős sin resolverresolución problemas erdős eventualherramientas para problemas erdőspodcast sobre problema erdős resuelto…otro lado una nueva estrategia o una nueva herramienta de demostración matemática y que tenga potencial de poder resolver familias de problemas completos más o menos similares y eso pues tendrá un cierto impacto. Y por ahora todavía no ha habido ni una nueva Estrategia lo suficientemente interesante ni ningún problema lo suficientemente interesante entre estos problemas de Erdős que se haya logrado resolver. Pero eso acabará cayendo, ¿vale? Esto es como todo: están tirándole balas a todos los problemas y mucha gente y con muchas herramientas. Entonces en cualquier momento va a caer algún problema que sea interesante y habrá que contarlo en el podcast, obviamente. Claro que sí. Si tenía alguna pregunta o algo. Yo la verdad es que tengo curiosidad algún día por probar el link este, por lo menos instalármelo en el ordenador y correr el problema de ejemplo o algo así Yo según hablaba Francis, le he dicho a Chagepetec que me pusiese la formulación del teorema de…