Búsqueda · 33 momentos en 18 episodios
Luisa AchaerandioIgnacio CrespoBorja TosarFrancis VillatoroHéctor SocasGastón Giribetmatemático usa inteligencia artificialherramientas facilitan manejo constructos matemáticosFrancis VillatoroInteligencia ArtificialMatemáticasErdősOpenAIGPT 5.6Gastón GiribetPlumx al cuadrado más y cuadrado igual a 1GPT 5.6 Prox² + y² = 1
Herramientas facilitan manejo constructos Matemáticos
Con
0:000:301:001:302:002:302:57
Francis Villatoro explica que la labor actual del matemático consiste en utilizar herramientas de inteligencia artificial para construir matemáticas, siendo el matemático quien crea y la herramienta quien facilita el manejo de esos constructos.
…página y media. O sea, es muy difícil encontrar alguno; son cosas súper excepcionales. O sea, esto es una cosa, son pepitas de oro. Es decir, ahora mismo la inteligencia artificial, el gran problema que tienen es que no son capaces de construir matemáticas. Solo saben usar matemáticas y eso es un punto muy importante porque la labor ahora del matemático es usar estas herramientas para construir matemáticas pero es el matemático el que construye y la herramienta es la que le ayuda a manejar esos constructos. ¿No? De las grandes demostraciones de la matemática, ahora hay gente ahí diciendo que se va a poder demostrar yo que Sé, la hipótesis de Rian, ¿de qué estamos hablando? No, no, no, eso no tiene ningún sentido. O el problema P igual a NP, Scott Aronson, el famoso experto en complejidades cuánticos, hablando de que ya podrán atacar P distintos de NP, pero ¿qué estás hablando?…
Significado #1 · Palabras #1
Francis Villatoro explica cómo la construcción de cuerpos matemáticos permite obtener múltiples soluciones a la ecuación x² + y² = 1, contrastando con las dos soluciones existentes en los números racionales y reales.
Habla: Francis VillatoroSignificado #10cuerpos matemáticos soluciones ecuaciónsoluciones racionales reales limitadafrancis villatoro cuerpos matemáticos…el 3, el 5, vamos a poner un número que sea mi primo, el 15 y el 21, tomo estos cuatro números que son primos relativos entre sí y puedo construir los números A más B por la raíz cuadrada de 3 más C por la raíz cuadrada de 5 más D por la raíz cuadrada del 15 más E por la raíz cuadrada del 21, ¿vale? Si son los mismos cuatro números que yo dije. Este tipo de construcción nos permite obtener un cuerpo en el que yo puedo trabajar teniendo muchas soluciones de la ecuación x al cuadrado más y cuadrado igual a 1. Porque esa creación en los racionales y en los reales tiene solamente dos soluciones, el 1 y el menos 1. El 1 y el menos 1 elevado al cuadrado me da 1 y son dos soluciones. Pero en un cuerpo Así extendido, estos cuerpos se llaman cuerpos CM. Se refiere básicamente a una especie de complexificación por multiplicación. Es decir, yo estoy usando la multiplicación compleja que utilizo con la unidad imaginaria, pero no la estoy usando con la unidad…
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 VillatoroSignificado #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 explica cómo la inteligencia artificial ha sorprendido a los matemáticos al ofrecer una solución a un problema específico.
Habla: Francis VillatoroSignificado #19inteligencia artificial sorprende matemáticosgeometría combinatoria álgebra de cuerposproblema específico técnica inteligencia artificialartículos famosos publicados línea…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…
Francis Villatoro explica que una nueva herramienta para resolver problemas matemáticos no es un aporte matemático original, sino más bien una conexión entre conceptos ya existentes.
Habla: Francis VillatoroSignificado #6 · Palabras #4inteligencia artificial conecta conceptosaporte matemático no es originalexperto en dos ramas matemáticas…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 narices y ponerlas juntas. Y decir, señores, que a nadie se le había ocurrido esta tontería. O esta tontería o esta cosa tan difícil, ¿vale? Porque hay que ser experto en ambas cosas, ¿vale? Hay que ser experto en dos ramas de la matemática y hay muy pocas personas que sean expertos en ambas, ¿eh? Entonces, bueno, eso ha generado, yo os digo, un eco mediático tremendo y hay gente ya hablando de que esto va a revolucionar la matemática y no sé cuánto, no sé qué. Una vez que se publicó el resultado de esta IA interna de OpenAI, la gente que utiliza GPT…
Francis Villatoro explica que la labor actual del matemático consiste en utilizar herramientas de inteligencia artificial para construir matemáticas, siendo el matemático quien crea y la herramienta quien facilita el manejo de esos constructos.
Habla: Francis VillatoroSignificado #1 · Palabras #1matemático usa inteligencia artificialherramientas facilitan manejo constructos matemáticos…página y media. O sea, es muy difícil encontrar alguno; son cosas súper excepcionales. O sea, esto es una cosa, son pepitas de oro. Es decir, ahora mismo la inteligencia artificial, el gran problema que tienen es que no son capaces de construir matemáticas. Solo saben usar matemáticas y eso es un punto muy importante porque la labor ahora del matemático es usar estas herramientas para construir matemáticas pero es el matemático el que construye y la herramienta es la que le ayuda a manejar esos constructos. ¿No? De las grandes demostraciones de la matemática, ahora hay gente ahí diciendo que se va a poder demostrar yo que Sé, la hipótesis de Rian, ¿de qué estamos hablando? No, no, no, eso no tiene ningún sentido. O el problema P igual a NP, Scott Aronson, el famoso experto en complejidades cuánticos, hablando de que ya podrán atacar P distintos de NP, pero ¿qué estás hablando?…
Francis Villatoro comenta sobre el impacto de OpenAI en el mundo de las matemáticas, destacando su valoración millonaria y promocionando el próximo GPT 5.6 como una herramienta esencial para los matemáticos.
Habla: Francis VillatoroPalabras #6openai valoración millonariagpt 5 6 herramienta para matemáticosfrancis villatoro openai…de las narices, por lo menos desde 2012, ha estado ahí delante de las narices; usar un teorema del 65 para hacer una nueva metodología para demostrar este tipo de cosas y nadie la había aprovechado. O sea, pero bueno, ha tenido un impacto enorme. O sea, en redes, OpenAI está, que se sale, de estas de las mil millonarias, ¿no? Se estima que está por encima de los 3.000 millones de valoración y alguna gente le habla de casi 800.000 millones de valoración. OpenAI está, ¿qué se sale? O sea, OpenAI está vendiendo que el próximo GPT 5 .6 va a ser la herramienta que todo matemático necesita. Matemático que ahora mismo me esté escuchando y no esté pagando los 200 euros, es que no es un matemático de pro. ¿Puedo hacer unas aclaraciones? No es el problema, literal. Sí, yo te iba a pedir, Gastón, que nos dieras tu opinión, que tú también has estado siguiendo este tema con bastante acribia. Sí, Francis me corregirá. Estoy de acuerdo, creo, con todo lo que dijo.…
Gastón Giribet aclara que la solución de un problema matemático reciente no se basa en los conocimientos matemáticos existentes desde 1946, sino que se construyó sobre trabajos previos realizados por matemáticos humanos.
Habla: Gastón GiribetSignificado #9matemáticas humanas resolución problemascimientos matemáticos previos 1946resolución matemática construida sobre cimientos…de esa solución desde ahí hasta ahora hubo un montón de resultados, de un montón de gente; había expertos en este problema. Uno de los que escribió este paper, que es la versión humana de esta demostración, que es Plum, es uno de ellos, pero hay muchos más. 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…