Búsqueda · 27 momentos en 8 episodios
Juan Carlos GilBorja TosarIgnacio CrespoFrancis VillatoroHéctor Socasdemostración matemática y premiosreconocimiento por grandes resultadosaprendiendo en el proceso de demostracióncharlas tras obtener una demostraciónrelevancia de la demostración villatoroFrancis VillatoroGPTPaul ErdősJared Ducker LitzmanTerry TaoMadridMedalla Fierce
Demostración matemática y premios
Con
0:000:301:001:302:002:303:003:37
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.
…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…
Significado #1 · Palabras #1
Francis Villatoro comenta sobre la reacción de los matemáticos ante una demostración realizada por GPT, considerándola digna de inclusión en un libro especializado.
Habla: Francis VillatoroSignificado #14 · Palabras #18demostración de gpt para matemáticoslibro especializado de matemáticasinteligencia artificial y demostracionesdemostración con terry taomedalla fierce madrid 2006jared litman y terry taomatemáticos soberbios lisman…bueno, en inglés ha tenido más ediciones y es un libro bastante curioso. Pues bien, un matemático, Jared Ducker Litzman, que hizo su tesis doctoral en este problema en concreto, en el 1196 de Erdős, afirmó en redes sociales cuando vio la demostración de GPT. 5.4 Pro que era una demostración que merecía estar en el libro. Y eso que tú 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 describe una demostración como fascinante, destacando que ningún matemático había considerado previamente una solución aparentemente sencilla.
Habla: Francis VillatoroSignificado #4demostración fascinante por matemáticosinteligencia artificial resultado impactanteresultado generado por ia…que tenía, que no llega al resultado correcto, que usa una función de finales del siglo XIX y ha cogido una de las siguientes funciones que hay en el repertorio de funciones conocidas. Y ha cogido la siguiente función y le ha salido. Y le ha salido. Yo digo una demostración absolutamente fascinante, porque hasta ahora ningún matemático se le había ocurrido, entre comillas, esa chorrada, esa cosa tan sencilla de hacer, ese pequeño cambio. Entonces ahora se ha propuesto, claro, esto fijaros que es un resultado; es el resultado de una inteligencia artificial más importante hasta ahora, porque es un resultado que puede tener impacto. ¿Puede tener impacto qué significa? Significa que ahora mismo hay muchos resultados matemáticos en teoría de números en los que se han utilizado estas herramientas analíticas en los que todo el mundo ha explorado poner todas las funciones posibles. Pues no.…
Francis Villatoro explica una ventaja de las matemáticas sobre la física teórica: la capacidad de formalizar demostraciones en un lenguaje especial y usar demostradores automáticos para verificar su corrección.
Habla: Francis VillatoroSignificado #20demostraciones matemáticas con demostradores automáticos…postura oficial es que todas las teorías científicas alternativas que nos vengan con sus descubrimientos Van directamente a la papelera, si tienen un descubrimiento lo mandan a la revista o como muchos lo suben al archive, gracias Pues en matemáticas la Ventaja que tenemos es que podemos formalizarlo en un lenguaje especial de demostración automática. Podemos aplicarle el demostrador automático y eso si nos dice que la demostración es correcta, pues es correcta. O sea, el enunciado y todo el desarrollo apoyan y demuestran ese enunciado. Entonces, bueno, eso es una ventaja que no tienen en física teórica, ¿vale? En física teórica la corrección viene por la naturaleza, es decir, por los experimentos. Y claro, eso no es trivial, ¿vale? Si tienen una teoría exótica que es prácticamente imposible que alguien se vaya a dedicar toda su financiación a experimentar y a verificar tu teoría, entonces lo que esta gente ha hecho, digamos el dúo, el dúo, el equipo Price Barreto, Price, el amateur, el…
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 #1 · Palabras #1demostració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…