Maison
Meituan dévoile LongCat, un modèle à 56 milliards de paramètres, établissant ainsi une nouvelle référence en matière de raisonnement mathématique open source
Alors que les grands modèles linguistiques s’étendent à des domaines spécialisés, Meituan a proposé une solution remarquable qui a suscité l’intérêt tant du monde universitaire que du secteur privé.
Le 21 mars, Meituan a officiellement lancé LongCat-Flash-Prover, un modèle de raisonnement mathématique à grande échelle. Ce système puissant, doté de 567,7 milliards de paramètres, utilise une architecture MoE (Mixture of Experts) avancée et est spécialement optimisé pour traiter des démonstrations mathématiques formelles extrêmement complexes.
Lors des tests de référence de premier plan évaluant le raisonnement logique, LongCat-Flash-Prover a affiché des performances exceptionnelles :
Des performances record : il a obtenu un score remarquable de 97,1 % au test MiniF2F, en seulement 72 tentatives de raisonnement.
Maîtrise des problèmes difficiles : il a résolu avec succès 41,5 % des défis du jeu de données PutnamBench. Ces deux résultats établissent de nouveaux records mondiaux « State-of-the-Art » (SOTA).
Afin de doter les grands modèles de la précision d’un mathématicien, Meituan a mis en œuvre plusieurs innovations techniques essentielles :
Réduction des « hallucinations » : un processus de vérification en plusieurs étapes basé sur les arbres de syntaxe abstraite (AST) a été mis en place, parallèlement à l’intégration du langage formel Lean4, ce qui a permis de minimiser efficacement les erreurs logiques et les « hallucinations » dans les déductions de l’IA.
Méthodes d’entraînement avancées : pour remédier à l’instabilité souvent observée dans les tâches à long terme au sein des modèles MoE, Meituan a déployé son algorithme propriétaire HisPO. Associée à une vérification de la cohérence des théorèmes, cette approche empêche le « reward hacking » pendant l’apprentissage par renforcement.
Architecture optimisée : avec un total de 560 milliards de paramètres, le modèle dispose d’une base de connaissances approfondie, tandis que la structure MoE garantit une inférence efficace et flexible.
Meituan a entièrement open-sourcé le modèle et son code source sur GitHub et Hugging Face.
Avec la sortie de LongCat-Flash-Prover
Article connexe
Meta veut que votre prochain gadget soit alimenté par Muse
Le Muse de Meta, un assistant IA qui gère les réservations de voyages, les soumissions de formulaires et les achats, a connu une adoption massive, mais une nouvelle initiative pourrait particulièrement intriguer les développeurs et les passionnés de
Wan-Streamer v0.2 offre une IA de chat à latence ultra-faible
Alors que la technologie moderne progresse rapidement, l'interaction entre les humains et l'intelligence artificielle devient de plus en plus courante. Les appels vidéo traditionnels peinent souvent à gérer les retards, les délais et la désynchronisa
Meta rejoint TSMC et Micron pour équiper de nouveaux serveurs avec des mémoires anciennes
Alors que l’adoption de l’intelligence artificielle s’accélère à l’échelle mondiale, la mémoire DDR5 de nouvelle génération connaît une pénurie critique d’approvisionnement. Afin d’éviter les retards dans le déploiement des centres de données dédiés
Recommandations de sujets spéciaux liés
Conception et art
Les meilleurs outils d'illustration basés sur l'IA : créez plus rapidement des scènes éditoriales et des illustrations de couverture
Les meilleurs outils d'illustration IA de 2026 : notre sélection regroupe les outils les plus performants pour créer rapidement de superbes scènes éditoriales et des couvertures accrocheuses. Chaque option a été soumise à des tests rigoureux en conditions réelles ; nous vous proposons une comparaison entre les versions gratuites et payantes afin de vous aider à trouver celle qui correspond le mieux à votre flux de travail. Essayez dès aujourd’hui ces solutions incontournables pour exploiter pleinement le potentiel de l’IA et booster votre productivité créative. Découvrez-les dès maintenant sur XIX.AI.
10 outils
xix.ai
Éducation et apprentissage
Les meilleurs professeurs particuliers spécialisés en IA pour la préparation aux examens : entraînez-vous en maths, en sciences et en anglais
Les meilleurs tuteurs IA 2026 les mieux notés pour la préparation aux examens sont disponibles ici, sur XIX.AI ! Notre sélection comprend des outils puissants et révolutionnaires qui proposent une comparaison entre les versions gratuites et payantes, des tests concrets et des classements mis à jour chaque semaine. Ils vous aident à améliorer votre efficacité à l'écrit, à simplifier l'apprentissage de sujets complexes et à libérer votre potentiel académique. Découvrez dès maintenant l'outil de préparation aux examens qui vous convient le mieux et commencez à créer dès aujourd'hui pour exploiter pleinement les avantages de l'IA !
10 outils
xix.ai
Finance
Outils de planification budgétaire par IA pour la gestion personnelle des finances
2026 Derniers Meilleurs Outils de Planification Budgétaire par IA les mieux notés pour la gestion personnelle des finances sont ici sur XIX.AI ! Cette collection soigneusement sélectionnée propose des solutions puissantes et révolutionnaires qui vous aident à réaliser des tests concrets, à comprendre vos habitudes de dépenses et à créer des plans personnalisés pour améliorer votre productivité. Profitez d’une comparaison entre versions gratuites et payantes ainsi que de classements détaillés. Des outils incontournables conçus pour simplifier la gestion financière et exploiter pleinement votre avantage grâce à l’IA. Explorez dès maintenant !
11 outils
xix.ai
Santé et bien-être
Assistants de suivi du sommeil par l’IA : améliorez votre récupération grâce à de meilleures habitudes avant le coucher
2026 : Découvrez les meilleurs assistants de suivi du sommeil basés sur l’IA, hautement notés et récemment mis à jour, conçus pour une récupération optimale. Ce guide hebdomadaire entièrement actualisé présente des outils puissants qui offrent des tests en conditions réelles, des comparaisons entre versions gratuites et payantes, ainsi que des classements détaillés afin de vous aider à trouver la solution idéale pour améliorer la qualité du sommeil et favoriser de meilleures habitudes avant le coucher. Explorez-le dès maintenant sur XIX.AI pour tirer parti des avantages offerts par l’IA.
10 outils
xix.ai
Analyse des données
Copilotes SQL basés sur l'IA pour l'analyse des produits et du chiffre d'affaires
2026 : les meilleurs copilotes SQL IA les mieux notés pour l'analyse des produits et du chiffre d'affaires ! XIX.AI a sélectionné une gamme d’outils puissants et révolutionnaires à essayer absolument, qui sont soumis à des tests en conditions réelles via des classements mis à jour chaque semaine. Ces outils aident les utilisateurs à booster considérablement leur productivité en accélérant l’analyse des données, en simplifiant les requêtes complexes et en générant des informations précises permettant de prendre des décisions commerciales plus éclairées. Explorez-les dès maintenant pour découvrir l’outil idéal qui vous permettra de tirer pleinement parti de l’IA !
14 outils
xix.ai
Éducation et apprentissage
Les meilleurs outils d'aide aux devoirs basés sur l'IA qui enseignent : apprenez les concepts, pas seulement les réponses
2026 : les meilleurs outils d'aide aux devoirs basés sur l'IA, les mieux notés, qui enseignent les concepts fondamentaux et ne se contentent pas de fournir des réponses. Des outils puissants pour les élèves. Une sélection incontournable à ne pas manquer. Mise à jour hebdomadaire. Comparaison entre les versions gratuites et payantes. Tests en conditions réelles. Classements précis pour vous aider à exploiter pleinement votre potentiel d'apprentissage. Explorez dès maintenant pour découvrir l'outil idéal qui vous permettra d'étudier plus efficacement.
10 outils
xix.ai
commentaires (0)
Alors que les grands modèles linguistiques s’étendent à des domaines spécialisés, Meituan a proposé une solution remarquable qui a suscité l’intérêt tant du monde universitaire que du secteur privé.
Le 21 mars, Meituan a officiellement lancé LongCat-Flash-Prover, un modèle de raisonnement mathématique à grande échelle. Ce système puissant, doté de 567,7 milliards de paramètres, utilise une architecture MoE (Mixture of Experts) avancée et est spécialement optimisé pour traiter des démonstrations mathématiques formelles extrêmement complexes.
Lors des tests de référence de premier plan évaluant le raisonnement logique, LongCat-Flash-Prover a affiché des performances exceptionnelles :
Des performances record : il a obtenu un score remarquable de 97,1 % au test MiniF2F, en seulement 72 tentatives de raisonnement.
Maîtrise des problèmes difficiles : il a résolu avec succès 41,5 % des défis du jeu de données PutnamBench. Ces deux résultats établissent de nouveaux records mondiaux « State-of-the-Art » (SOTA).
Afin de doter les grands modèles de la précision d’un mathématicien, Meituan a mis en œuvre plusieurs innovations techniques essentielles :
Réduction des « hallucinations » : un processus de vérification en plusieurs étapes basé sur les arbres de syntaxe abstraite (AST) a été mis en place, parallèlement à l’intégration du langage formel Lean4, ce qui a permis de minimiser efficacement les erreurs logiques et les « hallucinations » dans les déductions de l’IA.
Méthodes d’entraînement avancées : pour remédier à l’instabilité souvent observée dans les tâches à long terme au sein des modèles MoE, Meituan a déployé son algorithme propriétaire HisPO. Associée à une vérification de la cohérence des théorèmes, cette approche empêche le « reward hacking » pendant l’apprentissage par renforcement.
Architecture optimisée : avec un total de 560 milliards de paramètres, le modèle dispose d’une base de connaissances approfondie, tandis que la structure
Meituan a entièrement open-sourcé le modèle et son code source sur GitHub et Hugging Face.
Avec la sortie de LongCat-Flash-Prover
Meta veut que votre prochain gadget soit alimenté par Muse
Le Muse de Meta, un assistant IA qui gère les réservations de voyages, les soumissions de formulaires et les achats, a connu une adoption massive, mais une nouvelle initiative pourrait particulièrement intriguer les développeurs et les passionnés de
Wan-Streamer v0.2 offre une IA de chat à latence ultra-faible
Alors que la technologie moderne progresse rapidement, l'interaction entre les humains et l'intelligence artificielle devient de plus en plus courante. Les appels vidéo traditionnels peinent souvent à gérer les retards, les délais et la désynchronisa
Meta rejoint TSMC et Micron pour équiper de nouveaux serveurs avec des mémoires anciennes
Alors que l’adoption de l’intelligence artificielle s’accélère à l’échelle mondiale, la mémoire DDR5 de nouvelle génération connaît une pénurie critique d’approvisionnement. Afin d’éviter les retards dans le déploiement des centres de données dédiés
Les meilleurs outils d'illustration IA de 2026 : notre sélection regroupe les outils les plus performants pour créer rapidement de superbes scènes éditoriales et des couvertures accrocheuses. Chaque option a été soumise à des tests rigoureux en conditions réelles ; nous vous proposons une comparaison entre les versions gratuites et payantes afin de vous aider à trouver celle qui correspond le mieux à votre flux de travail. Essayez dès aujourd’hui ces solutions incontournables pour exploiter pleinement le potentiel de l’IA et booster votre productivité créative. Découvrez-les dès maintenant sur XIX.AI.
10 outils
xix.ai
Les meilleurs tuteurs IA 2026 les mieux notés pour la préparation aux examens sont disponibles ici, sur XIX.AI ! Notre sélection comprend des outils puissants et révolutionnaires qui proposent une comparaison entre les versions gratuites et payantes, des tests concrets et des classements mis à jour chaque semaine. Ils vous aident à améliorer votre efficacité à l'écrit, à simplifier l'apprentissage de sujets complexes et à libérer votre potentiel académique. Découvrez dès maintenant l'outil de préparation aux examens qui vous convient le mieux et commencez à créer dès aujourd'hui pour exploiter pleinement les avantages de l'IA !
10 outils
xix.ai
2026 Derniers Meilleurs Outils de Planification Budgétaire par IA les mieux notés pour la gestion personnelle des finances sont ici sur XIX.AI ! Cette collection soigneusement sélectionnée propose des solutions puissantes et révolutionnaires qui vous aident à réaliser des tests concrets, à comprendre vos habitudes de dépenses et à créer des plans personnalisés pour améliorer votre productivité. Profitez d’une comparaison entre versions gratuites et payantes ainsi que de classements détaillés. Des outils incontournables conçus pour simplifier la gestion financière et exploiter pleinement votre avantage grâce à l’IA. Explorez dès maintenant !
11 outils
xix.ai
2026 : Découvrez les meilleurs assistants de suivi du sommeil basés sur l’IA, hautement notés et récemment mis à jour, conçus pour une récupération optimale. Ce guide hebdomadaire entièrement actualisé présente des outils puissants qui offrent des tests en conditions réelles, des comparaisons entre versions gratuites et payantes, ainsi que des classements détaillés afin de vous aider à trouver la solution idéale pour améliorer la qualité du sommeil et favoriser de meilleures habitudes avant le coucher. Explorez-le dès maintenant sur XIX.AI pour tirer parti des avantages offerts par l’IA.
10 outils
xix.ai
2026 : les meilleurs copilotes SQL IA les mieux notés pour l'analyse des produits et du chiffre d'affaires ! XIX.AI a sélectionné une gamme d’outils puissants et révolutionnaires à essayer absolument, qui sont soumis à des tests en conditions réelles via des classements mis à jour chaque semaine. Ces outils aident les utilisateurs à booster considérablement leur productivité en accélérant l’analyse des données, en simplifiant les requêtes complexes et en générant des informations précises permettant de prendre des décisions commerciales plus éclairées. Explorez-les dès maintenant pour découvrir l’outil idéal qui vous permettra de tirer pleinement parti de l’IA !
14 outils
xix.ai
2026 : les meilleurs outils d'aide aux devoirs basés sur l'IA, les mieux notés, qui enseignent les concepts fondamentaux et ne se contentent pas de fournir des réponses. Des outils puissants pour les élèves. Une sélection incontournable à ne pas manquer. Mise à jour hebdomadaire. Comparaison entre les versions gratuites et payantes. Tests en conditions réelles. Classements précis pour vous aider à exploiter pleinement votre potentiel d'apprentissage. Explorez dès maintenant pour découvrir l'outil idéal qui vous permettra d'étudier plus efficacement.
10 outils
xix.ai
