Una IA china ha resuelto un problema matemático sin solución desde 2014 en 80 horas usando el modelo Rethlas, acercando la tecnología al razonamiento humano.

 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.