Búsqueda · 23 momentos en 9 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetpaul erdos problema 728matemático paul erdos diéresisproblema 728 inteligencia artificialPaul ErdősErdősFrancis VillatoroNavier-StokesHipótesis de RiemannJuan Carlos GilDeepMindGPTPoincaréHilbertRIS
Problema Erdős y Inteligencia Artificial
Con
0:000:301:001:302:002:303:003:15
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.
…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…
Significado #18 · 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 #18 · Palabras #1paul 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 #5 · Palabras #8problemas 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 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 #1 · Palabras #5problemas 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 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 #16matemá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…
Francis Villatoro explica que la solución propuesta por una inteligencia artificial para un problema matemático es incorrecta y trivial, señalando que incluso GPT ha encontrado un contraejemplo sencillo.
Habla: Francis VillatoroSignificado #4 · Palabras #7gpt encuentra contraejemplo trivialproblema erdős y inteligencia artificialarticulo en páginas web con problemas…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, entonces tú puedes ir al artículo y leerlo, y no, no, pero en realidad lo que escribió 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…
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 #8problemas 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…
Juan Carlos Gil y Francis Villatoro discuten sobre la posibilidad de resolver problemas matemáticos complejos como el problema de Erdős, Navier-Stokes o la hipótesis de Riemann con inteligencia artificial.
Habla: Juan Carlos GilSignificado #10 · Palabras #2problema erdos navier stockhipótesis de riemann inteligencia artificialintensidad artificial problemas matemáticos…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…