Búsqueda · 30 momentos en 17 episodios
Luisa AchaerandioIgnacio CrespoBorja TosarFrancis VillatoroHéctor SocasGastón Giribetconjetura de erdos inteligencia artificialcontraejemplo formal conjetura de riesteorema clasificación ideales expertosconjetura de Erdősconjetura de RiesFrancis VillatoroGeometría combinatoriaÁlgebraConjeturaErdősInteligencia Artificial
Conjetura de Ries
Con
0:000:301:001:302:002:302:57
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.
…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…
Significado #1 · Palabras #1
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 VillatoroPalabras #19conjetura 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 una conjetura matemática relacionada con el número de distancias unitarias entre puntos, sugiriendo que al aumentar el número de puntos tiende a un valor cercano a uno.
Habla: Francis VillatoroPalabras #12distancias unitarias puntos n infinitoconjetura matemática número de distanciasvalor cercano a uno villatoron elevado a 1 epsilon ceroconjetura de erdős número distancias unitariaserdős exponente logaritmo del logaritmo nfrancis villatoro conjetura de erdős…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 de puntos, ¿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 explica cómo la creencia generalizada en la veracidad de una conjetura matemática puede sesgar la investigación, dificultando tanto demostrarla si es verdadera como refutarla si es falsa.
Habla: Francis VillatoroPalabras #14conjetura matemática sesga investigacióncomunidad cree en conjetura verdaderademostrar conjetura falsa es imposibleinteligencia artificial resuelve problema matemático…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 #10problema 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 #1 · Palabras #1conjetura de erdos inteligencia artificialcontraejemplo formal conjetura de riesteorema clasificación ideales expertos…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…