Búsqueda · 25 momentos en 8 episodios
Luisa AchaerandioIgnacio CrespoBorja TosarFrancis VillatoroHéctor SocasGastón Giribetproblemas de erdős no resueltoslistado problemas erdős inteligencia artificialresolución sistemática problemas erdősproblema distancia unitaria erdőserdős y sus 14 artículosproblema erdős pasión del autorpremio erdős problema distancia unitariadistancia unitaria conjunto de puntos planohistograma de distancias pares de puntosErdősFrancis VillatoroAirDiskChatGPT Pro 5.5Triángulo equiláteroRaíz cuadrada de dosRomboGastón Giribet
Erdisk Problem
Con
0:000:301:001:302:002:302:57
Francis Villatoro describe la ventaja del listado de problemas de Erdős, destacando que numerosas personas están resolviendo sistemáticamente los problemas no resueltos.
…los apuntes de R2 y están pasando por todos sus problemas uno detrás de otro y viendo qué cosas interesantes sacan de ahí. Pero es un caso más de una inteligencia artificial ayudando a los matemáticos a resolver problemas que hasta ahora estaban abiertos. Sí, bueno, esa es la gran ventaja del listado de problemas de Erdős, que ahora mismo literalmente decenas como mínimo y probablemente haya cientos de personas están literalmente poniendo primero el primero, después el segundo, después el tercero, después el cuarto, llegan al final, son 1.300 y pico, vuelven 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 puntos en el plano, este es un problema en el plano; si tienes un conjunto de puntos en el plano, tú puedes ver la distancia entre cada dos pares, las distancias que hay entre cada dos pares y hacer un histograma de distancias. Ir poniendo, pues, de esta distancia hay tres, hay tres pares de puntos que tienen esta distancia, de esta distancia hay dos, de las demás distancias solo hay uno, etc. Claro, entre n números hay n por n-1 partido 2, es decir, el número combinatorio n sobre 2, distancias posibles; hay pares posibles. Entonces, una de las cuestiones interesantes es ver, bueno, Erdős introduce una función para esta, digamos, distribución…
Significado #1
Francis Villatoro describe la ventaja del listado de problemas de Erdős, destacando que numerosas personas están resolviendo sistemáticamente los problemas no resueltos.
Habla: Francis VillatoroSignificado #1problemas de erdős no resueltoslistado problemas erdős inteligencia artificialresolución sistemática problemas erdősproblema distancia unitaria erdőserdős y sus 14 artículosproblema erdős pasión del autorpremio erdős problema distancia unitariadistancia unitaria conjunto de puntos planohistograma de distancias pares de puntos…los apuntes de R2 y están pasando por todos sus problemas uno detrás de otro y viendo qué cosas interesantes sacan de ahí. Pero es un caso más de una inteligencia artificial ayudando a los matemáticos a resolver problemas que hasta ahora estaban abiertos. Sí, bueno, esa es la gran ventaja del listado de problemas de Erdős, que ahora mismo literalmente decenas como mínimo y probablemente haya cientos de personas están literalmente poniendo primero el primero, después el segundo, después el tercero, después el cuarto, llegan al final, son 1.300 y pico, vuelven 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 puntos en el plano, este es un problema en el plano; si tienes un conjunto de puntos en el plano, tú puedes ver la distancia entre cada dos pares, las distancias que hay entre cada dos pares y hacer un histograma de distancias. Ir poniendo, pues, de esta distancia hay tres, hay tres pares de puntos que tienen esta distancia, de esta distancia hay dos, de las demás distancias solo hay uno, etc. Claro, entre n números hay n por n-1 partido 2, es decir, el número combinatorio n sobre 2, distancias posibles; hay pares posibles. Entonces, una de las cuestiones interesantes es ver, bueno, Erdős introduce una función para esta, digamos, distribución…
Francis Villatoro continúa explicando el problema de Erdős sobre la distancia unitaria, detallando cómo se forman patrones geométricos con diferentes configuraciones de puntos.
Habla: Francis VillatoroSignificado #12problema erdős distancia unitariatriángulo equilátero tres distanciasrombo lados distancia uno diagonal…1 que pueda haber en n puntos. El caso más sencillo. Francis, una pregunta, porque yo no he leído sobre esto, te estoy escuchando ahora la explicación; este es un problema discreto, supongo que eso se refiere a cuando n se hace muy grande. Claro, el problema Ahora lo veremos, ahora veremos el enunciado. Todavía no he dado el enunciado del problema de Erdős; estoy explicando un poco la idea del problema. Entonces si tú tienes dos puntos, pues hay una única distancia, pues esa vale, entre dos puntos hay una única distancia. Entre tres puntos tú puedes formar un triángulo equilátero. Un triángulo equilátero te da tres distancias. Si tú tienes cuatro puntos, no te sirve un cuadrado porque un cuadrado tiene cuatro distancias unitarias pero dos distancias que son la raíz cuadrada de dos; pero tú puedes coger dos triángulos equiláteros y pegarlos y obtienes como un rombo. Ese rombo tiene la ventaja de que todos los lados, los cuatro lados, son de distancia uno y la diagonal también porque son dos triángulos equiláteros, uno pegado al lado. Para cuatro puntos, tú tienes cinco distancias unitarias. Tú te puedes plantear qué pasa con cinco puntos. Pues con cinco puntos lo que puedes es añadir un triángulo equilátero más. Si añades un triángulo equilátero más, has añadido un punto adicional; tienes…
Francis Villatoro explica el problema 90 de Erdős, que involucra una configuración geométrica para determinar la cantidad de distancias unitarias en una distribución de puntos.
Habla: Francis VillatoroSignificado #10problema erdős configuración geométricadistancias unitarias distribución puntosfunción creciente logaritmo de n…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 unitarias de lados iguales a 1 que hay en una distribución con n teniendo infinitos de puntos es n elevado a 1 más una constante que él nos determina partido el logaritmo de 1. del logaritmo de n. El logaritmo de n es una función creciente, crece menos que n, pero siempre creciente. Y el logaritmo del logaritmo de n es una función también siempre creciente, pero que crece más despacio. Entonces, 1 partido logaritmo del logaritmo de n es una cosa que con n que tiene infinito tiende a cero. Entonces él demuestra esa expresión matemática. Y entonces se le ocurre que, y por qué no lo exageramos al máximo: si para n tendiendo a infinito nos vamos a un valor prácticamente cero, es decir, que el número de distancias unitarias es igual a n, al número…
Francis Villatoro explica cómo Erdős reintrodujo repetidamente un problema aparentemente sencillo, que ahora se considera un desafío importante dentro del campo de la geometría combinatoria.
Habla: Francis VillatoroSignificado #4 · Palabras #15problema erdős geometría combinatoriaerdős reintrodujo problema sencillodoctorado geometría combinatoria demuestra problematécnicas nuevas problemas geometría combinatoriaartículos publicados problema erdős…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 investigación en el que se enmarca, que es la geometría combinatoria, se ha convertido como el gran problema de la geometría combinatoria. Es decir, prácticamente todo el mundo que hace un doctorado en geometría combinatoria trata de demostrar este problema; desarrolla nuevas técnicas, 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…
Francis Villatoro explica cómo el uso de cuerpos adecuados con números primos enormes permite reducir una constante en un problema, pero se encuentra una barrera o 'plató' en el proceso.
Habla: Francis VillatoroSignificado #17cuerpos adecuados números primos erdősconstante problema erdős barrera platónúmero de lados unidad grafosinteligencia artificial exponente n1 epsilon…Un número primo de 200 dígitos y otro número primo de 300 dígitos. No importa porque los teoremas de la teoría de cuerpos que me permiten calcular la dimensión, el número, la cardinalidad de estos ideales, no les preocupa qué tamaño tengan los primos. Pero a la hora de calcular el numerito resulta que usando cuerpos adecuados de enorme contenido, contenidos son números primos enormes o coprimos enormes, se logra rebajar la constante del problema de Erdős, pero aparece 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…
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 #14conjeturas 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 el siguiente paso en su experimentación con inteligencia artificial para resolver problemas matemáticos, cambiando la instrucción de 'demostrar' a 'refutar'.
Habla: Francis VillatoroSignificado #9refutación de problemas airdiskinteligencia artificial refuta demostracionesfrancis villatoro experimenta con ia…ya han definido incluso las constantes. Es decir, no se había logrado con CharGPT 5.5 Pro básicamente porque se le había pedido que demostrara el problema 690 y lo que había que decirle es que refutara; es decir, ahora mismo mucha gente está diciendo pues Ahora voy a hacer una siguiente corrida de todos los problemas de AirDisk pero en lugar de decirle que demuestre, le voy a decir que refute, a ver si me refuta alguno, ¿vale? Que la inteligencia cuando le dice que demuestre, piense también o tenga en cuenta también la posibilidad de refutar, aunque ha habido algunas refutaciones. Entonces ya os digo, estamos en un momento muy curioso. Muy interesante, este es un problema que ahora mismo es el problema más importante que ha resuelto una IA, el más famoso; pero repito, repito, la demostración escrita bonita por humanos para que se entienda es una página y media, ¿vale? O sea, que estamos…
Gastón Giribet explica que incluso en la solución de problemas matemáticos recientes, la guía y cooperación humana fue esencial, retomando una observación previamente hecha por Francis Villatoro.
Habla: Gastón GiribetPalabras #12guía humana en problemas matemáticoscooperación humano problemarefutación de conjetura originalfrancis villatoro observación previa…No es que uno se remite a la matemática que conocíamos en el 46 y la resolvió. No, la resolvió construyendo sobre cimientos hechos por matemáticos humanos, como le gusta decir a esta gente, antes. Esa es la segunda observación. La tercera observación es que incluso en esta solución la guía de los humanos fue esencial. No es que uno puso el problema en la máquina y dijo: vuelvo el jueves y lo tenés resuelto. No, hubo que saber guiar. Así que en esta misma demostración la presencia del humano fue esencial, una suerte de cooperación con el problema también. La tercera observación, que ya la dijo Francis pero nos cansamos de repetir, esta no es la resolución del problema original sino la refutación de una conjetura acerca de la solución del problema original, que no es lo mismo. Es muy interesante igual, pero no es lo mismo mostrar que alguien cuando quiso resolver el problema estaba equivocado aunque se le ve rimamente equivocado, no es resolver el problema original; eso también es importante aclararlo, porque si no uno confunde resolver un problema con resolver otro, que es mostrar que alguien está equivocando cuando quiso resolver el problema. Entonces todo esto es verdad, todas estas cosas hay que tenerlas en cuenta cuando uno quiere ponderar verdaderamente la importancia de este resultado. Lo del sesgo con el que afrontamos estos problemas me recuerda a ese mismo sesgo que teníamos en la carrera,…