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.
Chargement du thread
Récupération des tweets originaux depuis X pour offrir une lecture épurée.
Cela ne prend généralement que quelques secondes.
