Quotidien IA – 2026-07-13

Mots-clés:Grand modèle, Agent intelligent, Intelligence incarnée, GPT-5.6 Sol Ultra, Antigravity 2.0, Modèle du monde tactile TouchWorld

🔥 Focus

OpenAI lance la série de modèles GPT-5.6, Sol Ultra résout une conjecture mathématique vieille de 50 ans : OpenAI a officiellement lancé sa série de grands modèles GPT-5.6. Parmi eux, GPT-5.6 Sol Ultra, en coordonnant le travail de 64 sous-agents, a réussi à prouver en moins d’une heure la « Cycle Double Cover Conjecture » (conjecture de la double couverture par des cycles), non résolue depuis 50 ans en théorie des graphes. Bien que la communauté mathématique ait critiqué son manque d’« habitudes académiques » concernant la citation de la littérature antérieure, la simplicité et l’efficacité de cette preuve démontrent le potentiel immense des grands modèles de pointe dans le raisonnement scientifique automatisé et les découvertes mathématiques complexes. (Source : THE DECODER, sama)

OpenAI's GPT-5.6 Sol Ultra reportedly solves a 50-year-old math problem in under an hour

Google lance la plateforme de développement d’agents Antigravity 2.0 : Google DeepMind a présenté sa plateforme de développement d’agents de nouvelle génération, Antigravity 2.0, faisant évoluer l’IDE vers une architecture « agent-first ». Cette plateforme prend en charge les interactions asynchrones, la planification parallèle multi-workspaces ainsi que le fine-tuning local basé sur Gemini 3 (Tinker API), visant à permettre aux agents d’AI d’exécuter de manière autonome des tâches de développement logiciel de bout en bout à travers les éditeurs, les terminaux et les navigateurs. (Source : Google DeepMind Blog)

Introducing Google Antigravity

Le professeur Yang Shuo de HIT fonde « Poxiao Intelligence » et publie le modèle de monde tactile TouchWorld : L’équipe du professeur Yang Shuo du Harbin Institute of Technology (Shenzhen) a publié TouchWorld, un modèle de monde tactile orienté vers la manipulation dextre, et a fondé la startup d’embodied AI « Poxiao Intelligence ». Grâce à un alignement multimodal « vision-tactile », ce modèle permet aux robots non seulement de prédire les images futures, mais aussi de corriger leurs mouvements en temps réel grâce à des retours à haute fréquence, poussant les robots humanoïdes à passer de la « compréhension du monde » à la « manipulation sécurisée du monde ». (Source : 量子位)

98年哈工大教授创业,要做人形灵巧操作世界模型

La superpuce RTX Spark de NVIDIA se dévoile sur une machine réelle, fusionnant Grace et Blackwell : Lors du Bilibili World, NVIDIA a présenté pour la première fois un ordinateur portable équipé de la superpuce RTX Spark. Cette puce interconnecte directement un CPU Grace à 20 cœurs et un GPU Blackwell via la technologie NVLink-C2C, offrant 128 GB de mémoire unifiée et 1 Petaflop de puissance de calcul. Elle prend en charge l’exécution locale de grands modèles de 120B avec un contexte de 1 million de Tokens, permettant un fonctionnement efficace des agents personnels sur l’appareil (on-device). (Source : 量子位)

老黄RTX Spark真机现身Bilibili World!CPU and GPU directly soldered together, laptop runs 120B large model

🎯 Tendances

Google publie la série de modèles médicaux MedGemma et l’encodeur MedSigLIP : Google a publié le modèle multimodal MedGemma 27B et l’encodeur d’images médicales MedSigLIP. Le modèle 27B a obtenu un score de 87,7 % sur le benchmark MedQA, se rapprochant de DeepSeek R1 pour un coût d’inférence dix fois inférieur. Il prend en charge l’interprétation de dossiers médicaux électroniques complexes et d’imagerie médicale, offrant une base open-source solide pour la localisation et la protection de la vie privée de l’AI médicale. (Source : Google DeepMind Blog)

MedGemma: Our most capable open models for health AI development

Google publie VaultGemma 1B, le premier grand modèle à confidentialité différentielle : Google, en collaboration avec DeepMind, a publié VaultGemma 1B, le premier grand modèle open-source entraîné à partir de zéro avec la confidentialité différentielle (DP). L’équipe de recherche a dérivé des lois d’échelle (scaling laws) adaptées aux modèles de langage à confidentialité différentielle, empêchant la mémorisation de données sensibles par le modèle en ajoutant du bruit pendant l’entraînement, offrant ainsi un paradigme théorique et d’ingénierie pour le développement d’AI dans des domaines sensibles à la vie privée. (Source : Google DeepMind Blog)

VaultGemma: The world's most capable differentially private LLM

CUHK et Kuaishou Kling publient ShotStream, un framework de génération de vidéos en streaming : L’Université chinoise de Hong Kong (CUHK) et l’équipe de Kuaishou Kling ont publié conjointement ShotStream, un framework de génération de vidéos longues multi-caméras en streaming. Ce framework définit la synthèse multi-caméras comme une tâche de génération du plan suivant basée sur le contexte historique, introduisant un mécanisme de mémoire à double cache et un RoPE discontinu. Il atteint une génération en streaming en temps réel de 16 FPS sur un seul GPU H200, soit une accélération de plus de 25 fois par rapport aux modèles bidirectionnels traditionnels. (Source : 机器之心)

ECCV 2026 | 实时导演多镜头长视频! 港中文&快手可灵发布ShotStream

BioMatrix pousse les grands modèles biologiques vers une modélisation unifiée multimodale native : L’Université Renmin de Chine et l’équipe du Shanghai AI Laboratory ont publié le modèle de fondation biologique multimodal BioMatrix. Ce modèle mappe de manière unifiée les SMILES de petites molécules, les séquences de protéines, les structures 3D de molécules/protéines et le langage naturel dans un espace de Tokens discrets partagé. Sans encodeur ni adaptateur externe, il prend en charge nativement 80 tâches biologiques telles que la conception de molécules et le repliement des protéines sous une architecture unique Decoder-only. (Source : 机器之心)

用同一套语言读懂分子、蛋白与文本,BioMatrix推动生物大模型走向原生统一建模

Moonshot AI publie Kimi K2, un modèle MoE Agentic open-source : Moonshot AI a officiellement publié Kimi K2, un modèle Agentic open-source basé sur une architecture MoE, avec un nombre total de paramètres de 1T et 32B de paramètres activés. Kimi K2 a obtenu des résultats SOTA dans des évaluations de modèles open-source telles que SWE-bench Verified, Tau2 et AceBench, démontrant de fortes capacités de génération de code et d’exécution de tâches par des agents autonomes. (Source : teortaxesTex)

Kimi K2

Une équipe européenne publie Soofi S 30B-A3B, un grand modèle souverain open-source : L’équipe Soofi a publié Soofi S 30B-A3B, un grand modèle de fondation open-source ciblant l’allemand et l’anglais. Basé sur une architecture hybride Mixture-of-Experts (MoE) et Mamba, le modèle a été pré-entraîné sur 27 billions de Tokens et intègre la technologie de données synthétiques SYNTH, visant à fournir à l’Europe une alternative souveraine en AI avec un excellent rapport coût-efficacité. (Source : Dorialexander)

Soofi S 30B-A3B

Meta retire d’urgence la fonctionnalité Muse Image qui générait des photos AI d’utilisateurs Instagram sans autorisation : Quelques jours seulement après le lancement du modèle Muse Image, Meta a retiré d’urgence, sous la pression de l’opinion publique, une fonctionnalité controversée permettant aux utilisateurs de générer directement des photos AI d’autres personnes via des mentions @. Cette fonctionnalité, « activée par défaut » et ne nécessitant pas le consentement du propriétaire du portrait, a suscité de graves préoccupations éthiques et de confidentialité. Meta a reconnu que cette conception avait « dévié de sa trajectoire ». (Source : THE DECODER)

🧰 Outils

dcg : un outil de sécurité en Rust pour intercepter les commandes dangereuses des agents de programmation AI : Un développeur a publié en open-source dcg (Destructive Command Guard), un outil de sécurité écrit en Rust. Intégré comme un hook PreToolUse dans des agents tels que Claude Code ou Codex, cet outil utilise l’analyse de structure AST et un double moteur d’expressions régulières pour intercepter, avec une latence de l’ordre de la microseconde, des commandes catastrophiques comme rm -rf ou git reset --hard, protégeant ainsi l’espace de travail local du développeur. (Source : GitHub Trending)

destructive_command_guard

Zer0Fit : un service MCP local de machine learning zero-shot basé sur Google TabFM et TimesFM : Un développeur a publié en open-source Zer0Fit, qui encapsule les nouveaux modèles de fondation tabulaires et de séries temporelles TabFM et TimesFM de Google sous forme de service MCP. Avec seulement 25 lignes de code, les utilisateurs peuvent effectuer des prédictions, des classifications et des régressions zero-shot sur des ensembles de données classiques en langage naturel dans des clients comme Open WebUI ou Claude Code, évitant ainsi le processus fastidieux de réglage des hyperparamètres. (Source : Reddit r/MachineLearning)

ContextPaw : un outil proxy pour résoudre le bug de troncature silencieuse d’Ollama lors de requêtes concurrentes : Pour corriger le bug d’Ollama qui rejette silencieusement les informations de début et renvoie un code HTTP 200 OK lorsque le prompt dépasse la longueur de contexte (num_ctx), un développeur a lancé l’outil proxy ContextPaw. Sans modifier l’architecture d’Ollama, cet outil reconstruit les prompts via une stratégie consistant à « conserver le début et la fin, et éliminer le milieu », évitant ainsi que les agents à long contexte ne tombent en panne en raison de la perte du prompt système. (Source : Reddit r/OpenWebUI)

VultronRetriever : une famille de modèles de recherche hors ligne légers en tête du classement MTEB : La série de modèles de recherche VultronRetriever a été publiée sur HuggingFace. Cette famille de modèles (comprenant les versions 8B, 4.5B et 0.8B) se classe en tête du classement MTEB ViDoRe. La version Prime-8B, tout en maintenant un débit élevé, réduit l’empreinte de stockage de l’index par 16 et prend en charge un fonctionnement entièrement hors ligne sur des appareils mobiles tels que l’iPhone. (Source : Reddit r/MachineLearning)

VultronRetriever

Hallmark : un skill d’assistance pour rejeter les designs web au style de template AI : Together AI a publié l’outil d’assistance au design Hallmark, compatible avec Claude Code, Cursor et Codex. Cet outil intègre 20 thèmes et 57 critères d’audit anti-clichés AI. Grâce à des commandes telles que « Redesign » et « Study », il rejette les mises en page par défaut médiocres issues des données d’entraînement des LLM, aidant ainsi les développeurs à générer des designs web dessinés à la main ou minimalistes dotés d’une personnalité unique. (Source : GitHub Trending)

Hallmark

Inference AutoTune : distiller des modèles de pointe en SLM locaux avec 25 lignes de code : Sam Hogan a publié en open-source Inference AutoTune. Cet outil permet aux développeurs, avec seulement 25 lignes de code, de distiller n’importe quel grand modèle propriétaire de pointe en un petit modèle local (SLM) de 1 à 30B paramètres spécialisé dans une tâche. Il réduit les coûts d’inférence et la latence de plus de 90 % grâce au routage automatique des requêtes, le processus d’entraînement ne nécessitant que 2 heures et moins de 250 dollars. (Source : madiator)

Inference AutoTune

Modelr : conversion rapide d’images en modèles 3D en local sur Mac et iPhone : Un développeur a publié en open-source Modelr, une application de bureau et mobile basée sur Swift-MLX, portant les modèles Hunyuan3D-Paint/Shape sur la plateforme Apple Silicon. Sans nécessiter PyTorch ni de puissance de calcul dans le cloud, cet outil réalise la génération d’un maillage 3D à partir d’une image et le rendu de texture en temps réel en seulement 20 secondes sur une puce M4 Max. (Source : Reddit r/LocalLLaMA)

Modelr

📚 Apprentissage

learngraphtheory.org : un site d’apprentissage interactif et visuel pour les algorithmes de graphes : Pour pallier le pseudo-code rébarbatif des manuels traditionnels, un développeur a créé un site gratuit de visualisation interactive des algorithmes de graphes. Ce site utilise des animations dynamiques pour montrer le processus d’exécution d’algorithmes tels que BFS, DFS, les chemins les plus courts et les arbres couvrants, aidant les débutants à comprendre intuitivement les concepts clés de la théorie des graphes. (Source : Reddit r/deeplearning)

learngraphtheory

E2AM : un outil de suivi de la consommation d’énergie et des émissions de carbone pour l’entraînement PyTorch/HuggingFace : Des chercheurs ont publié en open-source la boîte à outils E2AM (Energy Efficient AI Models). En insérant simplement deux lignes de code, les développeurs peuvent surveiller automatiquement la consommation d’énergie réelle, les émissions de carbone et la précision par joule lors de l’entraînement de modèles PyTorch. L’outil calcule le gradient « précision-énergie » pour fournir un signal d’arrêt précoce scientifique, évitant ainsi le gaspillage de puissance de calcul inutile. (Source : Reddit r/deeplearning)

E2AM

L’usine de R&D intelligente en sciences des matériaux Golab lance un livestream en boucle fermée de plus de 100 heures : Co-créée par le Shanghai Institute for AI in Science et Gewu Zhiyan, l’usine intelligente de R&D en sciences des matériaux « Golab » a lancé une diffusion en direct continue. Cette usine boucle le cycle « calcul AI – expérimentation automatique – retour de données – auto-évolution du modèle », montrant l’ensemble du processus où de grands modèles d’AI planifient de manière autonome des tâches et pilotent des bras robotiques pour synthétiser des catalyseurs et des matériaux. (Source : 机器之心)

Golab

💼 Business

Vague de financements dans le secteur des données d’embodied AI, avec 4,47 milliards de yuans levés en un an : Une analyse de l’industrie des données d’embodied AI en Chine par QbitAI montre qu’au cours de l’année écoulée, 15 fournisseurs indépendants de données d’embodied AI ont réalisé un total de 34 levées de fonds, accumulant 4,47 milliards de yuans. Parmi eux, « Lightwheel Intelligence », spécialisé dans la collecte mixte de données de simulation et réelles, a bouclé 6 levées de fonds pour un montant cumulé de 3,1 milliards de yuans, avec une valorisation dépassant les 2 milliards de dollars, devenant ainsi la première licorne mondiale de données d’embodied AI. (Source : 量子位)

具身数据

S&P abaisse la note de crédit d’Oracle, qualifiant OpenAI de « risque de crédit clé » : S&P Global a abaissé la note de crédit d’Oracle à « BBB- », frôlant la catégorie spéculative (junk bond). S&P souligne que les dépenses d’infrastructure AI d’Oracle dépassent les prévisions, avec des dépenses d’investissement estimées à 95 milliards de dollars d’ici 2027, alors qu’OpenAI représente près de la moitié de ses obligations contractuelles. En cas de fluctuations financières d’OpenAI, Oracle ferait face à un risque important de dette liée à des capacités de calcul inutilisées. (Source : THE DECODER)

Oracle

Tang Jie, fondateur de Zhipu AI, publie une lettre interne intitulée « La vague géante est arrivée », remodelant le récit de l’AGI pour éviter le piège de la valorisation SaaS : Dans le contexte de la première libération d’actions et de la chute de la valorisation de MiniMax, le fondateur de Zhipu AI, Tang Jie, a publié une lettre interne. Il y minimise délibérément l’activité de génération de code (Coding) déjà monétisée pour mettre l’accent sur des récits d’AGI de pointe tels que la planification de tâches à long terme (Long Horizon Task) et l’auto-évolution, tentant ainsi d’éloigner le marché des capitaux de l’évaluation par les indicateurs financiers traditionnels du SaaS. (Source : 36氪)

智谱

🌟 Communauté

Anthropic retire Fable 5 de l’abonnement pour le passer en API payante, provoquant une vague de désabonnements : La décision d’Anthropic de retirer le modèle Fable 5 de l’abonnement Claude Pro pour le basculer vers un modèle d’API entièrement facturé au Token a suscité une vive réaction de la communauté. De nombreux utilisateurs ont déclaré s’être désabonnés de Claude pour se tourner vers GPT-5.6 Sol. La communauté s’accorde à dire qu’alors qu’OpenAI propose le modèle Sol à un prix abordable, l’initiative d’Anthropic revient à « se tirer une balle dans le pied ». (Source : Reddit r/ClaudeAI, kimmonismus)

Fable 5

Altman change d’avis et affirme que l’AI « crée des emplois nets », contrastant avec ses prévisions pessimistes précédentes : Le CEO d’OpenAI, Sam Altman, a publié sur les réseaux sociaux que, selon les données actuelles, l’AI est en réalité « créatrice nette d’emplois » à ce stade, reconnaissant que cela va à l’encontre de ses prévisions pessimistes antérieures selon lesquelles l’AI provoquerait des licenciements massifs rapides. Parallèlement, le CEO d’Anthropic, Dario Amodei, a également nuancé sa déclaration selon laquelle « l’AI entraînerait un taux de chômage de 20 % », préférant souligner que l’AI est un multiplicateur de productivité. (Source : THE DECODER, sama)

Altman

La conception de mémoire structurée pour les agents devient une tendance, résolvant le problème de la « dégradation du contexte » dans les longues conversations : Lors de tests sur un agent d’AI pour Slay the Spire 2, le projet AgenticSTS a doublé le taux de victoire de l’AI et divisé par près de cent la consommation de Tokens par requête en introduisant une mémoire structurée à cinq niveaux (L1-L5) pour remplacer les historiques de chat cumulatifs traditionnels. Ce résultat a suscité un consensus au sein de la communauté : la conception future des agents devrait se concentrer sur « l’extraction des états et des points de décision » plutôt que de renvoyer aveuglément l’intégralité de l’historique de la conversation. (Source : THE DECODER, wordgrammer)

Slay the Spire 2

Des entreprises subissent un « retour de bâton de l’AI » après des licenciements aveugles et sont contraintes de réembaucher des humains : Selon une enquête d’organismes comme Orgvue, parmi les entreprises ayant licencié en raison du déploiement de l’AI (près de 40 % d’entre elles), 55 % admettent avoir pris une mauvaise décision. Des géants comme Ford ou la Commonwealth Bank of Australia, après avoir remplacé des ingénieurs et des conseillers clientèle par des systèmes automatisés, ont vu l’efficacité de leurs activités chuter gravement en raison de pannes fréquentes et de l’absence de correction humaine. Ils ont dû réembaucher d’urgence les employés licenciés, révélant que l’AI ne peut pas encore se passer totalement des humains. (Source : 36氪)

AI反噬

Les risques de sécurité du Vibe Coding éclatent : des applications générées en masse par AI exposent des données sensibles sur le web public : Des erreurs de configuration dans des bases de données cloud comme Supabase ont conduit à la fuite de millions de jetons API et de données privées d’utilisateurs sur le web public pour plusieurs applications générées « sans code » par AI, telles que Moltbook. Les agences de sécurité avertissent que si les outils d’AI abaissent considérablement la barrière à l’entrée du développement d’applications, ils incitent également de nombreux développeurs non professionnels manquant de sensibilisation à la sécurité à déployer directement en production des applications « nues » n’ayant subi aucun audit de sécurité. (Source : 36氪)

Vibe Coding

La moyenne des étudiants divisée par deux après l’interdiction de l’AI par un professeur de Brown, suscitant des inquiétudes sur le « déclin cognitif lié à l’AI » : Après avoir constaté que la moyenne d’un examen take-home était anormalement élevée (96 %), un professeur d’économie de l’Université Brown a modifié l’examen final pour en faire une épreuve écrite à livre fermé. La moyenne de la classe a alors chuté à 48,6 %, avec 19 recalés. Plusieurs études confirment que si l’assistance de l’AI peut réduire le temps de travail, l’absence de réflexion indépendante conduit à un effondrement des performances des étudiants lors de tests individuels, créant un grave « déficit d’apprentissage ». (Source : THE DECODER)

AI作弊

💡 Divers

Apple publie un article sur la fuite de confidentialité comportementale dans les négociations entre agents : Apple a publié un article lors de la conférence ARES 2026, explorant le risque de « fuite de confidentialité comportementale » chez les agents de négociation autonomes. L’étude souligne que les adversaires peuvent déduire le seuil de réserve privé d’une partie en observant des caractéristiques comportementales telles que la trajectoire des offres et le timing. L’article propose une stratégie aléatoire adaptative qui, tout en garantissant la convergence des protocoles, réduit avec succès la précision de l’inférence de confidentialité de l’adversaire de 43 à 50 %. (Source : Apple Machine Learning Research)

Apple

Johannes Heidecke, responsable de la sécurité chez OpenAI, annonce son départ : Alors que la série de modèles GPT-5.6 vient d’être publiée, le responsable de la sécurité d’OpenAI, Johannes Heidecke, a annoncé son départ. Il s’agit du troisième cadre de direction à quitter OpenAI cette semaine, après le futurologue en chef Joshua Achiam et la responsable de l’AGI Fidji Simo, illustrant les tensions persistantes au sein de l’entreprise entre gouvernance de la sécurité et accélération commerciale. (Source : The Verge)

Johannes Heidecke

Une enquête révèle que des groupes terroristes utilisent les principaux chatbots d’AI pour planifier des attaques : Le programme pour la science et la politique de l’AI de l’Université de Cambridge (CASP) a publié un rapport indiquant que des groupes terroristes, notamment Boko Haram et l’ISWAP, utilisent largement des outils d’AI tels que ChatGPT, Claude, Grok et DeepSeek pour la planification d’attaques, la fabrication d’explosifs et la formation au contournement des filtres de sécurité, mettant en évidence les défis majeurs de l’alignement de sécurité et de la prévention du jailbreak des grands modèles actuels. (Source : THE DECODER)

Terrorist

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *