Búsqueda · 36 momentos en 18 episodios
Luisa AchaerandioIgnacio CrespoBorja TosarFrancis VillatoroHéctor SocasGastón Giribetproblema erdich desde 1946resultados previos matemáticos openaiplum experto en el problemademostración humana plummatemáticas humanas resolución problemascimientos matemáticos previos 1946resolución matemática construida sobre cimientosGastón GiribetPlumOpenAIErdichErdősFrancis VillatoroTeorema de clasificación de idealesEulerRaíz cuadrada de 2Claude
Cimientos Matemáticos previos 1946
Ep560: OVNIs; Cetáceos; Sag A*; IA en Matemáticas; Arqueoastronomía Solar
28 de mayo de 20267 momentos
Con
0:000:301:001:302:002:302:57
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.
…ámbito. Entonces hay que primero poner paños fríos a pesar de no tener una visión necesariamente conservadora. Estos son herramientas útiles y cada vez los serán más. Ahora hay que poner este filtro porque son un poco grandilocuentes acerca de las noticias. La segunda observación es esto que decía Francis antes: que el trabajo realizado por este modelo de OpenAI está basado en un montón de resultados previos de matemáticos que desde 1946, momento en el que Erdich presentó el problema y conjeturó una posible solución, o al menos paramétricamente el orden de magnitud 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…
Significado #1 · Palabras #1
Francis Villatoro explica la importancia de un ejemplo específico propuesto por Erdős en 1946, destacando su resistencia a mejoras a pesar de los intentos de modificación.
Habla: Francis VillatoroPalabras #3ejemplo erdős resistencia a mejorasdistribución puntos artículo erdős 1946orden asintótico erdős logaritmo n…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 pueden construir cuerpos matemáticos utilizando pares, tríos o tuplas de números racionales, haciendo referencia a trabajos anteriores de Euler.
Habla: Francis VillatoroSignificado #12cuerpos matemáticos con números racionaleseuler y cuerpos de números algebraicosraíz cuadrada de 2 en cuerposnúmeros primos relativos entre sí…divido me salgo fuera de los enteros. Pero los racionales, que son cocientes de enteros, forman un cuerpo. Yo puedo dividirlo, obviamente no puedo dividir por cero, pero salvo dividir por cero, yo puedo sumar, restar, multiplicar y dividir números racionales. Una cosa que yo puedo hacer para construir un cuerpo es considerar pares o tríos o tuplas con varios números racionales, por ejemplo, los cuerpos de números algebraicos que ya introdujo en su momento Euler hace siglos Las parejitas, por ejemplo, x más y por la raíz cuadrada de 2. Esos números, si x y y son racionales, forman un cuerpo. Y yo puedo utilizar, por ejemplo, raíces cuadradas de números primos. yo puedo tomar, pongamos cuatro números primos, 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.…
Francis Villatoro describe cómo un caso específico no había sido considerado previamente, generando sorpresa e incredulidad entre los matemáticos del área.
Habla: Francis VillatoroPalabras #10caso no considerado por matemáticosfigura de erdős deslumbrando a matemáticosmatemáticos del área sorprendidos…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 qué la figura de Erdős nos ha deslumbrado y nos ha impedido ver lo que teníamos delante de la nariz? Es que el trabajo que ha hecho la IA, que es una demostración extremadamente corta, depende de cómo la escribas; la verdad es que la demostración que realmente ha generado esta inteligencia artificial no es la que vemos publicada en el artículo, que está…
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 VillatoroSignificado #18 · Palabras #16inteligencia 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…
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 #11matemá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 reflexiona sobre cómo los matemáticos se han visto sorprendidos por la capacidad de las máquinas para resolver problemas, señalando que una metodología existente desde 2012 no había sido aprovechada.
Habla: Francis VillatoroSignificado #6matemáticos sorprendidos por máquinasmetodología desde 2012 no aprovechadateorema del 65 para nueva metodologíaimpacto enorme en la matemática…no era una enana marrón, sino que era una enana amarronada. Y ahora resulta que lo dices y de repente empiezas a decirlo y todo el mundo ve enanas amarronadas por todos lados. Y ya tenemos ahí las familias de las marrones y las amarronadas. Algo parecido. O sea, no es una cosa realmente revolucionaria que tú digas qué creatividad tiene la máquina, pero sí es una cosa que a los matemáticos les ha dicho: tontos somos, es que somos idiotas. O sea, lo teníamos delante 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…
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 #1 · Palabras #1problema erdich desde 1946resultados previos matemáticos openaiplum experto en el problemademostración humana plummatemáticas humanas resolución problemascimientos matemáticos previos 1946resolución matemática construida sobre cimientos…ámbito. Entonces hay que primero poner paños fríos a pesar de no tener una visión necesariamente conservadora. Estos son herramientas útiles y cada vez los serán más. Ahora hay que poner este filtro porque son un poco grandilocuentes acerca de las noticias. La segunda observación es esto que decía Francis antes: que el trabajo realizado por este modelo de OpenAI está basado en un montón de resultados previos de matemáticos que desde 1946, momento en el que Erdich presentó el problema y conjeturó una posible solución, o al menos paramétricamente el orden de magnitud 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…