Leanstral 1.5 : Mistral prouve que votre code est juste
Le 2 juillet 2026, Mistral AI a publié Leanstral 1.5, un modèle open source (Apache 2.0) de vérification formelle avec Lean 4 : il ne génère pas du co...
169 vues
Tag
Open Source : actualités et analyses
Tous les articles tech liés à « Open Source » sur TECH ACTU : analyses, tendances et décryptages.
36 articles |Page 1 sur 3
Kimi K3 : la Chine sort le plus gros modele IA open-source au monde
Le 16 juillet 2026, Moonshot AI a publie Kimi K3, modele Mixture-of-Experts de 2,8 mille milliards de parametres, raisonnement natif et contexte d'un ...
182 vues
Kimi K3 : la Chine sort le plus gros modele IA open-source au monde
Le 16 juillet 2026, Moonshot AI a publie Kimi K3, modele Mixture-of-Experts de 2,8 mille milliards de parametres, raisonnement natif et contexte d'un ...
84 vues
Kimi K3 : la Chine sort le plus gros modele IA open-source au monde
Le 16 juillet 2026, Moonshot AI a publie Kimi K3, modele Mixture-of-Experts de 2,8 mille milliards de parametres, raisonnement natif et contexte d'un ...
102 vues
DeepSeek V4 : la tarification dynamique débarque sur les API IA
DeepSeek sort la version officielle de V4 mi-juillet 2026, et la vraie surprise n'est pas technique : c'est la tarification. Le laboratoire chinois in...
163 vues
LongCat-2.0 : l'IA chinoise de mille milliards de paramètres devient open source
L'IA LongCat-2.0, développée en Chine et comptant mille milliards de paramètres, est désormais disponible en open source. Cette annonce soulève des qu...
123 vues
ACP : Claude, Codex et Gemini dans un seul et même éditeur
Le 2 juin 2026, Cognition a transformé Windsurf en Devin Desktop et placé l'Agent Client Protocol (ACP) au cœur de sa stratégie. Ce standard ouvert (A...
157 vues
Ornith-1.0 : une IA open source pour améliorer ses propres compétences en programmation
Ornith-1.0, une nouvelle IA open source, promet d'aider les développeurs à améliorer leur code en apprenant d'elle-même. Ce projet pourrait transforme...
94 vues
GLM-5.2 : l'IA chinoise qui bat GPT-5.5 sur le code, en open source
Le 17 juin 2026, Z.ai (ex-Zhipu AI) a publié GLM-5.2, un modèle open source de 753 milliards de paramètres sous licence MIT (contexte 1M tokens). Sur ...
172 vues
Patch the Planet : OpenAI lance son IA sur les failles de l'open source
Le 22 juin 2026, OpenAI a lancé Patch the Planet avec Trail of Bits et HackerOne pour traquer les failles de l'open source via son modèle GPT-5.5-Cybe...
168 vues
Lancement d'un modèle IA open source par l'Europe : une nouvelle ère ?
L'Europe dévoile un modèle d'intelligence artificielle en open source, marquant une étape cruciale dans le paysage technologique. Cette initiative vis...
297 vues
Kimi K2.7-Code : l'IA chinoise de Moonshot taillee pour les agents
Le 12 juin 2026, la startup chinoise Moonshot AI a publie Kimi K2.7-Code, un modele open-weight de 1 000 milliards de parametres (32 actifs) specialis...
215 vues