Je rappelle que DeepSeek annonce toujours ses objectifs dans la section Conclusion/Limites/Travaux futurs. Après Prover-V2, l'objectif était d'atteindre le niveau des Olympiades internationales de mathématiques (OIM). Cet objectif a été atteint avec Math-V2. Prochain objectif : les mathématiques de niveau recherche.
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.

