DeepSeek Prover V2: la inteligencia artificial que resuelve teoremas con miles de cerebros expertos

Publicado el 02/05/2025 por Diario Tecnología
Artículo original

Ilustración surrealista de inteligencia artificial resolviendo problemas matemáticos complejos en un paisaje onírico
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 »