Búsqueda · 33 momentos en 20 episodios
Luisa AchaerandioIgnacio CrespoBorja TosarFrancis VillatoroHéctor SocasGastón Giribetcuerpos adecuados altas dimensionesproyección divulgativa confusiónteoremas descomposición del cuerpodistancias unitarias explicación rozointeligencia artificial cuerpos matemáticosperturbación de puntos y fijación cuerpoataque a la demostración resultado iaHéctor SocasInteligencia ArtificialFrancis VillatoroOpenAIGPT 5.6 ProCuanta MagazineRiesx² + y² = 1
Perturbación de puntos y fijación cuerpo
Ep560: OVNIs; Cetáceos; Sag A*; IA en Matemáticas; Arqueoastronomía Solar
28 de mayo de 20264 momentos
Con
0:000:301:001:302:002:302:57
Francis Villatoro explica cómo la inteligencia artificial ha abordado un problema relacionado con la perturbación de puntos y la fijación de cuerpos matemáticos.
…yo no sé, ¿para qué me lo dieron? Pero no me lo dieron, después lo quitaron, porque no se sabía ni para quién lo estaban dando, era por el tema de la escuela burbu aquí, que influyó en la educación en España, en Francia y varios países. Bueno, en resumen, hay Una manera de metiendo cuerpos adecuados, asociados a esos puntos, que en Cuanta Magazine, por ejemplo, han dicho que es como extenderlo a altas dimensiones y después hace una proyección para lenguaje divulgativo que no te aporta nada y solo te confunde. Pero básicamente eso, hay unos teoremas que te permiten descomponer el cuerpo en ideales y hay un cierto tipo de ideal que es el que te cuenta, básicamente es equivalente a contar las distancias unitarias, rozo modo, esa es la explicación. Bueno, pues la mayor parte de los ataques en esa línea eran ataques de tipo: cojo el ejemplo de Ries, que al que hoy en día tendríamos que llamarle contraejemplo, pero que siempre aparece como ejemplo. Modifico, perturbo los puntos y fijo, pero fijo el cuerpo. Yo fijo un único cuerpo y perturbo los puntos. Y ese ataque no permitía demostrar el resultado. ¿Qué ha hecho la inteligencia artificial? Yo me escucho con eco, pero no sé si son tus altavoces, Héctor, o por qué me escucho con eco. Sí, escucho un poquito de eco yo también. pero bueno, espero que no moleste después en el podcast. ¿Qué ha hecho la inteligencia artificial? La inteligencia artificial que ha hecho esto es una inteligencia artificial generalista, interna de OpenAI; es decir, literalmente lo que será el GPT 5.6. Ahora mismo está el 5.5, lo que será el 5.6 Pro, no lo han dicho oficialmente, pero porque está en…
Significado #1 · Palabras #1
Francis Villatoro explica cómo el uso de cuerpos matemáticos permite obtener múltiples soluciones a una ecuación y aprovechar propiedades algebraicas para estimar la cantidad de soluciones.
Habla: Francis VillatoroPalabras #20multiplicidad de soluciones cuerpos matemáticospropiedades algebraicas cuerposestimación cantidad de soluciones…yo estoy usando la multiplicación compleja que utilizo con la unidad imaginaria, pero no la estoy usando con la unidad imaginaria; la estoy usando con una expresión irracional como puede ser la raíz cuadrada de 3 o como puede ser la raíz cuadrada de 21. entonces, usando ese tipo de cuerpos lo que se observa es que yo tengo una multiplicidad de soluciones de la ecuación x al cuadrado más y al cuadrado igual a 1, y esa multiplicidad de soluciones me permite aprovechar propiedades 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…
Francis Villatoro continúa explicando cómo un trabajo clave de 2011 y 2012 combinó la inteligencia artificial con una estructura algebraica para extender puntos en el plano y convertirlos en objetos abstractos dentro de cuerpos.
Habla: Francis VillatoroPalabras #14inteligencia artificial estructura algebraicacuerpos factorización en idealestrabajo clave 2011 2012 francis villatoro…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 estructura algebraica que extiende los puntos que están en el plano y los convierte en una especie de objetos abstractos que se encuentran en un cuerpo. Estos cuerpos se pueden factorizar en ideales y se puede Hacer que haya unos ideales que representen, entre comillas, el número de distancias unitarias que tengo en mi problema. Entonces, puedo utilizar teoremas que me cuentan cuántos elementos tienen los ideales, que no necesariamente son principales; muchos de…
Francis Villatoro explica cómo la inteligencia artificial ha abordado un problema relacionado con la perturbación de puntos y la fijación de cuerpos matemáticos.
Habla: Francis VillatoroSignificado #1 · Palabras #1cuerpos adecuados altas dimensionesproyección divulgativa confusiónteoremas descomposición del cuerpodistancias unitarias explicación rozointeligencia artificial cuerpos matemáticosperturbación de puntos y fijación cuerpoataque a la demostración resultado ia…yo no sé, ¿para qué me lo dieron? Pero no me lo dieron, después lo quitaron, porque no se sabía ni para quién lo estaban dando, era por el tema de la escuela burbu aquí, que influyó en la educación en España, en Francia y varios países. Bueno, en resumen, hay Una manera de metiendo cuerpos adecuados, asociados a esos puntos, que en Cuanta Magazine, por ejemplo, han dicho que es como extenderlo a altas dimensiones y después hace una proyección para lenguaje divulgativo que no te aporta nada y solo te confunde. Pero básicamente eso, hay unos teoremas que te permiten descomponer el cuerpo en ideales y hay un cierto tipo de ideal que es el que te cuenta, básicamente es equivalente a contar las distancias unitarias, rozo modo, esa es la explicación. Bueno, pues la mayor parte de los ataques en esa línea eran ataques de tipo: cojo el ejemplo de Ries, que al que hoy en día tendríamos que llamarle contraejemplo, pero que siempre aparece como ejemplo. Modifico, perturbo los puntos y fijo, pero fijo el cuerpo. Yo fijo un único cuerpo y perturbo los puntos. Y ese ataque no permitía demostrar el resultado. ¿Qué ha hecho la inteligencia artificial? Yo me escucho con eco, pero no sé si son tus altavoces, Héctor, o por qué me escucho con eco. Sí, escucho un poquito de eco yo también. pero bueno, espero que no moleste después en el podcast. ¿Qué ha hecho la inteligencia artificial? La inteligencia artificial que ha hecho esto es una inteligencia artificial generalista, interna de OpenAI; es decir, literalmente lo que será el GPT 5.6. Ahora mismo está el 5.5, lo que será el 5.6 Pro, no lo han dicho oficialmente, pero porque está en…
Francis Villatoro explica cómo la inteligencia artificial ha sorprendido a los matemáticos al ofrecer una solución a un problema específico.
Habla: Francis VillatoroPalabras #3inteligencia artificial sorprende matemáticosgeometría combinatoria álgebra de cuerposproblema específico técnica inteligencia artificialartículos famosos publicados líneainteligencia artificial sorprende a matemáticosteoremas propiedades descomposiciones cuerposperturbación de cuerpos unidades…que tienen ahora; cuando lo saquen, no sé, lo sacarán en un mes o tres meses o cuatro meses; harán algo mejor, pero esto es lo que en el futuro será el 5.6 Pro. Lo han aplicado a este problema, pero de hecho lo han aplicado a todos los formas de disk, ¿vale? Y en este programa en concreto la inteligencia artificial ha ofrecido una solución que ha dejado alucinados a todos los matemáticos. En lugar de utilizar el camino que los pocos matemáticos que estaban trabajando con este tipo de técnica, porque recuerdo, hay que ser experto en geometría combinatoria y hay que ser experto en álgebra de cuerpos, que eso no todo el mundo lo es, pero los que han usado estas herramientas, que hay varios artículos famosos publicados en esa línea, habían atacado el problema desde el punto de vista perturbo los puntos y fijo el cuerpo y lo que se Le ocurre de manera sorprendente a la inteligencia artificial es hacer lo contrario. Hay teoremas que me hablan de las propiedades de las descomposiciones de cuerpos de forma genérica y yo puedo perturbar los cuerpos, no considerar cuerpos cuyas unidades. Yo os he contado el caso de creo que era 3, 5, 15, 21. Pues imaginar cuerpos que tienen ese elemento de base, pues Un número muy grande. Pero no solo un número muy grande, sino que esos números son muy grandes. Son números enormes. 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…