Aller au contenu

Mardi 10 novembre 2026

Sujet

Open Source

Les articles de la revue de presse consacrés à Open Source, tirés des éditions ouvertes à tous.

6 articles

  1. CAPACITÉS

    Claude génère 180 millions de lignes de preuves formelles pour certifier du code

    Anthropic a fait produire à Claude des preuves mathématiques attestant de la correction de 123 bibliothèques open source, soit environ 180 millions de lignes de code de preuve.

  2. ROBOTIQUE

    Nvidia réduit le coût d'annotation vidéo robotique de 125 fois avec Flora

    Flora, le moteur d'annotation de données robotiques publié en open source par Nvidia, étiquette une heure de vidéo pour 72 cents contre 88 dollars avec GPT-6 Astra, tout en obtenant un score de qualité légèrement supérieur.

  3. MODÈLES

    DeepSeek publie en open source le moteur d'inférence de son modèle le plus rapide

    DeepSeek met à disposition DeepInfer, le framework d'inférence qui propulse son modèle V4.1-Flash, construit sur vLLM. Le système réduit les coûts de calcul et la consommation énergétique à l'exécution des modèles.

  4. AGENTS

    Cloudflare lance Clef, un modèle de décision pour agents IA sans supervision humaine

    Cloudflare publie Clef et Clef-flash, deux modèles construits sur Qwen sous licence Apache 2.0, conçus pour permettre aux agents IA de prendre des décisions structurées sans générer de texte et sans intervention humaine dans la boucle.

  5. MAROC

    Maroc-Mistral: deux modèles darija en open source issus du partenariat MTNRA

    Le ministère de la Transition numérique et Mistral AI publient les premiers livrables de leur partenariat: un classificateur capable de distinguer les dialectes arabes dont la darija, et une adaptation du modèle de reconnaissance vocale…

  6. TECH

    Maroc-Mistral: deux modèles d'IA en darija bientôt disponibles en open source

    Le ministère de la Transition numérique et Mistral annoncent la mise à disposition en open source de deux premiers modèles issus de leur partenariat: un classificateur de dialectes arabes incluant la darija, et un modèle de reconnaissance…

Tous les sujets | La revue de presse du jour