Búsqueda · 30 momentos en 10 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetmatemáticos expertos en risproblemas ris matemática recreativainteligencia artificial problemas risidea sorprendente inteligencia artificialRISFrancis VillatoroThomas BloomPaul ErdősLuisa AchaerandioErdősNavier-StokesHipótesis de RiemannJuan Carlos GilDeepMindChatGPTCaragrimaMITGPTAristótelesLeanBIS
Problemas RIS matemática recreativa
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 que matemáticos expertos en otras áreas o informáticos están resolviendo problemas de RIS, aunque hasta el momento no ha surgido una idea realmente sorprendente por parte de la inteligencia artificial.
…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 ningún resultado realmente que tú digas: ha habido una idea feliz, una idea realmente sorprendente por parte de la inteligencia artificial. Pero se está trabajando en ello y se cree que puede ser inminente porque hay tanto trabajo ahora mismo que Es posible que en alguno de estos problemas la inteligencia artificial proponga una solución que los matemáticos digan: ¿qué maravilla?, esto es súper fascinante. Entonces esta es un poco la situación en la que nos encontramos ahora mismo. El último…
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 VillatoroPalabras #12erdő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 la existencia de aproximadamente 1500 problemas de RIS relacionados con los artículos publicados por Paul Erdős y menciona la creación de un repositorio online por parte del matemático Thomas Bloom.
Habla: Francis VillatoroPalabras #4problemas ris erdősrepositorio bloom problemas risartículos publicados paul erdős…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 #8problemas 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 VillatoroPalabras #11chatgpt 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 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 VillatoroPalabras #15matemá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 explica que matemáticos expertos en otras áreas o informáticos están resolviendo problemas de RIS, aunque hasta el momento no ha surgido una idea realmente sorprendente por parte de la inteligencia artificial.
Habla: Francis VillatoroSignificado #1 · Palabras #1matemáticos expertos en risproblemas ris matemática recreativainteligencia artificial problemas risidea sorprendente inteligencia artificial…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 ningún resultado realmente que tú digas: ha habido una idea feliz, una idea realmente sorprendente por parte de la inteligencia artificial. Pero se está trabajando en ello y se cree que puede ser inminente porque hay tanto trabajo ahora mismo que Es posible que en alguno de estos problemas la inteligencia artificial proponga una solución que los matemáticos digan: ¿qué maravilla?, esto es súper fascinante. Entonces esta es un poco la situación en la que nos encontramos ahora mismo. El último…
Luisa Achaerandio comenta sobre la revisión de problemas matemáticos, comparándolos con problemas de probabilidad, conjuntos o funciones.
Habla: Luisa AchaerandioSignificado #6problema erdos navier stockhipótesis de riemann inteligencia artificialintensidad artificial problemas matemáticosmatemático exitoso intereses artificialinteligencia artificial problemas matemáticos complejosinversión inteligencia artificial 10 añosproblemas de dinero invierno inversiónproblemas matemáticos probabilidadproblemas conjuntos funcionesrevisión problemas francis1135 problemas revisados…y compañía; y bueno, seguramente de esa colaboración saldrá algún resultado interesante. El Territau este está muy fascinado por lo que está viendo, pero otra cosa es a ver hasta dónde llega eso. Pero bueno, va a haber sorpresas con seguridad en este año. Pero eso, pasar del problema este de Erdos a Navier Stock, que es como el otro que se ha lanzado a la piscina, o P frente a NP, o hipótesis de Riemann, bueno pues no sé si lo veremos. No, con la intensidad artificial ahora mismo no, pero no se sabe lo que va a pasar de aquí a 10 años; 10 años no es nada para un problema de este tipo. y bueno, el matemático que lo logre, sea con intereses artificial o sin ella, va a pasar a la historia, entonces eso puede ser un gran atractivo para que las intereses artificiales dentro de 10 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…
Francis Villatoro y Juan Carlos Gil discuten sobre la dificultad de avanzar en una demostración matemática que ha sido ampliamente analizada.
Habla: Francis VillatoroSignificado #19demostración matemática ambilicadaprimer resultado no trivial biscota enorme problema matemático…esa cota a un número más pequeño. No recuerdo si era 78, pero sí puede ser 278 o algo así. Pero ha sido un número muy alejado de dos, claro. 246, casi lo clamos. 246, ese número, exactamente. Ese es, ese es el número. Pero de ahí no se ha podido progresar. Ya se ha ambilicado, se ha alfileado tanto la demostración que ya es prácticamente imposible sacar. Sí, es eso, es ir al detalle. ¿Sabéis quién hizo el primer resultado no trivial? El BIS. El 1940 dio la primera cota. Claro, pero la cota es enorme. Pero ya os digo, ese tipo de problemas son muy fáciles de formular y muy difíciles de demostrar. Pero eso no lo sabes hasta que te pones a demostrarlo. El enunciado no tiene nada que ver con las demostraciones de Grotendi. la demostración de Grothendieck en la que el enunciado de lo que quieres demostrar…