Beaucoup le remarquent. DeepSeek opère un changement qualitatif dans sa façon de rechercher des personnes travaillant sur des mathématiques complexes. Mais bien sûr, tout cela a été mis en place il y a des années : Math-Shepherd, DeepSeek-Math, DeepSeek-Prover. Il était inévitable qu'à un moment donné, ils exploitent pleinement un modèle de base robuste.
