Búsqueda · 19 momentos en 7 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetproblema 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ónErdősNavier-StokesHipótesis de RiemannJuan Carlos GilFrancis VillatoroDeepMindInteligencia ArtificialMatemáticoRISDanielArchiveChatGPTMITGPTAristótelesLeanTenestauMastodonDER2DERDIS
Intensidad artificial problemas Matemáticos
Ep542: Emergencia en la ISS; Artemisa; IA en Matemáticas; Burbujas; Distracción
22 de enero de 20266 momentos
Con
0:000:301:001:302:002:303:003:15
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.
…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…
Significado #1 · Palabras #1
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 #20 · Palabras #17matemá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 habla sobre un artículo publicado en Archive donde una inteligencia artificial ha resuelto completamente un problema matemático.
Habla: Francis VillatoroSignificado #15inteligencia artificial resuelve problema matemáticoartículo archive sobre inteligencia artificialcorrelación lemas versión humana demostraciónacceso chats artículo archive…resolver el problema hasta la escritura del artículo en Archive lo ha hecho la inteligencia artificial; entonces este señor dice que este es el primer artículo en el que hay seguridad absoluta, certificada por otros matemáticos amigos suyos que han visto los Chats en Chat GPT, que una inteligencia artificial ha resuelto de manera completa el problema. Y está muy bien. Si veis el artículo, el artículo tiene unas 20 páginas y no es muy difícil de leer, y incluye un apéndice en el que se comenta la correlación entre los lemas que aparecen en el artículo en versión humana y los lemas que aparecían en la demostración. Y tienes acceso a todos los chats. Perdona, Francis, porque me comenta Daniel que se tiene que Ir, aunque estaba viendo, perdona; me lo habías puesto por WhatsApp y no tenía el WhatsApp delante, no estaba muy pendiente, o sea que, pero nada, muchas gracias Daniel por conectarte hoy y contarnos todas estas cosas tan interesantes y nos vemos la próxima,…
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 #3 · Palabras #2problemas erdős considerados fácilesinteligencias artificiales problemas cola erdőshumanos dedican una semana a problemasintensidad artificial resuelve en horasinteligencia 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 artificialinteligencia artificial matemáticas tenestaudemostraciones creativas inteligencia artificialúltimas demostraciones mastodon tenestau…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 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 resultado, uno de las últimas demostraciones, que lo ha comentado Tenestau en Mastodon y comenta este tipo de cosas en Mastodon, él ve que la creatividad aparentemente en las últimas demostraciones que se están publicando es un poquito mayor que las que se publicaban en diciembre. Es decir, lo que estamos viendo es que después de ¿Que se hayan publicado un gran número de intentos fallidos, ya que haya un gran número de intentos fallidos? De repente aparecen a veces soluciones que son más creativas de lo que estaban siendo los problemas que se resolvían con esa técnica. Entonces parece…
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 VillatoroPalabras #20problemas 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 VillatoroPalabras #18problemas 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…
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 #1 · Palabras #1problema 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ón…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…