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 »La noticia DeepSeek Prover V2: la inteligencia artificial que resuelve teoremas con miles de cerebros expertos fue publicada originalmente en Wwwhatsnew.com por Natalia Polo.