#Deepseek ai

2 articles — 2 affichés

tech

DeepSeek dévoile un modèle R2 de nouvelle génération et révolutionne l’inférence à grande échelle

DeepSeek AI publie une méthode innovante, SPCT, pour optimiser l’inférence des modèles de récompense générale. Cette avancée promet d’améliorer la scalabilité et la rapidité des systèmes d’IA à large échelle.

7 min

30 avr · 06h22

#deepseek ai#modèle r2

tech

DeepSeek-Prover-V2 révolutionne la preuve automatique avec une recherche récursive innovante

DeepSeek AI dévoile DeepSeek-Prover-V2, un LLM open source dédié à la preuve de théorèmes en Lean 4. Grâce à une recherche récursive et un entraînement par renforcement, il domine le benchmark MiniF2F, repoussant les limites du raisonnement formel automatisé.

5 min

30 avr · 06h21

#deepseek ai#preuve automatique