La inteligencia artificial sigue abriéndose camino en territorios tradicionalmente dominados por el razonamiento humano, como las matemáticas avanzadas. Uno de los proyectos más ambiciosos en este ámbito es DeepSeek Prover, un modelo de IA desarrollado por el laboratorio chino DeepSeek, que acaba de recibir una importante actualización. Esta nueva versión, Prover V2, está diseñada específicamente… Continúa leyendo »