Búsqueda · 28 momentos en 13 episodios
Luisa AchaerandioIgnacio CrespoBorja TosarFrancis VillatoroHéctor SocasGastón Giribetproblema erdich desde 1946resultados previos matemáticos openaiplum experto en el problemademostración humana plumOpenAIErdichPlumIA (Inteligencia Artificial)Francis VillatoroErdősAnnals of Mathematics
Demostración humana plum
Ep560: OVNIs; Cetáceos; Sag A*; IA en Matemáticas; Arqueoastronomía Solar
28 de mayo de 20263 momentos
Con
0:000:301:001:302:002:302:57
Gastón Giribet se refiere a un trabajo realizado por OpenAI y explica que está basado en resultados previos de matemáticos desde 1946, cuando Erdich presentó un problema con una posible solución.
…á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.…
Significado #1 · Palabras #1
Francis Villatoro explica que la demostración original generada por la inteligencia artificial es diferente a la versión publicada en el artículo, siendo esta última modificada para ser más comprensible.
Habla: Francis VillatoroSignificado #4demostración original de inteligencia artificialartículo modificado por humanos comprensible…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á tocada por humanos para que sea humanizado, para que sea comprensible, porque utiliza un lenguaje que en algunos puntos, por ejemplo, la inteligencia artificial lo deja todo en el aire. Dice: existe un valor épsilon positivo que se suma al exponente y que cumple esta condición, pero no nos dice cuál, ¿vale? Entonces el trabajo humano, claro, OpenAI, esto lo hicieron informáticos que están en OpenAI, no tienen ni idea de lo que están haciendo, entonces llamaron a matemáticos muy famosos, los matemáticos que trabajan en este tipo de problemas son algunos muy…
Francis Villatoro describe cómo un problema resuelto por una IA se ha convertido en el más famoso hasta la fecha, pero enfatiza que la demostración comprensible para humanos ocupa solo una página y media.
Habla: Francis VillatoroSignificado #15ia resuelve problema más famosodemostración humana ocupa media páginaannals of mathematics artículo excepcionalinteligencia artificial construye matemáticas…que refute, a ver si me refuta alguno, ¿vale? Que la inteligencia cuando le dice que demuestre, piense también o tenga en cuenta también la posibilidad de refutar, aunque ha habido algunas refutaciones. Entonces ya os digo, estamos en un momento muy curioso. Muy interesante, este es un problema que ahora mismo es el problema más importante que ha resuelto una IA, el más famoso; pero repito, repito, la demostración escrita bonita por humanos para que se entienda es una página y media, ¿vale? O sea, que estamos todavía hablando de demostraciones que no tienen nada que ver con el artículo típico en Annals of Mathematics. Busca artículos en Annals of Mathematics en los últimos 20 años que tengan una 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?…
Gastón Giribet se refiere a un trabajo realizado por OpenAI y explica que está basado en resultados previos de matemáticos desde 1946, cuando Erdich presentó un problema con una posible solución.
Habla: Gastón GiribetSignificado #1 · Palabras #1problema erdich desde 1946resultados previos matemáticos openaiplum experto en el problemademostración humana plum…á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.…