Búsqueda · 29 momentos en 12 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetinteligencia artificial demuestra resultados matemáticosdemostraciones lean aristótelesmatemático experto no replica demostración iamatemáticos expertos en risproblemas ris matemática recreativainteligencia artificial problemas risidea sorprendente inteligencia artificialRISFrancis VillatoroThomas BloomPaul ErdősChatGPTInteligencia ArtificialMatemáticoLe LutierJuan Carlos Gil
Matemáticos expertos en RIS
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.
…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 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 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 VillatoroSignificado #4 · Palabras #2problemas erdős malinterpretados por matemáticosesencia de trabajo paul erdősartículos de paul erdős y contextoproblemas ris erdősrepositorio bloom problemas risartículos publicados paul erdős…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 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 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 #10chatgpt 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 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 #1inteligencia artificial demuestra resultados matemáticosdemostraciones lean aristótelesmatemático experto no replica demostración iamatemáticos expertos en risproblemas ris matemática recreativainteligencia artificial problemas risidea sorprendente inteligencia artificial…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 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 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 #6resultados útiles para matemáticosestrategia demostración matemáticaresolver familias de problemasimpacto de nuevas herramientas…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…
Juan Carlos Gil recuerda su hábito de escuchar grabaciones de Le Lutier mientras conducía durante años, lo que le provocaba risa y distracción.
Habla: Juan Carlos GilPalabras #20grabaciones le lutier en cochebalada de la vaca le lutierdistracción juan carlos gil le lutierpérdida atención conducción le lutier…interesante lo que se han basado en eso, en el retraso o el desfase entre que reaccionas con la mirada y llegas a ser casi de un segundo. Sí, sí, es que es mucho, es que realmente se desplaza. Decías que debemos oír Coffee Break, yo durante varios, bastantes. años en torno a la universidad, siempre que iba en coche o a menudo, no oía música sino grabaciones de Le Lutier, ¿vale? Sabía de memoria, os puedo cantar la balada de la vaca, bueno, de memoria, bueno, sin embargo, siempre, una vez detrás de otra, me partía de risa; era inevitable. Eso es, tuve que dejar de hacerlo por seguridad: perdía la atención, anticipaba cuando iban a decir el chistaco y cuando llegaba, me desterrillaba. Pero es un buen punto, porque hay como una especie De, no sé qué piensan ustedes, pero cuando yo estudiaba, me acuerdo en la facultad, en el pregrado, allá por los 90, 94, 95, me acuerdo que tenía una selección de CDs de música que podía usar para estudiar, que tenían que ser no los que me gustaban demasiado,…