4 episodios
02:44:57Habla: Gastón Giribet
↗
0:000:301:001:302:002:303:003:31

Gastón Giribet comenta sobre su dificultad para entender una demostración matemática y relata haber leído tres trabajos recientes publicados por Tristan, Breakmaster y Alpogé.

…bueno, bueno; pero esto no lo ha hecho ningún humano, lo ha hecho una máquina. Luego, la máquina es creativa, pero yo quiero ver una chispa, quiero ver algo que me deslumbre y no lo veo, no lo veo. Yo no entendí nada de los detalles de la demostración. O sea, es verdad que al principio se entiende y luego me costó mucho ni siquiera entender el lenguaje. Lo que sí leí son los tres trabajos que el 8 de septiembre, hace dos días, bueno, Tristan y su colaborador publicaron: Breakmaster y Alpogé, Alpogé y... ¿Se 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…
Significado #1 · Palabras #1