Después de un tiempo de relativa calma, DeepSeek ha vuelto a escena con el lanzamiento de Prover V2. Se trata de un nuevo modelo de inteligencia artificial de código abierto que destaca por estar especializado en la demostración de teoremas matemáticos.

Microsoft ha dado un paso importante en el campo de los modelos de lenguaje pequeños (SLM). El gigante tecnológico anunció rStar-Math, una nueva técnica de razonamiento que aumenta significativamente el rendimiento de una IA en la resolución de problemas matemáticos complejos. Microsoft afirma que con este experimento, los SLM pueden superar a modelos grandes, como o1 de OpenAI.