InternLM-Math-Plus

Grand modèle linguistique open source pour le raisonnement mathématique bilingue.

Produit OrdinaireProgrammationRaisonnement mathématiqueModèle bilingue

InternLM-Math-Plus est un grand modèle linguistique (LLM) open source bilingue (anglais et chinois) de pointe, spécialisé dans le raisonnement mathématique. Il possède la capacité de résoudre, prouver, vérifier et améliorer les problèmes mathématiques. Il affiche des améliorations significatives tant dans le raisonnement mathématique informel (comme les chaînes de pensée et l'explication de code) que formel (comme la traduction et la preuve LEAN 4).

Best AI Websites & Tools

InternLM-Math-Plus

InternLM-Math-Plus Dernière situation du trafic

InternLM-Math-Plus Tendance des visites

InternLM-Math-Plus Distribution géographique des visites

InternLM-Math-Plus Sources de trafic

InternLM-Math-Plus Alternatives

InternLM-Math-Plus — Grand modèle linguistique open source pour le raisonnement mathématique bilingue.

TableGPT2-7B — TableGPT2-7B est un grand modèle linguistique spécialisé dans le traitement des données tabulaires, adapté aux tâches d'analyse de données et de business intelligence.

Goedel-Prover — Goedel-Prover est un modèle de preuve de théorème automatisée open source, axé sur la preuve formelle de problèmes mathématiques.

Mistral-Small-24B-Instruct-2501 — Mistral Small 24B est un grand modèle linguistique multi-langue, haute performance et fin-tuning pour les instructions, adapté à de nombreux contextes d'application.

DeepSeek-R1-Distill-Qwen-7B — DeepSeek-R1-Distill-Qwen-7B est un modèle d'inférence open source spécialisé dans les mathématiques, le code et les tâches de raisonnement.

InternLM3-8B-Instruct — InternLM3-8B-Instruct est un modèle linguistique instructionnel open source de 8 milliards de paramètres, conçu pour des usages généraux et un raisonnement avancé.

VITA-1.5 — VITA-1.5 : Modèle linguistique multimodal de classe GPT-4o, permettant une interaction visuelle et vocale en temps réel

HuatuoGPT-o1 — Grand modèle linguistique pour le raisonnement médical complexe

Valley 2.0 — Modèle linguistique de grande taille multimodale améliorant le traitement des données textuelles, images et vidéos.

InternVL 2.5 — Série de grands modèles linguistiques multimodaux open source

OLMo 2 7B — Modèle linguistique de grande taille (7 milliards de paramètres) améliorant les capacités de traitement du langage naturel.

Qwen2.5-Coder-1.5B-Instruct-GGUF — Modèle d'instruction optimisé de 1,5 milliard de paramètres de la série Qwen2.5-Coder

NVLM 1.0 — Modèle linguistique multimodal de pointe

Open-O1 — Modèle linguistique large open source, rivalisant avec les capacités puissantes des modèles propriétaires.

ChatMLX — Application de chat macOS hautes performances basée sur un grand modèle linguistique

Llama 3.1 — Modèle d'IA open source de pointe, prenant en charge plusieurs langues et des fonctionnalités avancées.

OpenBioLLM-Llama3-8B — Un grand modèle linguistique open source conçu pour le domaine biomédical

Grok-1 — Modèle Grok-1, publication ouverte, 314 milliards de paramètres.

MediaTek Research Breeze-7B — Un grand modèle linguistique open source, adapté au chinois et à l'anglais.

Yi-9B — Modèle linguistique large, bilingue et open source de nouvelle génération

Llama 3 — Modèle linguistique de grande envergure (LLM) nouvelle génération, open source et aux performances exceptionnelles.

l1m — Une API proxy utilisée pour extraire des données structurées à partir de texte et d'images, implémentée à l'aide de LLM.

Proxy Lite — Proxy Lite est un modèle de langage visuel (VLM) open source de 3 milliards de paramètres, axé sur les tâches d'automatisation Web.

AoT — Atom of Thoughts (AoT) est un framework permettant d'améliorer les performances d'inférence des grands modèles de langage.

OpenManus — OpenManus est un projet d'agent intelligent open source utilisable sans code d'invitation.

CocoIndex — CocoIndex est un moteur d'indexation de données open source, prenant en charge la logique de conversion personnalisée et les mises à jour incrémentielles.

NeoBase — NeoBase est un assistant de base de données IA open source qui vous permet d'interagir avec votre base de données en langage naturel.

Instella — Instella est un modèle linguistique open source haute performance développé par AMD, conçu pour accélérer le développement des modèles linguistiques open source.

Aya Vision 32B — Aya Vision 32B est un modèle de langage visuel multilingue adapté à de multiples usages, tels que l'OCR, la description d'images et le raisonnement visuel.

Aya Vision 8B — Modèle de langage visuel multilingue à 800 millions de paramètres, prenant en charge l'OCR, la description d'images et le raisonnement visuel.