Muitos estão percebendo. Há uma mudança qualitativa na forma como o DeepSeek se apresenta para pessoas que trabalham com matemática complexa. Mas, é claro, tudo isso já estava em movimento há anos. Math-Shepherd, DeepSeek-Math, DeepSeek-Prover. Era inevitável que, em algum momento, eles utilizassem um modelo base robusto por completo.
