Búsqueda · 21 momentos en 6 episodios
Luisa AchaerandioIgnacio CrespoBorja TosarFrancis VillatoroHéctor SocasGastón Giribetcuerpos adecuados números primos erdősconstante problema erdős barrera platónúmero de lados unidad grafosinteligencia artificial exponente n1 epsilonErdősFrancis VillatoroErnestGeometría CombinatoriaÁlgebra de CuerposClaude
Constante problema Erdős barrera plató
Ep560: OVNIs; Cetáceos; Sag A*; IA en Matemáticas; Arqueoastronomía Solar
28 de mayo de 20266 momentos
Con
0:000:301:001:302:002:302:57
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.
…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…
Significado #1 · Palabras #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 #3problemas 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 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 #12 · Palabras #4conjetura de erdős distancias unitariaslímite máximo erdős soluciónproblema erdős configuración geométricadistancias unitarias distribución puntosfunción creciente logaritmo de 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 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 #2 · Palabras #11problema erdős geometría combinatoriaerdős reintrodujo problema sencillodoctorado geometría combinatoria demuestra problematécnicas nuevas problemas geometría combinatoriaartículos publicados problema erdősejemplo erdős resistencia a mejorasdistribución puntos artículo erdős 1946orden asintótico erdős logaritmo n…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 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…
Francis Villatoro explica cómo se propuso mezclar la geometría combinatoria con álgebra de cuerpos para resolver el problema planteado por Erdős, una idea que ya estaba presente en el artículo original de Ernest pero no está claramente expresada.
Habla: Francis VillatoroSignificado #11geometría combinatoria álgebra de cuerposproblema planteado por erdősartículo original de ernestproducción anual de artículos ernest…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 cuerpos. Esa idea está en el artículo original de Ernest, lo que pasa es que está un poco escondida, no está clara, no está bien expresada. Ya os digo que este tipo de artículos, Ernest producía muchos artículos; en esa época podía llegar a producir 20 artículos anuales, que en matemáticas eso es una barbaridad, es una barbaridad. Entonces, muchos estaban escritos con un estilo que hoy en día lo mismo no lo aceptaríamos en muchas revistas con ese estilo. Una de las ideas es, porque claro, aquí estamos hablando de distancia euclídea, ¿vale? O sea, la distancia euclídea básicamente es x al cuadrado más y al cuadrado, y al cuadrado, raíz cuadrado, esa es la distancia Entonces para encontrar las distancias yo…
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 #1 · Palabras #1cuerpos 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 una inteligencia artificial llamada Claude mejoró una cota previamente establecida por otro matemático, superando incluso las expectativas de Erdős.
Habla: Francis VillatoroPalabras #19inteligencia 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…