Búsqueda · 34 momentos en 14 episodios
Luisa AchaerandioIgnacio CrespoBorja TosarFrancis VillatoroHéctor SocasGastón Giribetinteligencia artificial conecta conceptosaporte matemático no es originalexperto en dos ramas matemáticasInteligencia ArtificialMatemáticasFrancis VillatoroErdősGastón GiribetPlumTeorema de clasificación de idealesTimothy GowersOpenAIRedes socialesMatemáticosHéctor Socas
Aporte Matemático no es original
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
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.
…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…
Significado #1 · Palabras #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 VillatoroSignificado #9caso 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 el resultado generado por inteligencia artificial está siendo adoptado por matemáticos y utilizado en investigaciones ajenas a la conjetura original.
Habla: Francis VillatoroSignificado #16matemáticos usan resultado inteligencia artificialconjetura distancia aplicación idea iapremios erdos impacto metálico…invitados por OpenAI a ir allí y ver la demostración y estar con los otros matemáticos, él no es un experto en este tipo de temas y lo reconoce, pero bueno, se ha quedado alucinado de que los expertos se queden alucinados, porque la gente dice, pero ¿cómo? Es que eso se puede hacer. ¿Y qué está pasando con este resultado? Pues lo maravilloso de este resultado es que ahora todos los matemáticos que trabajan en eso dicen si es que esto se nos podía haber ocurrido a nosotros, lo están empezando a usar; están empezando a aparecer artículos que no tienen nada que ver con la conjetura de la distancia que están aplicando esta misma idea y es una buena idea de la inteligencia artificial, con lo que este es el primer resultado demostrado por la inteligencia artificial que está teniendo un impacto más allá de la chorrada de ganar 300 dólares por haber demostrado, porque este es uno de los premios de los premios de Erdos que tiene premio metálico. Entonces, se ha creado ahí un gran bombo mediático. Hay que poner un poco los pies, es decir, lo que ha hecho realmente la inteligencia artificial no es tan revolucionario, no es tan creativo. Pero si es verdad, algunos lo dicen, si lo hubiera hecho un…
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 #1 · Palabras #1inteligencia 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 #3matemá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 #10matemá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 #5matemá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…
Francis Villatoro y Héctor Socas comentan cómo varios matemáticos han admitido en redes sociales que buscaron contraejemplos, pero no los publicaron al no obtener resultados.
Habla: Francis VillatoroSignificado #20búsqueda de contraejemplos matemáticospublicación de búsquedas activastrabajo publicable descartar rangoredes sociales matemáticos…si esa búsqueda tiene algo de novedoso, claro. Si estás repitiendo cosas de hecho no hay supersimetría bajo tal energía también claro, exacto, exacto pero yo digo que cuesta mucho más trabajo, que es mucho más difícil, mucho menos atractivo entonces. Ahora parece que han salido, por redes sociales; ha habido 4 o 5 matemáticos han empezado a decir: nosotros sí estábamos buscando contraejemplos, lo intentamos pero claro, como no salió, pues no lo publicamos, ¿no? Como diciendo realmente búsquedas activas de contraejemplos publicadas no ha habido. Claro, pero es diferente porque tienes que, o sea, para que sea útil tu trabajo y publicable tiene que, o sea, para que sea útil para los demás, tiene que descartar algún cierto rango. Tienes que decir: hemos hecho esta búsqueda por este lado y ya por aquí no busquen porque aquí no está. Pero claro, si yo digo: me puse a mirar contraejemplos y no encontré ninguno; decir no encontrar ninguno no es útil. Tienes que expresarlo, tienes que poder presentarlo de alguna forma que puedas descartar algo, o sea, descartar es útil, yo creo; creo que ahí…