Búsqueda · 29 momentos en 23 episodios
Luisa AchaerandioIgnacio CrespoJuan Carlos GilJosé EdelsteinFrancis VillatoroHéctor SocasGastón Giribetdemostración andrew wiles curvas elípticasformalización demostración andrew wilesequipos investigación curvas elípticasinteligencias artificiales equipos investigaciónGastón GiribetAndrew WilesFrancis VillatoroNature
Equipos investigación curvas elípticas
Con
0:000:301:001:302:002:303:003:31
Francis Villatoro interrumpe la conversación para destacar la importancia de un impulso adicional, haciendo referencia a la demostración de Andrew Wiles y su formalización.
…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 #3
Francis Villatoro interrumpe la conversación para destacar la importancia de un impulso adicional, haciendo referencia a la demostración de Andrew Wiles y su formalización.
Habla: Francis VillatoroSignificado #1 · Palabras #3demostración andrew wiles curvas elípticasformalización demostración andrew wilesequipos investigación curvas elípticasinteligencias artificiales equipos investigación…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…