Búsqueda · 28 momentos en 19 episodios
Medalla Fierce
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…
Francis Villatoro explica cómo Jared Lixman, tras obtener un avance importante en su tesis doctoral, contactó con varios matemáticos durante diez años para abordar un problema específico.
Habla: Francis VillatoroPalabras #16avances tesis doctoral jared lixmanpostdoc james maynard en teoría númerosmedalla fields james maynard 2022artículos ataques parciales problema lismancoautores artículo clave 2024 lisman…cantidad X, pues esa cantidad cae como 1 partido del logaritmo. Bueno, pues lo que hizo en su tesis doctoral Lisman es utilizar una serie de técnicas matemáticas que le permitió conseguir que en lugar de menor o igual que 1, fuera menor o igual que 1.4. Y eso supuso un avance importante: publicó tres artículos sobre el tema para obtener ese resultado, pero claro, no había obtenido la demostración. Pero desde 2017 ha estado; es un matemático bueno y ha sido incluso postdoc de James Maynard. James Maynard fue a Medalla Fields en 2022; es uno de los grandes expertos en teoría de números; es decir, es una persona conocida, Lisman, y durante estos 10 años, desde 2017, ha estado contactando con muchos grandes matemáticos y hablándoles de este problema y hablándoles de cómo él ha enfocado este problema. Ha publicado varios artículos de ataques parciales de este problema. Y resulta que hay un artículo de 2024 en el que Lisman es uno de los coautores, y tiene otros dos coautores, que presenta la idea clave que ha utilizado. La inteligencia artificial GPT 5.4, pero esa idea la presenta utilizando un pequeño detalle: se utilizan unas funciones. Esto se llama teoría de números analíticas; yo tomo una serie de funciones que evaluadas con números enteros me representan ciertas…
Francis Villatoro explica que lograr una demostración matemática es irrelevante a menos que sea un resultado muy famoso que conlleve premios y reconocimiento.
Habla: Francis VillatoroSignificado #20demostración matemática y premiosreconocimiento por grandes resultadosaprendiendo en el proceso de demostracióncharlas tras obtener una demostraciónrelevancia de la demostración villatoro…irrelevantes, que acaban siendo publicados en revistas del montón y no acaban teniendo ningún tipo de impacto, pero es un trabajo de fondo que hay que hacer y que hace que el matemático aprenda, porque las demostraciones no es el resultado, es que a nadie ¿Le importa una demostración? La verdad, o sea, que se logre una demostración de algo es irrelevante, salvo grandes resultados muy famosos que hacen que te den premios y que te den medallitas y que te pidan que des muchas charlas, pero por lo demás es irrelevante. Lo relevante es lo que tú aprendes en el camino que recorres para obtener la demostración. Por eso cuando alguien obtiene una demostración mucha gente, los Grandes matemáticos, no quieren leerse el paper. Quieren que ese matemático vaya a su universidad y dé una charla durante 24 horas repartidas en 15 días explicando su camino. Para poderle hacer preguntas de tipo: ¿y por qué aquí no hiciste esto otro? Es que…