Búsqueda · 20 momentos en 14 episodios
Silvana TapiaJuan Carlos GilFrancis VillatoroHéctor SocasBorja TosarGastón Giribetinvestigador tomonori totani universidad tokiocosmología galaxias activas tomonori totanidatos misión gaia archivo públicoTomonori TotaniUniversidad de TokioGaiaPlanckArchivo de Datos PúblicosTerence TaoLintFrancis VillatoroJuan Carlos Gil
Kobayashi
Con
0:000:301:001:302:002:303:003:15
Héctor Socas introduce a Tomonori Totani, un investigador japonés de la Universidad de Tokio, destacando su nombre peculiar y su trayectoria en estudios de cosmología.
…grandes de Fermilat y la interpretación es delicada y va a requerir bastante más validación; o sea, que es un estudio interesante, revolucionario todavía no, va a haber que seguir profundizando en esto. El trabajo, como digo, lo firma un investigador que se Llama, a ver si lo digo bien: Tomonori Totani, que es japonés, como su propio nombre indica, de la Universidad de Tokio. La verdad es que el nombre es curioso, parece de un personaje, no sé, de Dragon Ball o algo así: Tomonori Totani y es un profesor de la Universidad de Tokio, un investigador con una carrera bastante asentada en estudios de cosmología, creo que también de galaxias activas y bueno, trabaja con el Archivo de Datos Públicos porque todas estas misiones, igual que Gaia, igual que Planck, pues los datos están en internet a disposición de quien quiera usarlos. Pero es un trabajo, insisto, de un único autor, lo cual está bien; no pasa nada, se puede. Yo también a veces tengo papers de un único autor, pero no hay que, bueno, quizás puede ser un primer paso, pero habrá que ver luego más validaciones de esto, porque en…
Significado #1
Héctor Socas introduce a Tomonori Totani, un investigador japonés de la Universidad de Tokio, destacando su nombre peculiar y su trayectoria en estudios de cosmología.
Habla: Héctor SocasSignificado #1investigador tomonori totani universidad tokiocosmología galaxias activas tomonori totanidatos misión gaia archivo público…grandes de Fermilat y la interpretación es delicada y va a requerir bastante más validación; o sea, que es un estudio interesante, revolucionario todavía no, va a haber que seguir profundizando en esto. El trabajo, como digo, lo firma un investigador que se Llama, a ver si lo digo bien: Tomonori Totani, que es japonés, como su propio nombre indica, de la Universidad de Tokio. La verdad es que el nombre es curioso, parece de un personaje, no sé, de Dragon Ball o algo así: Tomonori Totani y es un profesor de la Universidad de Tokio, un investigador con una carrera bastante asentada en estudios de cosmología, creo que también de galaxias activas y bueno, trabaja con el Archivo de Datos Públicos porque todas estas misiones, igual que Gaia, igual que Planck, pues los datos están en internet a disposición de quien quiera usarlos. Pero es un trabajo, insisto, de un único autor, lo cual está bien; no pasa nada, se puede. Yo también a veces tengo papers de un único autor, pero no hay que, bueno, quizás puede ser un primer paso, pero habrá que ver luego más validaciones de esto, porque en…
Juan Carlos Gil, tras una explicación sobre la digitalización de demostraciones matemáticas, aclara que Terence Tao está utilizando inteligencia artificial generativa para explorar código y menciona el uso de 'Lint', un metademostrador.
Habla: Juan Carlos GilSignificado #17terence tao inteligencia artificial generativalint demostrador más famosolenguaje formal cercano al humano…verdad solo si la máquina lo dice. Y para que la máquina lo diga, tú tienes que haber pasado todo lo que tú has dicho, todo lo que tú has escrito en papel, a la máquina. Pero déjame que lo vuelva a decir, que no sé si yo mismo lo he entendido bien, o sea, no. Es que Tao esté haciendo inteligencia artificial generativa, inventándose cosas, no; la herramienta le ayuda a explorar el código, ¿cómo se llama? Lint Lint, L-A-N, es el demostrador más famoso ahora mismo, y es un metademostrador. Te permite trabajar con un lenguaje bastante próximo al humano, pero es un lenguaje formal, ¿verdad? Si no me equivoco, Francis. Con lo cual, una vez que tienes la prueba, es equivalente a una prueba matemática tradicional con todos los símbolos matemáticos. Ahora mismo el factor es del orden de un factor de 10. Es decir, si en hojas de papel, a mano, a ti te ha cubierto, yo que sé,…