Búsqueda · 29 momentos en 12 episodios
Juan Carlos GilBorja TosarIgnacio CrespoFrancis VillatoroHéctor Socasteorema de erdős con inteligencia artificialaficionado demuestra teorema de erdősscientific american y teorema de erdősgastón giribet tuitea scientific americanliam price usa inteligencia artificialerdős teorema con apoyo de cambridgefriend estudia matemáticas en cambridgeshagpt ayuda a liam priceia resuelve problemas matemáticossoftware aristotle genera código leanlean valida demostraciones matemáticasenvío a la página erdosLiam PriceKing's CollegeUniversidad de CambridgeScientific AmericanTeorema de ErdősGastón GiribetTwitterErdősPaul ErdősSpinozaEl LibroThe BookIsabelShannonBarretoAristotleLeanGPTFrancis VillatoroTerry Tao
Erdős teorema con apoyo de Cambridge
Con
0:000:301:001:302:002:303:003:37
Francis Villatoro describe a Liam Price, un aficionado que utilizó inteligencia artificial para demostrar un teorema de Erdős, y explica que aunque no es matemático, cuenta con el apoyo de un amigo estudiante de matemáticas en Cambridge.
…relativamente bella, interesante, porque ha pasado de largo, los humanos no hemos tenido la capacidad, entre comillas, creativa, o entre comillas de hacer eso, que no es una demostración muy complicada, fueron como unos 80 minutos de chat GPT 5.4. Hay toda una prensa rosa alrededor de este resultado que es la que ha salido en todas las revistas, en la Scientific American, en muchísimos medios; yo que sé, Gastón, por ejemplo, en Twitter, por tuiteó el artículo de Scientific American y el artículo más o menos titula: un aficionado de 23 años demuestra un teorema de Erdős, dos puntos, usó inteligencia artificial. ¿Quién es este aficionado? Este aficionado no es un aficionado cualquiera, entre comillas, si es cualquiera, pero bueno, es Liam Price, como alias tiene Liam, L-E-E-H-A-M, y no sabemos qué formación tiene, si sabemos que no es matemático, pero tiene una ventaja sobre otras personas, probablemente sea informático o algo parecido a un informático, tiene una ventaja y es que tiene un amigo que es matemático. Bueno, no es matemático, estudia segundo de matemáticas en el King's College de la Universidad de Cambridge. Entonces cuando ShagPT le da una demostración, se la pasa porque él no la entiende. Liman, este muchacho, Price, no entiende absolutamente nada. Copia el enunciado, se lo mete a la IA, ve un resultado que no entiende. Se lo pasa a su amigo, el amigo se llamaba Barreto, y este amigo le dice: pues esto tiene buena pinta. Entonces, si tiene buena pinta, lo pasan al software Aristotle como conté ya la otra vez que hablé de estos temas; ese Aristotle te da el código de la formalización matemática en Lean, que es un lenguaje para demostración automática de teorema, y después lo pasan por Lean y si Lean da el visto bueno dice: sí, validado, esta demostración es correcta. Ahora, la envían a la página de ERDOS y eso lo han hecho con muchos problemas. Entonces, claro, esto es una cosa que es lo que llaman Byte Mathematics; es, a esa época he producido mucho en Byte Physics, los craspos, la gente que hacía teorías de física. Yo tengo la solución de la materia oscura: la materia oscura es el campo eléctrico…
Significado #1 · Palabras #1
Francis Villatoro explica que Isabel les comentó un problema matemático notable, generando atención mediática en redes sociales, y ahora introduce al matemático Paul Erdős.
Habla: Francis VillatoroPalabras #3paul erdős y el libroerdős dios de spinozaverdades matemáticas en el libro…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,…
Francis Villatoro explica la razón por la cual el resultado matemático generado por GPT ha sorprendido a la comunidad científica, relacionándolo con la popularidad reciente de los problemas planteados por Paul Erdős.
Habla: Francis VillatoroPalabras #19problemas erdős sin contextoresultados matemáticos paul erdőspágina web problemas erdős…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 sin que el que los resolviera supiera que los estaba resolviendo es decir, tú haciendo tu trabajo matemático llegas a que te interesa tener un pequeño resultado que te va a servir como lema para tu demostración y escribes esa demostración y te importa un comino que resulte que eso es un problema de Erdős. Los problemas de ERDIS se han puesto de moda desde que hay una página web en internet que los recopila. ¿Y para qué alguien ha recopilado esos problemas de ERDIS con el enunciado escrito en látex para poderlo meter directamente en una IA? Porque esa era la intención. La intención era que esos problemas fueran metidos en inteligencias artificiales. Entonces no…
Francis Villatoro describe a Liam Price, un aficionado que utilizó inteligencia artificial para demostrar un teorema de Erdős, y explica que aunque no es matemático, cuenta con el apoyo de un amigo estudiante de matemáticas en Cambridge.
Habla: Francis VillatoroSignificado #1 · Palabras #1teorema de erdős con inteligencia artificialaficionado demuestra teorema de erdősscientific american y teorema de erdősgastón giribet tuitea scientific americanliam price usa inteligencia artificialerdős teorema con apoyo de cambridgefriend estudia matemáticas en cambridgeshagpt ayuda a liam priceia resuelve problemas matemáticossoftware aristotle genera código leanlean valida demostraciones matemáticasenvío a la página erdos…relativamente bella, interesante, porque ha pasado de largo, los humanos no hemos tenido la capacidad, entre comillas, creativa, o entre comillas de hacer eso, que no es una demostración muy complicada, fueron como unos 80 minutos de chat GPT 5.4. Hay toda una prensa rosa alrededor de este resultado que es la que ha salido en todas las revistas, en la Scientific American, en muchísimos medios; yo que sé, Gastón, por ejemplo, en Twitter, por tuiteó el artículo de Scientific American y el artículo más o menos titula: un aficionado de 23 años demuestra un teorema de Erdős, dos puntos, usó inteligencia artificial. ¿Quién es este aficionado? Este aficionado no es un aficionado cualquiera, entre comillas, si es cualquiera, pero bueno, es Liam Price, como alias tiene Liam, L-E-E-H-A-M, y no sabemos qué formación tiene, si sabemos que no es matemático, pero tiene una ventaja sobre otras personas, probablemente sea informático o algo parecido a un informático, tiene una ventaja y es que tiene un amigo que es matemático. Bueno, no es matemático, estudia segundo de matemáticas en el King's College de la Universidad de Cambridge. Entonces cuando ShagPT le da una demostración, se la pasa porque él no la entiende. Liman, este muchacho, Price, no entiende absolutamente nada. Copia el enunciado, se lo mete a la IA, ve un resultado que no entiende. Se lo pasa a su amigo, el amigo se llamaba Barreto, y este amigo le dice: pues esto tiene buena pinta. Entonces, si tiene buena pinta, lo pasan al software Aristotle como conté ya la otra vez que hablé de estos temas; ese Aristotle te da el código de la formalización matemática en Lean, que es un lenguaje para demostración automática de teorema, y después lo pasan por Lean y si Lean da el visto bueno dice: sí, validado, esta demostración es correcta. Ahora, la envían a la página de ERDOS y eso lo han hecho con muchos problemas. Entonces, claro, esto es una cosa que es lo que llaman Byte Mathematics; es, a esa época he producido mucho en Byte Physics, los craspos, la gente que hacía teorías de física. Yo tengo la solución de la materia oscura: la materia oscura es el campo eléctrico…
Francis Villatoro explica la propuesta de Erdős y sus colaboradores en un artículo de 1968 sobre la suma de Erdős, una métrica relacionada con la información contenida en conjuntos primitivos.
Habla: Francis VillatoroPalabras #10suma de erdős en conjuntos primosconjuntos primitivos y función mínimaartículo de erdős sobre información…primos; y propuso una idea que nos parece buena, que es introducir una especie de métrica que mide la cantidad, entre comillas, de información, información en el sentido de Shannon, que tiene ese conjunto primitivo. A esa métrica se le llama la suma de Erdős. Y esa suma de Erdős, lo que propone Erdős o proponen los tres autores de este artículo del 68 es que se maximiza con los conjuntos primos. Los conjuntos primitivos tienen un valor de esta función más pequeño que para los conjuntos primos, y entonces plantearon un comportamiento asintótico para cuando en un conjunto de números primitivos Primitivos, un conjunto primitivo, perdón, un conjunto primitivo en los que todos los números sean más grandes que una cierta X. Yo pongo 52, porque todos los números sean mayores que 52. 1200, que todos los números…