DeepSeek lanza el modelo Prover-V2: los parámetros 671B mejoran la comprobación de teoremas matemáticos
El 1 de mayo, DeepSeek puso en código abierto el modelo DeepSeek-Prover2, diseñado para pruebas matemáticas, que contiene 671.000 millones de parámetros y una versión...
