Búsqueda · 22 momentos en 8 episodios
Luisa AchaerandioIgnacio CrespoBorja TosarFrancis VillatoroHéctor SocasGastón Giribetejemplo erdős resistencia a mejorasdistribución puntos artículo erdős 1946orden asintótico erdős logaritmo nlenguaje anticuado artículo erdősconjetura de erdős validez percibidaartículos modernos vs antiguosconjetura matemática sesga investigacióncomunidad cree en conjetura verdaderademostrar conjetura falsa es imposibleinteligencia artificial resuelve problema matemáticoErdősFrancis Villatoroconjetura de Erdősconjetura de RiesTimothy GowersOpenAIInteligencia ArtificialClaudeGeometría combinatoriaÁlgebraConjeturaTeorema de clasificación de ideales
Conjetura de Erdős validez percibida
Ep560: OVNIs; Cetáceos; Sag A*; IA en Matemáticas; Arqueoastronomía Solar
28 de mayo de 202610 momentos
Con
0:000:301:001:302:002:302:57
Francis Villatoro comenta sobre el artículo original de Erdős, destacando su lenguaje anticuado pero comprensible, lo que contribuyó a la creencia generalizada en la validez de la conjetura de Erdős.
…nuevas cosas, nuevas maneras de ver este tipo de problemas, y se lo voy a probar con este problema de ERDIS. Entonces es un problema bastante trabajado en el que hay bastantes artículos que se han publicado durante mucho tiempo, y lo que ha permeado el campo. Es que ese ejemplo que nos pone Erdős en 1946 es prácticamente el mejor ejemplo conocido. Se ha tratado en varios artículos de modificar, de perturbar esa distribución de puntos, pero no se ha logrado mejorar ese orden asintótico de 1 partido logaritmo de logaritmo de n que observó Erdős. Es decir, parece como que este ejemplo particular, en el artículo original de Erdős del 46. El artículo hay que leerlo porque tiene un lenguaje muy antiguo; no son como los artículos modernos, pero bueno, se lee fácil y se entiende bien. Entonces eso ha hecho que mucha gente tuviera la sensación de que la conjetura de Erdős era verdadera y los humanos tenemos un gran defecto y es que a veces Sesgamos nuestra investigación en una línea. Cuando una conjetura puede ser verdadera o falsa, si la comunidad cree que es verdadera, tú te enfrentas a tratar de demostrarlo y te enfrentas a un problema imposible. Si la conjetura es falsa, el problema de demostrar esa conjetura se vuelve infinitamente difícil porque es imposible, y eso envuelve a ese problema en su aparente sencillez de un halo de extrema complejidad; entonces eso ha hecho que este problema haya sido un problema especialmente llamativo a nivel de redes sociales y a nivel de grandes matemáticos cuando ha sido resuelto con la inteligencia artificial. Una de las ideas que se habían propuesto para este problema era una idea que es estándar, sobre todo a partir del siglo XXI; a partir del año 2000, hay trabajos muy importantes en 2010, 2012: es el tema de mezclar esta geometría combinatoria con álgebra de…
Significado #1 · Palabras #1
Francis Villatoro explica por qué existe un interés específico en el problema de la distancia unitaria propuesto por Erdős.
Habla: Francis VillatoroPalabras #15problema distancia unitaria erdőserdős y sus 14 artículosproblema erdős pasión del autor…al principio de todos los no resueltos, de todos los no resueltos todavía, están sistemáticamente dándoles vueltas una y otra vez y eso echa un tiempo y las intereses artificiales mejoran y entonces lo están haciendo con diferentes inteligencias artificiales. O sea que no hay un enorme interés, específicamente por ese tipo de problemas porque la mayoría de los problemas de Erdős son irrelevantes; pero en concreto este problema sí es un problema bastante interesante y bastante atacado. Este es el problema de la distancia unitaria: es un problema que propuso Erdős en 1946, Erdős tenía 33 años, y es un problema que ha generado bastante eco porque Erdős ha recurrido a él muchas veces y lo cita en unos 14 artículos; y aunque como la mitad están específicamente dedicados a cuestiones relativas a este problema, los otros son artículos de revisión en el que menciona el problema como uno de los que más le apasionaba. Erdi llegó a valorar en dinero poner un premio para quien resolviera el problema de 300 euros, que más tarde subió a 500 para quien lo refutara o lo resolviera. El problema de la distancia unitaria es básicamente el problema de: si tú tienes un conjunto de…
Francis Villatoro explica la conjetura de Erdős sobre un intervalo para relacionar el número de puntos y las distancias unitarias, mencionando un límite máximo basado en una potencia fraccionaria.
Habla: Francis VillatoroSignificado #5 · Palabras #4conjetura de erdős distancias unitariaslímite máximo erdős solución…tenemos dieciocho, tenemos casi el doble, pero ya cuando el número de puntos es muy grande resulta que estos números caen y básicamente caen muy cerca del propio número de puntos. El número de lados que pueden ser iguales es similar al número de puntos. Entonces, en 1946 Erdős conjetura un intervalo en el que se puede encontrar esa relación. Por un lado, un valor máximo, que es el número de puntos elevado a 4 tercios, es decir, a 1 .3333333, y plantea como conjetura que eso es el límite máximo y de la mejor solución. Repito, siempre estamos hablando de la solución que tenga más distancias unitarias, más lados todos iguales entre n puntos con n tendiendo a infinito. Eso se demostró como en 1983, pero eso no es el problema que nos interesa, no. Es el problema 90 de Erdős, que es el de que estamos hablando, sino el otro lado. Erdős presenta una configuración geométrica, una especie de rellenado del plano o una cosa que se repite y observa que, con esa distribución de puntos, la cantidad de distancias…
Francis Villatoro explica la conjetura de Erdős sobre el número de distancias unitarias entre puntos, indicando que al aumentar 'n' tiende a un valor cercano a uno.
Habla: Francis VillatoroSignificado #3 · Palabras #2conjetura de erdős número distancias unitariaserdős exponente logaritmo del logaritmo nfrancis villatoro conjetura de erdős…¿por qué no conjeturar eso directamente? Conjeturar que el número de distancias unitarias es n elevado a 1 más un épsilon tendiendo a cero, ¿vale? O sea, básicamente 1 más algo muy pequeño respecto a 1. Esa es la conjetura de este problema, el problema de. La distancia unitaria de Erdős es conjeturar que cuando n tiende a infinito, él tiene un ejemplo que es un ejemplo muy bueno. Muy bueno porque el exponente es uno más, repito, del orden de el uno partido del logaritmo del logaritmo de n. Y entonces conjetura que es uno más, pues algo muy pequeño, algo despreciable, algo que es prácticamente uno, ¿vale? N elevado a uno. Entonces, ¿qué pasó con este problema al que varias veces ha reentrado Erdős en su carrera? Y es que este problema, que parece muy sencillo de describir, se ha ido convirtiendo en un problema rodeado de un cierto aura de que en este campo de…
Francis Villatoro comenta sobre el artículo original de Erdős, destacando su lenguaje anticuado pero comprensible, lo que contribuyó a la creencia generalizada en la validez de la conjetura de Erdős.
Habla: Francis VillatoroSignificado #1 · Palabras #1ejemplo erdős resistencia a mejorasdistribución puntos artículo erdős 1946orden asintótico erdős logaritmo nlenguaje anticuado artículo erdősconjetura de erdős validez percibidaartículos modernos vs antiguosconjetura matemática sesga investigacióncomunidad cree en conjetura verdaderademostrar conjetura falsa es imposibleinteligencia artificial resuelve problema matemático…nuevas cosas, nuevas maneras de ver este tipo de problemas, y se lo voy a probar con este problema de ERDIS. Entonces es un problema bastante trabajado en el que hay bastantes artículos que se han publicado durante mucho tiempo, y lo que ha permeado el campo. Es que ese ejemplo que nos pone Erdős en 1946 es prácticamente el mejor ejemplo conocido. Se ha tratado en varios artículos de modificar, de perturbar esa distribución de puntos, pero no se ha logrado mejorar ese orden asintótico de 1 partido logaritmo de logaritmo de n que observó Erdős. Es decir, parece como que este ejemplo particular, en el artículo original de Erdős del 46. El artículo hay que leerlo porque tiene un lenguaje muy antiguo; no son como los artículos modernos, pero bueno, se lee fácil y se entiende bien. Entonces eso ha hecho que mucha gente tuviera la sensación de que la conjetura de Erdős era verdadera y los humanos tenemos un gran defecto y es que a veces Sesgamos nuestra investigación en una línea. Cuando una conjetura puede ser verdadera o falsa, si la comunidad cree que es verdadera, tú te enfrentas a tratar de demostrarlo y te enfrentas a un problema imposible. Si la conjetura es falsa, el problema de demostrar esa conjetura se vuelve infinitamente difícil porque es imposible, y eso envuelve a ese problema en su aparente sencillez de un halo de extrema complejidad; entonces eso ha hecho que este problema haya sido un problema especialmente llamativo a nivel de redes sociales y a nivel de grandes matemáticos cuando ha sido resuelto con la inteligencia artificial. Una de las ideas que se habían propuesto para este problema era una idea que es estándar, sobre todo a partir del siglo XXI; a partir del año 2000, hay trabajos muy importantes en 2010, 2012: es el tema de mezclar esta geometría combinatoria con álgebra de…
Francis Villatoro explica cómo un problema geométrico puede formularse algebraicamente, una aproximación ya utilizada en varios artículos para intentar demostrar una conjetura.
Habla: Francis VillatoroSignificado #16problema geométrico formulación algebraicaconjetura imposible de demostrarfracaso de líneas de ataqueartículos geometría combinatoria…estrictamente algebraicas de los cuerpos para determinar una estimación de la cantidad de soluciones que yo tengo, que multiplicado por el número de puntos me dará la cantidad de posibles, el número máximo de distancias unitarias que yo tengo en mi problema. Es decir, yo puedo formular un problema puramente geométrico, de geometría combinatoria; lo puedo formular con un problema puramente algebraico y entonces esa aproximación ha sido propuesta ya en varios artículos y se han hecho cosas pero en la línea de atacar el demostrar esta conjetura que hoy ya sabemos que era imposible de demostrar, esas líneas de ataque fracasaron y tienen que fracasar. Es obvio: hoy sabemos que fracasaron y sabemos por qué tienen que fracasar; esa conjetura es falsa, pero los que lo hicieron no se dieron cuenta y focalizaron ese trabajo. Pero ese trabajo, los resultados más importantes son esos de 2011, 2012; hay dos resultados clave en esa línea. Y es ese trabajo el que ha combinado la inteligencia artificial. En cierto sentido, lo que los humanos estaban haciendo era utilizar esta…
Francis Villatoro explica cómo la inteligencia artificial ha descubierto un contraejemplo formal a la conjetura de Erdős y refuta la conjetura de Ries.
Habla: Francis VillatoroSignificado #4 · Palabras #3conjetura de erdos inteligencia artificialcontraejemplo formal conjetura de riesteorema clasificación ideales expertoscaso no considerado por matemáticosfigura de erdős deslumbrando a matemáticosmatemáticos del área sorprendidos…un plató, aparece una barrera. El valor del exponente del número de lados unidad que hay en estos grafos con un número virtualmente infinito de puntos resulta ser n1 más un épsilon muy pequeño. Entonces eso es lo que descubre la inteligencia artificial. Descubre que no es verdad la conjetura de Ries. Descubre un contraejemplo formal. Aquí es una demostración de existencia. Lo que demuestra la inteligencia artificial es que existe al menos un contraejemplo de la conjetura de Erdős. Si tú utilizas un cuerpo con elementos suficientemente grandes y que tenga unas propiedades relativamente clásicas, y para ello todo eso se apoya en un teorema de clasificación de ideales de 1965, que es conocido por todos los expertos que han hecho esto. Todos los expertos que han combinado ambos mundos, que son poquitos, conocían ese resultado. A nadie se le ha ocurrido considerar ese caso. Eso ha llamado enormemente la atención a los matemáticos que trabajan en este área, porque de repente se les ha abierto la mente y han dicho: ¿Cómo? ¿Por qué a nosotros que somos idiotas? ¿Qué nos ha pasado? ¿Por qué la figura de Erdős nos ha deslumbrado y nos ha impedido ver lo que teníamos delante de la nariz? Es que el trabajo que ha hecho la IA, que es una demostración extremadamente corta, depende de cómo la escribas; la verdad es que la demostración que realmente ha generado esta inteligencia artificial no es la que vemos publicada en el artículo, que está…
Francis Villatoro explica cómo una inteligencia artificial llamada Claude mejoró una cota previamente establecida por otro matemático, superando incluso las expectativas de Erdős.
Habla: Francis VillatoroSignificado #14inteligencia artificial claude mejora cotacota matemática superando expectativas erdősopinión de erdős sesgó rama matemáticaproblema fundacional condicionado generaciones matemáticos…la cifra, pero algo así como 10 a la menos 38, es 1 más 10 a la menos 38 el mínimo, claro, esa constante obviamente es chapucera, uno de los matemáticos que han ido a OpenAI ha publicado unas horas después del anuncio oficial una cota de 1.014, ¿vale? Y esa cota se le ha dado a Claude, a otra inteligencia artificial y la ha mejorado, le ha puesto en 1.030 y no sé qué. Y ahora se está trabajando en subirla a 1.0. O sea, que es una cota claramente bien definida, que no es lo que tenía en mente Erdős. O sea, la opinión de Erdős ha sesgado toda una rama de la matemática en la que este problema se consideraba fundacional e importante y que todo el mundo lo atacaba ha condicionado dos generaciones de matemáticos hacia no ver por dónde había que atacar el problema, ¿no? Entonces, claro, esto ha llamado muchísimo la atención, ha habido gente que ha dicho si esto lo hubiera hecho un Humano, gente de tipo Medalla Fields Gowers, por ejemplo, Gowers no es un experto en esta línea; Gowers de este tipo de temas no sabe nada, pero bueno, es uno de los coautores del artículo de OpenAI, porque uno de los invitados por OpenAI a ir allí y ver la…
Francis Villatoro explica cómo el resultado generado por inteligencia artificial está siendo adoptado por matemáticos y utilizado en investigaciones ajenas a la conjetura original.
Habla: Francis VillatoroPalabras #9matemáticos usan resultado inteligencia artificialconjetura distancia aplicación idea iapremios erdos impacto metálico…invitados por OpenAI a ir allí y ver la demostración y estar con los otros matemáticos, él no es un experto en este tipo de temas y lo reconoce, pero bueno, se ha quedado alucinado de que los expertos se queden alucinados, porque la gente dice, pero ¿cómo? Es que eso se puede hacer. ¿Y qué está pasando con este resultado? Pues lo maravilloso de este resultado es que ahora todos los matemáticos que trabajan en eso dicen si es que esto se nos podía haber ocurrido a nosotros, lo están empezando a usar; están empezando a aparecer artículos que no tienen nada que ver con la conjetura de la distancia que están aplicando esta misma idea y es una buena idea de la inteligencia artificial, con lo que este es el primer resultado demostrado por la inteligencia artificial que está teniendo un impacto más allá de la chorrada de ganar 300 dólares por haber demostrado, porque este es uno de los premios de los premios de Erdos que tiene premio metálico. Entonces, se ha creado ahí un gran bombo mediático. Hay que poner un poco los pies, es decir, lo que ha hecho realmente la inteligencia artificial no es tan revolucionario, no es tan creativo. Pero si es verdad, algunos lo dicen, si lo hubiera hecho un…
Francis Villatoro explica cómo un nuevo trabajo está siendo considerado relevante y está ayudando a mejorar otro límite relacionado con las conjeturas propuestas por Erdős.
Habla: Francis VillatoroSignificado #2 · Palabras #8conjeturas propuestas por erdőslímite superior de erdőstrabajo erdős 1983…especialmente en los últimos 25 años, o sea, en los últimos 25 años esta idea ha estado ahí delante de todo el mundo y nadie la ha visto, ¿no? Tiene también una inteligencia artificial para combinar dos o tres artículos y montar la idea y decir, pero bueno, entonces, este trabajo se está considerando muy relevante, pero ya os digo, y está ayudando, por ejemplo, al otro límite; por ejemplo, la otra. Dije que la ERDIS proponía dos conjeturas: una por debajo, que es esta, que ahora sabemos que es falsa, y una por encima, que era N elevado a cuatro tercios, pues se le podía quitar una C, ¿no? 4 tercios menos C; 4 tercios se demostró que es límite superior, pero se pensaba que el límite podía estar un poquito más para abajo. Pues eso ahora mismo también se ha demostrado que es falso, que la conjetura nueva que hay por arriba, que partió del trabajo que demostró la DERDIS en el 83, pues También es falso, o sea, ahora tenemos una, entre comillas, nueva herramienta, que no es una nueva herramienta, ¿vale? Que no hay un aporte matemático específico. Lo que ha hecho la inteligencia artificial es conectar dos cosas que teníamos delante de las…
Francis Villatoro explica cómo Erdős solía publicar resultados positivos, complementándolos con comentarios sobre otros temas que le habían inspirado y los contraejemplos que había considerado.
Habla: Francis VillatoroSignificado #8erdős publica resultados positivoscontraejemplos inspiran a erdősartículos de erdős incluyen comentariosteoremas nuevos según erdősbúsqueda infructuosa contraejemplo villatoromatemático erdős referencia villatorolicuando resultado demostrable villatoro…a mirar contraejemplos y no encontré ninguno; decir no encontrar ninguno no es útil. Tienes que expresarlo, tienes que poder presentarlo de alguna forma que puedas descartar algo, o sea, descartar es útil, yo creo; creo que ahí es donde está la clave, que puedas descartar Lo que hacía Erdős era sacar un resultado positivo y decorar el resultado positivo con algunos comentarios de cosas que tenía en mente de otros temas que ese resultado positivo lo había obtenido pensando en contraejemplos y ese tipo de cosas, te las mencionaba en el artículo, te presentaba el resultado Nuevo teorema, no sé qué, que puedo Demostrar. Fíjate que para llegar aquí saqué no sé qué porque estaba pensando en un tal contra ejemplo y no me funcionó porque estaba licuando y después me encontré con esto. No sé si dijimos quién es Erdisch; para nosotros es como famoso, pero quizá déjenme hacer esta nota al bien. ¿Cómo? Sí, sí, que sí, que dilo siempre lo decimos cuando hablamos de Erdisch. Erdisch es el matemático; muchos dicen el más prolífico de la historia. Lo cierto es que es el matemático al menos más prolífico de la historia desde Euler, desde Leonard Euler, que nació en 1707, murió en 1783, siglo XVIII, era un matemático muy famoso que…