Búsqueda · 15 momentos en 9 episodios
Luisa AchaerandioIsabel CorderoJuan Carlos GilIgnacio CrespoFrancis VillatoroHéctor SocasGastón Giribetalphatensor optimiza multiplicación matricesalphadev mejora ordenación lista calgoritmo alphadev librería estándar calpha proof combina inteligencia artificialalpha evolve optimiza distribución mercancías googledeepmind prueba teoremas lenguaje formalgoogle utiliza sistemas deepmind centros datosDeepMindAlphaTensorAlphadevAlpha ProofAlpha EvolveGoogle
AlphaTensor
Con
0:000:301:001:302:002:303:003:20
Juan Carlos Gil continúa describiendo las aplicaciones de DeepMind, mencionando AlphaTensor y Alphadev como ejemplos de sistemas que optimizan algoritmos computacionales.
…lugar de resolver las ecuaciones de la atmósfera con enormes supercomputadores y simulaciones es capaz de aprender sus dinámicas a partir de datos previos, tabulados desde hace cientos de años y usar esos datos para hacer previsiones meteorológicas a futuro. No solo eso, ya puestos DeepMind han atacado a muchísimos otros dominios; por ejemplo, a AlphaTensor, que fue capaz de descubrir algoritmos más eficientes, en particular para multiplicar matrices, también lo comentábamos. Por ejemplo, el caso de la matriz de 4x4 redujo a 47 multiplicaciones desde las 49 que tenía el mejor algoritmo humano previo, o Alphadev, otro de estos sistemas que optimizó algoritmos computacionales básicos como los de la ordenación de una lista desordenada de tal forma que se han incorporado a la librería estándar de C++; más, una librería que en el módulo de ordenación por lo visto no se tocaba desde hacía 10 años. Estaba todo resuelto hasta que la mejoró ligeramente AlphaDev con un algoritmo que para listas cortas es un 70% más eficaz en CPUs modernas que los mejores conocidos. Algunos otros más recientes como Alpha Proof y Alpha Evolve que combinan distintos sistemas de inteligencia artificial, no uno solo, incluyendo no solo los que he comentado antes sino también modelos de lenguaje son capaces de probar teoremas mediante lenguaje formal y también son capaces de optimizar problemas prácticos de distribución de mercancías, de cosas así, que está utilizando la misma Google, dueño de DeepMind, para sus propios centros de datos. y todavía más recentemente DeepMind tiene otra línea de investigación centrada En lo que ellos llaman razonamiento y descubrimiento con sistemas como AI Ecoscientist y Gemini 3, el módulo que llaman de DeepThink, pensamiento profundo, que no se centran ya solamente en explorar el espacio de soluciones de un problema concreto, sino que…
Significado #1 · Palabras #1
Juan Carlos Gil continúa describiendo las aplicaciones de DeepMind, mencionando AlphaTensor y Alphadev como ejemplos de sistemas que optimizan algoritmos computacionales.
Habla: Juan Carlos GilSignificado #1 · Palabras #1alphatensor optimiza multiplicación matricesalphadev mejora ordenación lista calgoritmo alphadev librería estándar calpha proof combina inteligencia artificialalpha evolve optimiza distribución mercancías googledeepmind prueba teoremas lenguaje formalgoogle utiliza sistemas deepmind centros datos…lugar de resolver las ecuaciones de la atmósfera con enormes supercomputadores y simulaciones es capaz de aprender sus dinámicas a partir de datos previos, tabulados desde hace cientos de años y usar esos datos para hacer previsiones meteorológicas a futuro. No solo eso, ya puestos DeepMind han atacado a muchísimos otros dominios; por ejemplo, a AlphaTensor, que fue capaz de descubrir algoritmos más eficientes, en particular para multiplicar matrices, también lo comentábamos. Por ejemplo, el caso de la matriz de 4x4 redujo a 47 multiplicaciones desde las 49 que tenía el mejor algoritmo humano previo, o Alphadev, otro de estos sistemas que optimizó algoritmos computacionales básicos como los de la ordenación de una lista desordenada de tal forma que se han incorporado a la librería estándar de C++; más, una librería que en el módulo de ordenación por lo visto no se tocaba desde hacía 10 años. Estaba todo resuelto hasta que la mejoró ligeramente AlphaDev con un algoritmo que para listas cortas es un 70% más eficaz en CPUs modernas que los mejores conocidos. Algunos otros más recientes como Alpha Proof y Alpha Evolve que combinan distintos sistemas de inteligencia artificial, no uno solo, incluyendo no solo los que he comentado antes sino también modelos de lenguaje son capaces de probar teoremas mediante lenguaje formal y también son capaces de optimizar problemas prácticos de distribución de mercancías, de cosas así, que está utilizando la misma Google, dueño de DeepMind, para sus propios centros de datos. y todavía más recentemente DeepMind tiene otra línea de investigación centrada En lo que ellos llaman razonamiento y descubrimiento con sistemas como AI Ecoscientist y Gemini 3, el módulo que llaman de DeepThink, pensamiento profundo, que no se centran ya solamente en explorar el espacio de soluciones de un problema concreto, sino que…