Búsqueda · 37 momentos en 19 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetproblemas triviales interés artificialcontraejemplos matriz problemas derdismatemático tiempo suficiente derdisDER2DERDISFrancis VillatoroErdősPaul ErdősCaragrimaLeanAristótelesChatGPTInteligencia ArtificialMatemático
Matemático tiempo suficiente derdis
Ep542: Emergencia en la ISS; Artemisa; IA en Matemáticas; Burbujas; Distracción
22 de enero de 20267 momentos
Con
0:000:301:001:302:002:303:003:15
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.
…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,…
Significado #1 · Palabras #1
Francis Villatoro explica cómo Paul Erdős utilizaba su colaboración con otros matemáticos para resolver problemas y generar resultados matemáticos.
Habla: Francis VillatoroSignificado #14erdős y colaboración matemáticaproblemas polardís en artículosresultados matemáticos problema erdősformulación ambigua problemas 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…
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 VillatoroSignificado #20erdős ayuda a matemáticos con parcialesproblemas que no coinciden erdősvisitas de erdős a matemáticos…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 cómo verificar la corrección de demostraciones matemáticas generadas por herramientas como ChatGPT y Aristóteles, señalando que no es a través de matemáticos.
Habla: Francis VillatoroPalabras #18verificación demostraciones leandemostraciones matemáticas leansoftware verifica demostracioneslemas en demostraciones lean…claro, sí, en la propia demostración está lo que quieres demostrar el denunciado y la resulta; entonces Aristóteles no siempre funciona, muchas veces falla, muchas veces falla CharGPT, otras veces falla Aristóteles que comete errores, pero en general tu. Manera de verificar que lo has hecho bien no es preguntarle a un matemático, porque los matemáticos van a decir: vamos hasta que pierdes el tiempo de demostraciones; es como la tienes en Lean, tienes 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,…
Francis Villatoro describe cómo la inteligencia artificial está logrando demostrar resultados matemáticos utilizando técnicas y estrategias de demostración ya conocidas.
Habla: Francis VillatoroSignificado #18inteligencia artificial demuestra resultados matemáticosdemostraciones lean aristótelesmatemático experto no replica demostración ia…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 matemático experto en ese área podría haberlo hecho. Le ocurre que está ocurriendo que no lo está haciendo. Un matemático experto en ese área, lo están haciendo matemáticos expertos en otras cosas o informáticos y gente así que le gusta trabajar en estas cosas de matemática recreativa, entre comillas, de demostrar problemas de RIS. Hasta ahora no se ha demostrado…
Francis Villatoro comenta sobre un posible cambio en la formación de matemáticos, sugiriendo que podrían no necesitar una asignatura específica de Lean.
Habla: Francis VillatoroSignificado #15asignatura lean para matemáticosaristóteles verifica demostraciones leandemostraciones escritas por matemáticos…tan difícil, pero aún así, bueno, esa es un poco la situación actual. Hay una cierta esperanza de que las inteligencias artificiales ayuden, sobre todo a lo que es la gestión con Lean, y probablemente si hace un año ya lo comenté creo que en el podcast. Parecía que entre los matemáticos va a ser necesario que haya una asignatura de Lean durante la carrera. Lo que está ocurriendo desde el mes de diciembre es que es posible que podamos prescindir de la asignatura de Lean. Que los matemáticos lo único que tengan que saber es que existe una cosa como Aristóteles y ellos escriben la demostración y se la pasan a Aristóteles y Aristóteles le da la demostración en Lean y se la verifica. Con lo que ya los matemáticos no van a tener... O Fortran, pues solo tuvieran que aprender a escribir el prompt para que ChatGPT le escriba el código en Python o Fortran, ¿no? Pues lo equivalente en demostraciones, así que es posible que ese futuro que yo preveía hace un año, de que se incorporara la…
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 #1 · Palabras #1problemas 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 qué tipo de resultados son valiosos para los matemáticos, diferenciando entre resultados útiles que simplifican el trabajo y nuevas herramientas o estrategias de demostración con potencial para resolver familias de problemas.
Habla: Francis VillatoroSignificado #8resultados útiles para matemáticosestrategia demostración matemáticaresolver familias de problemasimpacto de nuevas herramientasproblemas erdős sin resolverresolución problemas erdős eventualherramientas para problemas erdőspodcast sobre problema erdős resuelto…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 lejos pero necesito que alguien la demuestre entonces demostrar algo que implique que tenga digamos un amplio interés porque resuelve a mucha gente le resuelve la papeleta y le permite ir más allá o por 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…