« 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
213
Outils IA
Gratuit & Payant
Tarifs
Vérifiés
Sélection
« Discutez avec un modèle d'intelligence artificielle open source comptant 456 milliards de paramètres, capable d'effectuer des raisonnements sophistiqués, de coder et de gérer de longs contextes (jusqu'à 1 million de tokens) »
« Un modèle IA multimodal léger, capable de traiter texte, image, audio et vidéo sur tous vos appareils, même mobiles. Profitez d’une exécution rapide, d’une gestion efficace des ressources et d’un support pour plus de 140 langues (projet open-source) »
« Un grand modèle de langage open source, optimisé pour le raisonnement avancé, la compréhension de contextes longs (256K tokens) et l’efficacité sur des ressources limitées. Idéal pour la recherche, l’agentique et le traitement multilingue »
« Un modèle MoE open source et gratuit avec 1 000 milliards de paramètres, optimisé pour les tâches d’agents IA, de programmation et de raisonnement. Il surpasse les meilleurs modèles propriétaires (SOTA) »
« Un modèle de langage open source avec 355 milliards de paramètres, spécialisé dans les agents intelligents. Deux modes de fonctionnement disponibles : raisonnement complexe ou réponses immédiates. Performances exceptionnelles pour le texte et le code »
« Explorez les modèles de raisonnement IA open-source créés par OpenAI. Avec une chaîne de pensée complète et personnalisable selon les applications grâce à la licence Apache 2.0. Deux versions disponibles : gpt-oss-120b et gpt-oss-20b »
« Un modèle open source avec 685 milliards de paramètres aux performances impressionnantes en codage, déploiement d'agents IA et raisonnement. Offre aussi une API à prix réduit »
« Un modèle IA (open-source) sans censure qui rivalise avec ChatGPT sur les benchmarks mathématiques. Basculez entre réponses rapides et raisonnement hybride étape par étape, avec une transparence totale du processus de réflexion »
« Analysez les images et le texte 85 fois plus rapidement sur iPhone/iPad grâce à cette IA ultra-compacte basée sur le langage visuel. Un outil précieux pour la reconnaissance d'écriture manuscrite hors ligne, le comptage d'objets et les questions visuelles »
« Automatisez vos recherches web avec un agent IA de 30B paramètres : analyse juridique, voyages, rapports approfondis via raisonnement multi-étapes et outils dynamiques »
« Ce modèle open-source améliore l’efficacité contextuelle grâce à l’attention sparse : performances élevées sur benchmark, consommation réduite et rapidité. Idéal pour le traitement de longs textes, le codage et la recherche »
Outil mis en avant
Emergent AI
« Transformez vos idées en applications complètes grâce à des agents IA qui codent, testent et déploient pour vous. Créez sites web (full-stack), apps IA, jeux et outils automatisés simplement en décrivant votre projet »
87