32 episodios
02:30:26Habla: Francis Villatoro
↗

Búsqueda · 29 momentos en 22 episodios

Juan Carlos GilBorja TosarIgnacio CrespoFrancis VillatoroHéctor Socaspaul erdős y el libroerdős dios de spinozaverdades matemáticas en el librolibro tras fallecimiento paul erdősdemostraciones matemáticas curioso nibolamartin eidner gunther siegler editan librotesis doctoral sobre problema erdosjared ducker litzman y erdosgpt y demostraciones matemáticasdemostración de gpt para matemáticoslibro especializado de matemáticasinteligencia artificial y demostracionesGPTPaul ErdősJared Ducker LitzmanSpinozaEl LibroThe BookIsabelNibolaMartin EidnerGunther SieglerFrancis Villatoro

Libro especializado de Matemáticas

Con
0:000:301:001:302:002:303:003:37

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.

…problemas cada semana, varios, ¿no? Pero bueno, esto es un asunto que nos comentó Isabel. Isabel nos comentó que quería comentarlo, que le había parecido algo muy espectacular, porque está rodeado de un tema mediático en redes sociales realmente curioso. Yo no supongo que la mayoría de los oyentes saben que Paul Erdős, es un matemático muy famoso, hablaba de el libro El libro, The Book, era un compendio de las mejores demostraciones de todos los teoremas matemáticos Para Erdős, Dios era el dios de Spinoza, era como la propia naturaleza pero en cualquier caso Dios poseía, atesoraba el libro con esas de todas las verdades matemáticas convertidas en teoremas se contenían en ese libro la demostración que más placer podía generar a quien la conociera. Entonces, bueno, se ha editado, se ha editado el libro, se editó después del fallecimiento de Erdős, yo tengo copia, la he cogido aquí, de la versión editada en español por Nibola, del libro, es un libro curioso, bonito, y de Martin Eidner y Gunther Siegler, y está bien, incluye una serie de demostraciones, obviamente, en la línea de los temas matemáticos en los que trabajó Erdős, y supuestamente cierta relación a cosas que ha dicho o ha hecho el disc, pero son demostraciones realmente algunas muy muy curiosas y yo se lo recomiendo a todos los oyentes que quieran disfrutar de divulgación matemática. No sé si se considera la edición, yo lo tengo prácticamente del mismo año en que salió; me recuerdo si era en 2005, pero 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…
Significado #1 · Palabras #1