Un autre fan de DeepSeek s’est ajouté à la liste, comme le cofondateur de NEAR, Illia @ilblackdragon. Dans un entretien exclusif, il a déclaré que l’équipe a résolu la vérification formelle extrêmement complexe du code en dotant DeepSeek d’une chaîne d’outils personnalisée. Lorsqu’il effectue des déductions logiques mathématiques complexes, son niveau de rigueur est tout à fait à la hauteur de Claude 3.5 Sonnet et des versions haut de gamme de ChatGPT. Ce qui est encore plus impressionnant, c’est que DeepSeek est jusqu’à 100 à 200 fois moins cher que les meilleurs modèles propriétaires : des projets de recherche qui coûtaient plusieurs dizaines de milliers de dollars peuvent désormais être réalisés pour quelques centaines de dollars, tout en éliminant complètement les censures arbitraires des grandes entreprises propriétaires. Ce n’est pas que les modèles propriétaires soient hors de portée — c’est simplement que les modèles open source offrent un meilleur rapport qualité-prix 😏.