« Résolvez des théorèmes complexes en Lean 4 grâce à un modèle open source combinant raisonnement informel et preuves formelles. Décomposez les problèmes en sous-objectifs et générez des solutions détaillées »
Meilleurs outils IA dans Modèles LLM
Des modèles IA à tester et des outils pour apprendre à les maîtriser
227
Outils IA
Gratuit & Payant
Tarifs
Vérifiés
Sélection
« Un modèle multimodal de 72 milliards de paramètres qui excelle en raisonnement visuel. Résolvez des problèmes complexes de mathématiques et de physique grâce à une compréhension approfondie des images »
« Un modèle LLM puissant de 236 milliards de paramètres. Il offre des performances de pointe en mathématiques, codage et raisonnement, avec une tarification API très compétitive (0,14$/million de tokens) »
« La nouvelle génération de modèles IA open-source de Google DeepMind. Plus puissants et plus efficaces, ces modèles LLM sont disponibles en deux versions : 9B et 27B »
« Nvidia lance Gr00t, un modèle d'IA pour créer des robots humanoïdes capables d'apprendre en observant les humains. Une avancée majeure dans la robotique »
« Des modèles LLM open-source conçu par Apple puissants directement sur vos appareils, sans cloud. Entraînés avec des algorithmes évolutionnistes pour une précision maximale »
« Une plateforme active dans la formation de modèles IA pour le monde de la robotique. Elle permet aux robots d'effectuer une multitude de tâches complexes de manière autonome et en toute sécurité. »
« Un modèle d'intelligence artificielle conçu par Google qui va tenter de déchiffrer le langage des dauphins et d'en savoir plus sur leur mode de communication »
« Exécutez des modèles de langage (LLM) facilement sur votre appareil, sans connexion internet. Préservez votre confidentialité et sécurisez vos données. »
« Un modèle IA surprenant qui a pour projet d'induire et de stabiliser les rêves lucides. Idéal pour explorer et contrôler ses rêves »
« Retrouvez tous les modèles IA dans un même site : générez du texte, des images et des diagrammes. Analysez vos documents ou vos discussions plus vite »
« Un modèle LLM open-source entraîné avec les données de Llama 2, surpassant la plupart des modèles actuels et s'approchant de GPT-4 »
Outil mis en avant
TradeOS AI
« Analysez les marchés, générez des alertes, créez des agents et automatisez votre stratégies de trading via l’IA. Bénéficiez de signaux et d’un pilotage intelligent, accessible 24/7 »
41