Muchos lo están notando. Hay un cambio cualitativo en cómo DeepSeek se ve para quienes trabajan con matemáticas complejas. Pero, por supuesto, todo esto se puso en marcha hace años. Math-Shepherd, DeepSeek-Math, DeepSeek-Prover. Era inevitable que en algún momento utilizaran plenamente un modelo base sólido.
