Búsqueda · 37 momentos en 28 episodios
Luisa AchaerandioIgnacio CrespoBorja TosarFrancis VillatoroHéctor SocasGastón Giribetproblema geométrico formulación algebraicaconjetura imposible de demostrarfracaso de líneas de ataqueartículos geometría combinatoriaGeometría combinatoriaÁlgebraConjeturaFrancis Villatoro
Fracaso de líneas de ataque
Ep560: OVNIs; Cetáceos; Sag A*; IA en Matemáticas; Arqueoastronomía Solar
28 de mayo de 20261 momento
Con
0:000:301:001:302:002:302:57
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.
…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…
Significado #1 · Palabras #1
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 #1 · Palabras #1problema 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…