Búsqueda · 34 momentos en 23 episodios
Juan Carlos GilBorja TosarIgnacio CrespoFrancis VillatoroHéctor Socasdemostración con terry taomedalla fierce madrid 2006jared litman y terry taomatemáticos soberbios lismanTerry TaoMadridMedalla Fierce
Medalla Fierce Madrid 2006
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…
Significado #1 · 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 #1 · Palabras #1demostración con terry taomedalla fierce madrid 2006jared litman y terry taomatemáticos soberbios lisman…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…