Búsqueda · 25 momentos en 16 episodios
Daniel MarínLuisa AchaerandioJuan Carlos GilFrancis VillatoroHéctor SocasGastón Giribetalpha proof de deepmindcolaboración deepmind terence taointeligencias artificiales deepminddemostraciones alpha proof gptAlpha ProofDeepMindTerence TaoGPTGemini
Inteligencias Artificiales DeepMind
Con
0:000:301:001:302:002:303:003:15
Francis Villatoro menciona Alpha Proof, una herramienta de DeepMind para resolver problemas matemáticos, destacando la colaboración entre DeepMind y Terence Tao.
…claro, es un lenguaje que tienes que conocer, si no lo conoces no te enteras empieza definiendo lo que cabría esperar, sea un anillo, que tiene adición, que tiene multiplicación y cuando quieres ver algo relacionado con un triángulo han pasado tres páginas ya Vale, pues muy bien y eso, en este contexto también se puede mencionar Alpha Proof; Alpha Proof es el de DeepMind. DeepMind también está atacando muchos problemas matemáticos y DeepMind cuenta con la ventaja de que Terence Tao está colaborando con ellos. A Terence Tao le dan acceso a las últimas inteligencias artificiales de DeepMind, de este Alpha Proof en las últimas versiones, que es mucho más poderoso y mucho más específico para demostraciones que los GPT, por ejemplo, de PNI o Gemini y compañía; y bueno, seguramente de esa colaboración saldrá algún resultado interesante. El Territau este está muy fascinado por lo que está viendo, pero otra cosa es a ver hasta dónde llega eso. Pero bueno, va a haber sorpresas con seguridad en este año. Pero eso, pasar del problema este de Erdos a Navier Stock, que es como el otro que se ha lanzado a la piscina, o P frente a NP, o hipótesis de Riemann, bueno pues no sé si lo veremos. No, con la intensidad artificial ahora mismo no, pero no se sabe lo que va…
Significado #1 · Palabras #1
Francis Villatoro menciona Alpha Proof, una herramienta de DeepMind para resolver problemas matemáticos, destacando la colaboración entre DeepMind y Terence Tao.
Habla: Francis VillatoroSignificado #1 · Palabras #1alpha proof de deepmindcolaboración deepmind terence taointeligencias artificiales deepminddemostraciones alpha proof gpt…claro, es un lenguaje que tienes que conocer, si no lo conoces no te enteras empieza definiendo lo que cabría esperar, sea un anillo, que tiene adición, que tiene multiplicación y cuando quieres ver algo relacionado con un triángulo han pasado tres páginas ya Vale, pues muy bien y eso, en este contexto también se puede mencionar Alpha Proof; Alpha Proof es el de DeepMind. DeepMind también está atacando muchos problemas matemáticos y DeepMind cuenta con la ventaja de que Terence Tao está colaborando con ellos. A Terence Tao le dan acceso a las últimas inteligencias artificiales de DeepMind, de este Alpha Proof en las últimas versiones, que es mucho más poderoso y mucho más específico para demostraciones que los GPT, por ejemplo, de PNI o Gemini y compañía; y bueno, seguramente de esa colaboración saldrá algún resultado interesante. El Territau este está muy fascinado por lo que está viendo, pero otra cosa es a ver hasta dónde llega eso. Pero bueno, va a haber sorpresas con seguridad en este año. Pero eso, pasar del problema este de Erdos a Navier Stock, que es como el otro que se ha lanzado a la piscina, o P frente a NP, o hipótesis de Riemann, bueno pues no sé si lo veremos. No, con la intensidad artificial ahora mismo no, pero no se sabe lo que va…