DeepSeek améliore les capacités mathématiques du modèle vProver afin de résoudre des théorèmes et des preuves complexes.
Le modèle vProver de DeepSeek a bénéficié d’une mise à niveau pour résoudre des problèmes mathématiques plus complexes. DeepSeek a publié le modèle sans trop de fanfare sur les plateformes de développement open source HuggingFace et GitHub, comme il l’a fait de manière constante jusqu’à présent. La principale amélioration du modèle s’est faite en coulisses.
La nouvelle version du modèle mathématique d’IA est construite sur l’architecture V3 qui a stupéfié le monde au début de cette année. DeepSeek s’est fait un nom dans le domaine de l’IA avec le modèle R1, qui partage la même architecture que vProver, car il pouvait égaler les meilleurs modèles d’OpenAI, Google et Anthropic tout en étant développé à des coûts bien moindres. Grâce à cette mise à niveau, le modèle vProver peut désormais traiter des théorèmes et des preuves mathématiques plus complexes.
La Chine participe
Un successeur du modèle R1 est attendu prochainement, mais DeepSeek ne dévoile pas ses intentions concernant les lancements futurs. Bien que les États-Unis se soient autoproclamés leader mondial incontesté en matière d’IA, les entreprises technologiques chinoises participent certainement aussi à la course. Alibaba a récemment présenté Qwen3. Le président américain Donald Trump tente de mettre des bâtons dans les roues des entreprises chinoises autant que possible, mais elles ne semblent pas si faciles à évincer.
L’ascension inattendue de DeepSeek a suscité à la fois des réactions positives et négatives. Il s’avère que les chercheurs de DeepSeek ont moins de connaissances sur la sécurisation des modèles d’IA, ce qui fait que plusieurs gouvernements européens préféreraient ne pas voir arriver ce modèle. DeepSeek a été accusé de plagiat par OpenAI, bien que ce soit l’hôpital qui se moque de la charité.
lire aussi