IA
Intelligence artificielle : LLM, agents, diffusion, vision, NLP et les dernières nouvelles des grands laboratoires.
191 published articles
Infrastructure Cloud
Alibaba construit à la fois le cerveau et le système immunitaire pour les agents d'IA
Alibaba Cloud dévoile un système de récupération sensible au code pour le codage IA et une plateforme de sécurité WAAP agentique, tous deux tirant parti de grands modèles pour résoudre les problèmes de latence, de confidentialité et de conformité. L'architecture hybride vise à surpasser les outils basés uniquement sur l'embedding et les fournisseurs WAF traditionnels.
2026-07-13
Intelligence Artificielle
Meta a acquis Manus pour son infrastructure, pas pour son chatbot
Manus rejoint Meta dans une acquisition stratégique qui priorise l'infrastructure agentique par rapport à l'IA grand public. Avec plus de 80 millions d'ordinateurs virtuels créés et 147 billions de tokens traités, Manus devient la couche d'exécution de Meta pour l'automatisation d'entreprise.
2026-07-13
Benchmark integrity
GPT-5.6 Sol (max) domine CritPt, un nouveau benchmark de problèmes inédits de recherche en physique
GPT-5.6 Sol (max) mène CritPt, un nouveau benchmark de physique bâti sur des problèmes inédits de recherche de niveau graduate, obtenant environ 5 points de plus que GPT-5.5 et 4 points d'avance sur Claude Fable 5, selon des tests indépendants d'Artificial Analysis.
2026-07-13
IA de télédétection
Des tokens plus intelligents réduisent de trois fois les coûts de l'IA satellitaire sans perte de précision
OlmoEarth v1.1 d'Ai4earth réduit les coûts de calcul jusqu'à 3x par rapport à v1 pour l'analyse d'images satellitaires, en utilisant une technique de fusion de tokens plus intelligente qui maintient les performances. Les modèles mis à jour permettent des mises à jour de cartes à l'échelle planétaire moins coûteuses pour les organisations partenaires.
2026-07-13
IA dans l'Éducation
Le Piège de l'Apprentissage par l'IA : Ce qu'une Étude sur 26 000 Étudiants Révèle sur la Dette Cognitive dans l'Éducation
Une étude portant sur 26 000 étudiants, une expérience d'imagerie cérébrale du MIT et de nouvelles recherches de l'OCDE convergent vers le même constat : l'IA générative améliore les notes des devoirs tout en érodant silencieusement les performances aux examens et l'engagement neuronal, à moins que l'enseignement ne soit repensé autour d'elle.
2026-07-13
Test de l'agent IA pour tableur
Kimi Sheets écrit les formules Excel réelles. La plupart des outils d'IA se contentent de vous donner des conseils.
Kimi Sheets est un agent d'IA qui transforme des instructions en langage simple en feuilles de calcul finies, avec de vraies formules, des tableaux croisés dynamiques, des graphiques et un formatage intelligent. Contrairement aux chatbots qui ne donnent que des conseils, Kimi Sheets édite directement le fichier.
2026-07-12
Tutoriel IA
10 bonnes pratiques pour tirer le meilleur parti des agents de codage IA
Un guide pratique pour travailler efficacement avec les agents de codage IA comme GitHub Copilot, Cursor et les outils basés sur Codex : cadrage des tâches, révision des diffs, adaptation des outils aux tâches, discipline de test et maintien de l'humain dans la boucle pour le code partagé.
2026-07-12
Agents IA
Agents de codage Mistral : votre ordinateur portable n'est plus nécessaire, sessions parallèles sans surveillance
Mistral déplace les agents de codage vers le cloud, permettant l'exécution parallèle et asynchrone de tâches via le nouveau modèle Mistral Medium 3.5. La mise à jour introduit des agents distants dans Mistral Vibe et Le Chat, ainsi qu'un mode Work pour les tâches multi-étapes, tout en gardant une supervision humaine pour les actions sensibles.
2026-07-12
Lean 4
Leanstral 1.5 prouve que les anciennes règles de tarification de l'IA ne s'appliquent pas aux mathématiques
Le Leanstral 1.5, un modèle à 6 milliards de paramètres actifs, sature miniF2F, résout 587 problèmes de PutnamBench et découvre 5 bugs non signalés auparavant dans des dépôts open-source. À environ 4 $ par problème, il sous-cote Seed-Prover de 75 fois et Aleph Prover de 15 fois, remettant en question l'hypothèse selon laquelle la vérification formelle nécessite des budgets de calcul massifs.
2026-07-12
Optimisation des systèmes
DSpark montre que l’inférence rapide de l’IA est un problème d’ordonnancement, pas un tour de modèle
L’article de DSpark de DeepSeek révèle que le décodage spéculatif naïf dégrade le débit en situation de forte concurrence. Sa solution, la vérification à ordonnancement par confiance, adapte la longueur des blocs par requête et déplace la frontière de Pareto des performances de service.
2026-07-12
LLM à long contexte
L'attention bifocale de Jet-Long tue le compromis de mise à l'échelle fixe pour les LLM à long contexte
Jet-Long adapte la remise à l'échelle de RoPE de manière dynamique en fonction de la longueur de séquence, en utilisant une fenêtre locale et une fenêtre longue fusionnées par inclusion-exclusion. Sur les modèles Qwen3 jusqu'à 128K de contexte, il dépasse les bases zero-shot existantes de plus de 2 points de pourcentage sur RULER et atteint la plus faible perplexité sur PG-19, tout en ajoutant moins de 4% de surcoût de génération.
2026-07-12
Intelligence Artificielle
Qoder d'Alibaba Cloud s'attaque au problème que les outils de codage IA évitent constamment
Alibaba Cloud lance Qoder, un agent de codage IA gratuit axé sur la visibilité de la base de code, la compréhension architecturale et les flux de travail Spec-first pour combler le fossé entre les démos IA virales et les défis réels du génie logiciel.
2026-07-12