Maison
Outils
Modèles
Appliquer
Prompts
Nouvelles
Thèmes
Soumettre pour inclusion
Français
English 日本語 한국어 Português español Deutsch Русский Français 繁體中文 简体中文
option
Maison Fermer
Maison
Outils
Catégorie Classement Générer la couverture Générer une image Skill
Modèles
Grand modèle de langage Modèle multimodal
Appliquer
Prompts
Prompts Prompts d’image
Nouvelles
Nouvelles Flash info
Thèmes
Soumettre pour inclusion
Soumettre une App Soumettre un outil
Créer un compte Se connecter
Changer la langue Français Changer la langue
Paramètres
English EN 日本語 JA 한국어 KO Português PT español ES Deutsch DE Русский RU Français FR 繁體中文 ZH-TW 简体中文 ZH-CN
Maison
Flash info
Contenu
EdwardScott
EdwardScott
6 juillet 2026

Mistral AI a lancé Leanstral 1.5, un modèle de preuve mathématique formelle doté de 119 milliards de paramètres qui ne mobilise en réalité que 6 milliards d’entre eux ; ce dernier est disponible en source ouverte sous la licence Apache-2.0. Il a obtenu 100 % de réussite sur le test miniF2F, résolu 587 des 672 problèmes du PutnamBench, et son coût s’élève à 4 dollars par problème, contre plus de 300 dollars chez les concurrents. De plus, il a détecté 47 violations dans 57 dépôts de code, dont 5 problèmes non signalés sur GitHub.

Mistral AI a lancé Leanstral 1.5, un modèle de preuve mathématique formelle doté de 119 milliards de paramètres qui ne mobilise en réalité que 6 milliards d’entre eux ; ce dernier est disponible en source ouverte sous la licence Apache-2.0. Il a obtenu 100 % de réussite sur le test miniF2F, résolu 587 des 672 problèmes du PutnamBench, et son coût s’élève à 4 dollars par problème, contre plus de 300 dollars chez les concurrents. De plus, il a détecté 47 violations dans 57 dépôts de code, dont 5 problèmes non signalés sur GitHub.
0
0
Partager Cliquez pour copier le lien
commentaires (0)
0/300
Soumettre
Auteur HarperJones HarperJones 13 octobre 2026
OpenAI intègre GPT-6, doté d’une interface utilisateur intelligente, à ChatGPT, permettant ainsi l’affichage de graphiques et de widgets interactifs au sein même des conversations. Cette évolution transforme les grands modèles, qui passent du statut de simples fournisseurs d’informations à celui de points d’entrée pour l’interaction avec des tâches, bouleversant ainsi les interfaces fixes des applications. Cette initiative menace les outils d’IA autonomes et les plateformes de contenu en rendant superflue l’utilisation d’applications distinctes. Parallèlement, les « super-applications » telles que WeChat et Douyin acquièrent des avantages concurrentiels en tirant parti des écosystèmes et des canaux de distribution existants pour intégrer directement ces points d’entrée aux scénarios d’utilisation des utilisateurs.
0
0
Auteur DouglasAnderson DouglasAnderson 13 octobre 2026
Qwen précise que « Qwen Go » est un assistant IA personnel intégré à son application, et non une application autonome à télécharger. Les utilisateurs peuvent demander à y avoir accès pour effectuer des tâches telles que le traitement des réclamations liées aux vols et la comparaison des prix. Cette fonctionnalité vise à devenir un assistant plus intelligent et personnalisé, tirant parti de l'écosystème d'Alibaba pour gérer diverses tâches personnelles directement au sein de la plateforme existante, plutôt que de lancer une application distincte.
0
0
Auteur DouglasThomas DouglasThomas 13 octobre 2026
ByteDance Seed met en place le département « Model-Alignment and Preparedness », dirigé par Yan Lin, afin de renforcer la sécurité de l’IA. Cette nouvelle unité se consacre à la sécurisation des modèles d’agents intelligents et à la réduction des risques CBRN par le biais de la réglementation, de l’évaluation et de la formation à l’alignement. En tant que premier laboratoire chinois de pointe en IA à créer un département dédié à la sécurité, Seed vise à garantir que les modèles fonctionnent dans des limites sûres, en réduisant les utilisations abusives et les écarts de comportement, tout en favorisant une collaboration ouverte avec des chercheurs externes afin de soutenir les applications à grande échelle.
0
0
Auteur KevinRoberts KevinRoberts 13 octobre 2026
MiniMax fait son entrée sur Taobao avec sa première boutique phare, où sont proposés des abonnements au « M Plan ». Cette initiative s'inscrit dans une tendance plus large du secteur, qui voit des fournisseurs d'IA tels que Zhipu et Alibaba Cloud transférer la vente de jetons de leurs sites officiels vers des plateformes de commerce électronique. Taobao a lancé une « Station spatiale IA » afin de regrouper ces services. Cette stratégie vise le grand public en transformant l’utilisation technique des API en produits grand public accessibles, déplaçant ainsi la concurrence des benchmarks techniques vers l’accessibilité directe pour le consommateur et la tarification.
0
0
Auteur JoseJackson JoseJackson 13 octobre 2026
Amazon est en pourparlers pour acquérir Decart pour 7 milliards de dollars. La startup de trois ans, fondée en 2023, propose un logiciel de compatibilité inter-puces qui permet aux modèles d’IA de s’exécuter sans faille sur différents matériels tels que les GPU NVIDIA, les TPU Google et les Amazon Trainium. Cette technologie vise à réduire les coûts et à améliorer les performances jusqu’à huit fois. Decart avait précédemment échoué à conclure des accords avec NVIDIA et Anthropic, qui ont tous deux quitté la table après une diligence raisonnable. Amazon paie une prime significative par rapport à l’évaluation récente de 4 milliards de dollars de Decart, dans le but de renforcer son écosystème AWS et de réduire les coûts par jeton pour ses puces Trainium, tout en soutenant ses stratégies plus larges de cloud et d’intelligence incarnée.
0
0
OR