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 para enfrentar problemas matemáticos complejos, como demostraciones formales y razonamientos lógicos, y promete dar un gran salto en precisión y eficiencia.
Vamos a desglosar qué hace especial a esta herramienta, cuál es su base tecnológica y por qué podría convertirse en un aliado clave para matemáticos, ingenieros y científicos.
Continúa leyendo «DeepSeek Prover V2: la inteligencia artificial que resuelve teoremas con miles de cerebros expertos»
