Búsqueda · 17 momentos en 11 episodios
Mastodon
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro describe cómo Terence Tao está utilizando herramientas avanzadas de inteligencia artificial proporcionadas por Google DeepMind para generar y publicar demostraciones matemáticas complejas, compartiendo públicamente sus resultados en Mastodon.
…¿vale? Con dos cojones. Ahora mismo, Google DeepMind está financiando a Tao, que Tao use las herramientas de interés artificial más avanzadas del mundo, que no están disponibles para nadie más que para él, porque está cogiendo el state of the art y los que Están publicando lo van a publicar en Nature, a lo grande, y está pasando demostraciones extremadamente complicadas a este tipo de herramientas de manera muy rápida. Habla en Mastodon, él está publicitando toda esta línea que está trabajando ahora, que son cosas de los últimos meses. Está vendiendo los resultados de manera absolutamente increíble, te pone todo el chateo con la inteligencia artificial. Te lo publica junto con el código. Lean y la demostración de que todo ha funcionado. Pero ojo, que eso es un código de un lenguaje que han desarrollado para hacer pruebas formales. Claro, es para demostrar que una demostración es correcta. El otro tipo de pruebas tradicionales matemáticas, de…
Significado #1 · Palabras #2
Francis Villatoro describe cómo Terence Tao está utilizando herramientas avanzadas de inteligencia artificial proporcionadas por Google DeepMind para generar y publicar demostraciones matemáticas complejas, compartiendo públicamente sus resultados en Mastodon.
Habla: Francis VillatoroSignificado #1 · Palabras #2terence tao google deepmind demostracionespublicación nature herramientas inteligencia artificialresultados matemáticos mastodon taointeligencia artificial chateo código…¿vale? Con dos cojones. Ahora mismo, Google DeepMind está financiando a Tao, que Tao use las herramientas de interés artificial más avanzadas del mundo, que no están disponibles para nadie más que para él, porque está cogiendo el state of the art y los que Están publicando lo van a publicar en Nature, a lo grande, y está pasando demostraciones extremadamente complicadas a este tipo de herramientas de manera muy rápida. Habla en Mastodon, él está publicitando toda esta línea que está trabajando ahora, que son cosas de los últimos meses. Está vendiendo los resultados de manera absolutamente increíble, te pone todo el chateo con la inteligencia artificial. Te lo publica junto con el código. Lean y la demostración de que todo ha funcionado. Pero ojo, que eso es un código de un lenguaje que han desarrollado para hacer pruebas formales. Claro, es para demostrar que una demostración es correcta. El otro tipo de pruebas tradicionales matemáticas, de…