Búsqueda · 33 momentos en 25 episodios
Luisa AchaerandioIgnacio CrespoJuan Carlos GilJosé EdelsteinFrancis VillatoroHéctor SocasGastón Giribetpolemica clasificación fefferman problema milenioavances openai problema del milenionature comprobación adicional andrew wilesdemostración andrew wiles curvas elípticasformalización demostración andrew wilesequipos investigación curvas elípticasinteligencias artificiales equipos investigaciónOpenAIAndrew WilesNatureProblema del MilenioGastón GiribetFeffermanFrancis VillatoroGrigori PerelmanAndrew WeilPhil MedalEfecto Streisand
Nature comprobación adicional Andrew Wiles
Con
0:000:301:001:302:002:303:003:31
Gastón Giribet introduce la discusión hacia temas más mediáticos y comenta cómo la controversia ha sido clave para dar a conocer los avances en la resolución del problema del milenio.
…pronuncia Alpogé? Alpogé. Creo que sí, porque es de origen turco, Alpogé, con acento al final; lo estuve buscando por ahí. No sé si será correcta la información que tengo, pero por lo menos lo busqué. Sí, yo al turco no hablo, a pesar de mi cara, no tengo. Alpogé Iba a decir que si pasamos a la parte un poco... de prensa rosa. De prensa rosa, sí. Y todo el mundo ha oído hablar de esto por la polémica que ha habido; pues si no, nadie se habría enterado de nada de esto. Bueno, yo creo que hubiese sido igual en las noticias: hubiese salido que OpenAI resolvió esta versión del problema del milenio, esta versión de la clasificación de Pfefferman del problema del milenio. Igual hubiese estado en las noticias sin duda, porque ha estado en las noticias por cuestiones menos relevantes; por ejemplo, salió Nature por haber hecho una comprobación adicional de lo de Andrew Wiles, que nadie tiene duda de que hace 30 años que sabemos que está bien eso. Me parece que es muy importante, aún así un impulso adicional. Perdona, Gastón, un inciso sobre lo que se han hecho con Andrew Wiles. Con Andrew Wiles, la demostración de Andrew Wiles; no lo dispersemos más, por favor, que queda muy poquito tiempo. Formalizar la demostración de Andrew Wiles requiere no formalizar la demostración. Requiere formalizar todo el área de curvas elípticas es un trabajo de millones de líneas de código en línea; es un trabajo que habían emprendido varios equipos de investigación en el mundo en los últimos años y de repente se cuela las inteligencias artificiales y te Lo resuelven de un plumazo. Sí, sí, pero matemáticamente es mucho menos relevante que resolver el problema del milenio; quiero decir, y estuvo en las noticias hubiese estado igual en las noticias, lo uso como cota inferior. Ahora es cierto que, como dice…
Significado #1 · Palabras #2
Gastón Giribet continúa la discusión sobre la motivación detrás de la resolución de problemas matemáticos complejos, comparando la fama obtenida por Grigori Perelman con la de otros matemáticos reconocidos.
Habla: Gastón GiribetPalabras #17fama de grigori perelmanphil medal andrew weilefecto streisand perelman…te doy el doble, pero no le digo a nadie que fuiste vos, o no te doy la plata, pero te doy el crédito de haberlo hecho, no hay duda de que ninguna de estas personas, porque son personas que se dedicaron su vida a hacer algo que no les iba a dar mucha guita. Eso es importante también Sí, sí, pero bueno, pero no hay que elegir Bueno, hay que elegir para algunas personas Perelman es más famoso que cualquier otro matemático que haya ganado la Phil Medal Salmo, Salmo, Andrew Weil o alguno de esos Al final el tipo no pudo escapar de su fama, le sacan fotos todo el tiempo en el metro Se hizo un efecto Streisand, ¿no? ¿No se llamaba así? Bueno, pues adelante Francis, cuéntanos un poco. Quizás hay que aclarar un par de cositas de lo que ha dicho Gastón, que creo que son relevantes. En el problema del milenio se plantea el problema de valores iniciales de las ecuaciones de Navier Stokes. ¿Eso…
Gastón Giribet introduce la discusión hacia temas más mediáticos y comenta cómo la controversia ha sido clave para dar a conocer los avances en la resolución del problema del milenio.
Habla: Gastón GiribetSignificado #1 · Palabras #2polemica clasificación fefferman problema milenioavances openai problema del milenionature comprobación adicional andrew wilesdemostración andrew wiles curvas elípticasformalización demostración andrew wilesequipos investigación curvas elípticasinteligencias artificiales equipos investigación…pronuncia Alpogé? Alpogé. Creo que sí, porque es de origen turco, Alpogé, con acento al final; lo estuve buscando por ahí. No sé si será correcta la información que tengo, pero por lo menos lo busqué. Sí, yo al turco no hablo, a pesar de mi cara, no tengo. Alpogé Iba a decir que si pasamos a la parte un poco... de prensa rosa. De prensa rosa, sí. Y todo el mundo ha oído hablar de esto por la polémica que ha habido; pues si no, nadie se habría enterado de nada de esto. Bueno, yo creo que hubiese sido igual en las noticias: hubiese salido que OpenAI resolvió esta versión del problema del milenio, esta versión de la clasificación de Pfefferman del problema del milenio. Igual hubiese estado en las noticias sin duda, porque ha estado en las noticias por cuestiones menos relevantes; por ejemplo, salió Nature por haber hecho una comprobación adicional de lo de Andrew Wiles, que nadie tiene duda de que hace 30 años que sabemos que está bien eso. Me parece que es muy importante, aún así un impulso adicional. Perdona, Gastón, un inciso sobre lo que se han hecho con Andrew Wiles. Con Andrew Wiles, la demostración de Andrew Wiles; no lo dispersemos más, por favor, que queda muy poquito tiempo. Formalizar la demostración de Andrew Wiles requiere no formalizar la demostración. Requiere formalizar todo el área de curvas elípticas es un trabajo de millones de líneas de código en línea; es un trabajo que habían emprendido varios equipos de investigación en el mundo en los últimos años y de repente se cuela las inteligencias artificiales y te Lo resuelven de un plumazo. Sí, sí, pero matemáticamente es mucho menos relevante que resolver el problema del milenio; quiero decir, y estuvo en las noticias hubiese estado igual en las noticias, lo uso como cota inferior. Ahora es cierto que, como dice…