IA
Intelligence artificielle : LLM, agents, diffusion, vision, NLP et les dernières nouvelles des grands laboratoires.
165 published articles
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
Interaction visuelle avec l'IA
Cursor offre aux développeurs un moyen plus intelligent de dire à l'IA quoi corriger : pointer du doigt
Le Design Mode mis à jour de Cursor permet aux ingénieurs et designers de modifier l'interface utilisateur en cliquant sur des éléments, en dessinant sur la page ou en parlant des changements à voix haute, tandis que l'agent IA extrait l'identité de l'élément, ses styles et le contexte de mise en page pour modifier le code. Cette approche accélère l'itération en alignant le rythme du modèle sur la façon dont les humains repèrent et agissent sur les problèmes visuels.
2026-07-12
Intelligence Artificielle
Qoder d'Alibaba montre aux développeurs ce que l'IA pense, pas seulement le code qu'elle a écrit
L'agent de codage Qoder d'Alibaba Cloud parie que les développeurs préfèrent la visibilité à la magie. Deux modes, un routage automatique des modèles et une couche de transparence visent à résoudre la complexité au lieu de la cacher.
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
Stratégie de données synthétiques
L'atlas de données de Nvidia montre pourquoi les données synthétiques importent plus que les poids des modèles
L'Atlas de prompts Nemotron Post-Training v3 de Nvidia fournit une carte interactive de milliards d'échantillons de données synthétiques, soulignant comment les données synthétiques ouvertes constituent la couche manquante pour construire des agents IA fiables. L'entreprise affirme que le comportement des agents doit être inspectable et que les données synthétiques, publiées ouvertement, sont le seul moyen de préserver les signaux propriétaires sans exposer les secrets commerciaux.
2026-07-12
Raisonnement mathématique
L'équipe M3 a trouvé un moyen d'empêcher les vérificateurs mathématiques d'IA de tricher, et c'est un plan pour chaque laboratoire
L'approche de M3 pour le raisonnement mathématique combine trois modèles experts, Proof, Verifier et Fixed, avec un cadre de recherche évolutive. Le compte rendu offre des détails rares sur le piratage des récompenses, l'alignement des vérificateurs et l'ingénierie nécessaire pour rendre les vérificateurs génératifs fiables dans les tâches de raisonnement à enjeux élevés.
2026-07-11
Stratégie des agents
Atlas est mort. La stratégie d'agent d'OpenAI se rétrécit et devient plus risquée.
OpenAI met fin à son navigateur expérimental ChatGPT Atlas moins d'un an après son lancement, absorbant ses enseignements dans de nouvelles fonctionnalités de productivité. L'arrêt reflète un pivotement de l'entreprise, de l'exploration à la consolidation, alors qu'elle court pour rattraper Anthropic sur les outils de travail agentiques.
2026-07-11
État de l’art
Quinze articles sur la génération par IA révèlent trois évolutions plus importantes que n’importe quel modèle seul
Une série de 15 articles sur la génération par IA révèle trois évolutions plus importantes que n’importe quel modèle seul : les pipelines multimodaux sont devenus courants, l’orchestration agentique remplace l’enchaînement manuel, et la rétroaction en temps réel transforme la génération d’un pari en une conversation.
2026-07-11
Rapport spécial
Le changement le plus discret dans l'IA d'entreprise cette année est un pari selon lequel les agents travaillent mieux en meute
OpenAI lance les agents d'espace de travail : des travailleurs IA persistants et basés dans le cloud qui fonctionnent dans ChatGPT et Slack, gèrent des flux de travail multi-étapes et partagent le contexte entre les équipes. Gratuit jusqu'au 6 mai 2026, puis basé sur des crédits. Un changement structurel des GPTs vers l'IA organisationnelle.
2026-07-11
Acquisition
Mistral s'offre une place en physique et une course contre NVIDIA et Ansys
Mistral s'achète une place dans la simulation physique, en acquérant les substituts neuronaux d'emmi AI pour la CFD et la turbulence du plasma. L'accord place Mistral en concurrence directe avec NVIDIA et Ansys sur le marché de l'ingénierie industrielle.
2026-07-11