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.
