Búsqueda · 17 momentos en 6 episodios
Juan Carlos GilBorja TosarIgnacio CrespoFrancis VillatoroHéctor Socasdemostración con terry taomedalla fierce madrid 2006jared litman y terry taomatemáticos soberbios lismanlema clave de gpt 5 4reescritura demostración terry taojared lixman y la demostracióndemostración cha gpt en una páginaTerry TaoMadridMedalla FierceGPT 5.4Jared LitzmanHGPTErdősJared LixmanPaul Erdős
Reescritura demostración Terry Tao
Con
0:000:301:001:302:002:303:003:37
Francis Villatoro explica que matemáticos soberbios consideran notable una demostración realizada por una inteligencia artificial, haciendo referencia al trabajo previo de Jared Ducker Litzman con Terry Tao.
…dices, qué tontería, ¿no? Qué tontería. No, qué tontería. No, esto viralizó esta demostración. Todos los matemáticos en el mundo dijeron: ¿Cómo? La primera vez en la historia que una inteligencia artificial logra una demostración que merece estar en el libro. Obviamente esto es cosa de matemáticos soberbios; aquí hay mucha soberbia, porque Lisman pues trabajó esta demostración con Terry Tao, en Medalla Fierce en el año 2006 aquí en Madrid, y Terry Tao es uno de los grandes genios de la matemática actual, y entre los dos reescribieron la demostración. De GPT 5.4, que es una demostración de cuatro páginas, que incluye cuatro lemas y el teorema principal. Tres de los lemas son lemas conocidos; son lemas ya demostrados y ampliamente conocidos en la literatura. La novedad está en el cuarto lema que presenta la idea clave y feliz y en la demostración final. Terry Tao y Jared Lixman han reescrito la demostración de Cha GPT, supuestamente manteniendo la línea argumental de dicha demostración pero en una sola página; y en una demostración han eliminado toda la paja que metió el Cha GPT. Este 5.4 y han obtenido una demostración realmente que sí puede merecer estar en el libro. Es decir, realmente Lisman cuando decía esta demostración merece estar en el libro, lo que decía es: bueno, la versión mía con Pau, todavía no la tenía, lo dijo antes de detenerla; es la que merece estar en el libro. Es decir, ahí hay bastante soberbia matemática. ¿Qué es lo que ha sorprendido de este resultado matemático en concreto? Pues lo que ha sorprendido, porque la mayoría de los problemas de Erdős son problemas que nadie les ha prestado atención, ¿vale? O sea, muchos de los problemas de Erdős han sido resueltos…
Significado #2 · Palabras #1
Francis Villatoro explica que matemáticos soberbios consideran notable una demostración realizada por una inteligencia artificial, haciendo referencia al trabajo previo de Jared Ducker Litzman con Terry Tao.
Habla: Francis VillatoroSignificado #2 · Palabras #1demostración con terry taomedalla fierce madrid 2006jared litman y terry taomatemáticos soberbios lismanlema clave de gpt 5 4reescritura demostración terry taojared lixman y la demostracióndemostración cha gpt en una página…dices, qué tontería, ¿no? Qué tontería. No, qué tontería. No, esto viralizó esta demostración. Todos los matemáticos en el mundo dijeron: ¿Cómo? La primera vez en la historia que una inteligencia artificial logra una demostración que merece estar en el libro. Obviamente esto es cosa de matemáticos soberbios; aquí hay mucha soberbia, porque Lisman pues trabajó esta demostración con Terry Tao, en Medalla Fierce en el año 2006 aquí en Madrid, y Terry Tao es uno de los grandes genios de la matemática actual, y entre los dos reescribieron la demostración. De GPT 5.4, que es una demostración de cuatro páginas, que incluye cuatro lemas y el teorema principal. Tres de los lemas son lemas conocidos; son lemas ya demostrados y ampliamente conocidos en la literatura. La novedad está en el cuarto lema que presenta la idea clave y feliz y en la demostración final. Terry Tao y Jared Lixman han reescrito la demostración de Cha GPT, supuestamente manteniendo la línea argumental de dicha demostración pero en una sola página; y en una demostración han eliminado toda la paja que metió el Cha GPT. Este 5.4 y han obtenido una demostración realmente que sí puede merecer estar en el libro. Es decir, realmente Lisman cuando decía esta demostración merece estar en el libro, lo que decía es: bueno, la versión mía con Pau, todavía no la tenía, lo dijo antes de detenerla; es la que merece estar en el libro. Es decir, ahí hay bastante soberbia matemática. ¿Qué es lo que ha sorprendido de este resultado matemático en concreto? Pues lo que ha sorprendido, porque la mayoría de los problemas de Erdős son problemas que nadie les ha prestado atención, ¿vale? O sea, muchos de los problemas de Erdős han sido resueltos…
Francis Villatoro explica cómo Terry Tao ha simplificado un problema matemático previamente considerado difícil, y menciona al doctorando Jared Lixman quien inicialmente fue disuadido por su director de tesis de trabajar en problemas planteados por Paul Erdős.
Habla: Francis VillatoroPalabras #7jared lixman defendió tesis doctoral 2017problema erdős director de tesis…en una IA? Porque esa era la intención. La intención era que esos problemas fueran metidos en inteligencias artificiales. Entonces no es sorprendente que las IAs estén dando demostraciones a muchos de esos problemas, sobre todo los problemas relativamente Fáciles. Este es un problema que Territau, después de haber hecho esa versión en una sola página del problema, ha dicho que este es un problema que a priori parecía difícil, pero que a posteriori es un problema fácil. Claro, ¿una vez que tenemos la demostración? ¿Qué ha pasado con este matemático Lixman? Lixman hace unos... bueno, defendió la tesis doctoral en 2017. Esto fue sobre 2014. Le propuso a su director de tesis que quería trabajar en un problema de Erdős. En este problema de Erdős, y su director de tesis le dijo: no te metas en un problema de Erdős; no lo vas a sacar y vas a perder el tiempo; no vas a ganar nada. Métete en un problema de verdad, de lo que yo te puedo dar. Bueno, en su tesis doctoral hizo un avance parcial en este problema. Este problema es una identidad asintótica, ahora lo comentaré quizá en un poquito más detalle, pero básicamente es que un cierto límite de una cierta propiedad que tienen ciertos conjuntos…
Francis Villatoro describe cómo Terry Tao ha ido modificando su opinión sobre un resultado matemático, inicialmente considerándolo sorprendente y ahora viéndole potencial impacto.
Habla: Francis VillatoroSignificado #8 · Palabras #3curiosidad matemática conjuntos no primitivosimpacto sorprendente expertos problema matemáticoterry tao cambio de opinión problemaserdős y problemas cariño especialopinión inicial de terry taoresultado matemático con impacto potencialdemostración desconocida según hgpt…ni a 15, 10 no divide a 15 y obviamente 15 no va a dividir a los otros; y sin embargo un conjunto que no es primitivo, por ejemplo 2, 6, 15, porque 2 divide a 6, aunque no divide a 15, ni 6 divide a 15, con que uno de ellos se divida es un poco la diferencia. Esto es una propiedad, esto es una, entre comillas, curiosidad matemática; pero que tiene, ya os digo, el impacto que ha pillado por sorpresa a los pocos expertos que se dedican a este problema y que ha tenido el impacto de que Terry Tao, que ha ido cambiando de opinión en dos o tres días, que ha estado muy involucrado en las soluciones de estos problemas porque de niño estuvo con Erdős y le tiene un cariño especial a este tipo de problemas. Ha cambiado un poco de opinión y al principio la opinión inicial de Tao es que este resultado era muy sorprendente y poco a poco fue cambiando, moderando su opinión y ahora su opinión es que es un resultado que puede tener impacto. Es decir, la idea supuesta de la demostración, no sabemos cuál es; tú le puedes preguntar a HGPT que te muestre el razonamiento que hizo, lo que llaman thinking, el Pensamiento, pero esto es completamente generado o posteriori y en general no tiene nada que ver; o sea, es una cosa absolutamente caótica y sin sentido y tú puedes leerte todo el pensamiento detallado de cómo llegó, echó 80 minutos en llegar a la…