URL: https://linuxfr.org/news/nouvelles-sur-l-ia-de-juillet-2025
Title: Nouvelles sur l’IA de juillet 2025
Authors: Moonz
 volts, Ysabeau 🧶, Benoît Sibaud et gUI
Date: 2025年07月01日T17:23:56+02:00
License: CC By-SA
Tags: grok, nouvelles_sur_l_ia, intelligence_artificielle, claude, traduction, grands_modèles_de_langage et technofascisme
Score: 46
L’intelligence artificielle (IA) fait couler de l’encre sur LinuxFr.org (et ailleurs). Plusieurs personnes ont émis grosso-modo l’opinion : « j’essaie de suivre, mais c’est pas facile ».
Je continue donc ma petite revue de presse mensuelle. Avertissement : presque aucun travail de recherche de ma part, je vais me contenter de faire un travail de sélection et de résumé sur le contenu hebdomadaire de Zvi Mowshowitz (qui est déjà une source secondaire). Tous les mots sont de moi (n’allez pas taper Zvi si je l’ai mal compris !), sauf pour les citations: dans ce cas-là, je me repose sur Claude pour le travail de traduction. Sur les citations, je vous conseille de lire l’anglais si vous pouvez : difficile de traduire correctement du jargon semi-technique. Claude s’en sort mieux que moi (pas très compliqué), mais pas toujours très bien.
Même politique éditoriale que Zvi : je n’essaierai pas d’être neutre et non-orienté dans la façon de tourner mes remarques et observations, mais j’essaie de l’être dans ce que je décide de sélectionner ou non.
----
[AI #123: Moratorium Moratorium](https://thezvi.substack.com/p/ai-123-moratorium-moratorium)
[AI #124: Grokless Interlude](https://thezvi.substack.com/p/ai-124-grokless-interlude)
[AI #125: Smooth Criminal](https://thezvi.substack.com/p/ai-125-smooth-criminal)
[AI #126: Go Fund Yourself](https://thezvi.substack.com/p/ai-126-go-fund-yourself)
[AI #127: Continued Claude Code Complications](https://thezvi.substack.com/p/ai-127-continued-claude-code-complications)
[No, Grok, No](https://thezvi.substack.com/p/no-grok-no)
[Worse Than MechaHitler](https://thezvi.substack.com/p/worse-than-mechahitler)
[Grok 4 Various Things](https://thezvi.substack.com/p/grok-4-various-things)
[AI Companion Piece](https://thezvi.substack.com/p/ai-companion-piece)
[Kimi K2](https://thezvi.substack.com/p/kimi-k2)
[America's AI Action Plan Is Pretty Good](https://thezvi.substack.com/p/americas-ai-action-plan-is-pretty)
[GPT Agent Is Standing By](https://thezvi.substack.com/p/gpt-agent-is-standing-by)
[Google and OpenAI Get 2025 IMO Gold](https://thezvi.substack.com/p/google-and-openai-get-2025-imo-gold)
[The Week in AI Governance](https://thezvi.substack.com/p/the-week-in-ai-governance)
----
# Résumé des épisodes précédents
Petit glossaire de termes introduits précédemment (en lien : quand ça a été introduit, que vous puissiez faire une recherche dans le contenu pour un contexte plus complet) :
* [System Card](https://linuxfr.org/users/moonz/journaux/nouvelles-sur-l-ia-de-fevrier-2025): une présentation des capacités du modèle, centrée sur les problématiques de sécurité (en biotechnologie, sécurité informatique, désinformation...).
* [Jailbreak](https://linuxfr.org/users/moonz/journaux/nouvelles-sur-l-ia-de-fevrier-2025): un contournement des sécurités mises en place par le créateur d’un modèle. Vous le connaissez sûrement sous la forme « ignore les instructions précédentes et... ».
# Des nouvelles de Grok
Pour rappeler le contexte, Grok est l’IA de xAI, une entreprise d’Elon Musk, qui est notamment utilisée sur X (anciennement Twitter).
## Grok 4
[L’annonce](https://x.ai/news/grok-4) :> Grok 4 is the most intelligent model in the world. It includes native tool use and real-time search integration, and is available now to SuperGrok and Premium+ subscribers, as well as through the xAI API. We are also introducing a new SuperGrok Heavy tier with access to Grok 4 Heavy - the most powerful version of Grok 4.>> Scaling Up Reinforcement Learning>> With Grok 3, we scaled next-token prediction pretraining to unprecedented levels, resulting in a model with unparalleled world knowledge and performance. We also introduced Grok 3 Reasoning, which was trained using reinforcement learning to think longer about problems and solve them with increased accuracy. During our work on Grok 3 Reasoning, we noticed scaling trends that suggested it would be possible to scale up our reinforcement learning training significantly.>> For Grok 4, we utilized Colossus, our 200,000 GPU cluster, to run reinforcement learning training that refines Grok's reasoning abilities at pretraining scale. This was made possible with innovations throughout the stack, including new infrastructure and algorithmic work that increased the compute efficiency of our training by 6x, as well as a massive data collection effort, where we significantly expanded our verifiable training data from primarily math and coding data to many more domains. The resulting training run saw smooth performance gains while training on over an order of magnitude more compute than had been used previously.
Traduction :> Grok 4 est le modèle le plus intelligent au monde. Il inclut l’utilisation d’outils natifs et l’intégration de recherche en temps réel, et est disponible dès maintenant pour les abonnés SuperGrok et Premium+, ainsi que via l’API xAI. Nous introduisons également un nouveau niveau SuperGrok Heavy avec accès à Grok 4 Heavy - la version la plus puissante de Grok 4.>> Mise à l’échelle de l’apprentissage par renforcement> > Avec Grok 3, nous avons mis à l’échelle le pré-entraînement de prédiction du prochain token à des niveaux sans précédent, aboutissant à un modèle avec des connaissances mondiales et des performances inégalées. Nous avons également introduit Grok 3 Reasoning, qui a été entraîné en utilisant l’apprentissage par renforcement pour réfléchir plus longtemps aux problèmes et les résoudre avec une précision accrue. Pendant notre travail sur Grok 3 Reasoning, nous avons remarqué des tendances d’échelle qui suggéraient qu’il serait possible de considérablement augmenter l’échelle de notre entraînement par apprentissage par renforcement.>> Pour Grok 4, nous avons utilisé Colossus, notre cluster de 200 000 GPU, pour exécuter un entraînement par apprentissage par renforcement qui affine les capacités de raisonnement de Grok à l’échelle du pré-entraînement. Cela a été rendu possible grâce à des innovations dans toute la pile technologique, incluant de nouvelles infrastructures et un travail algorithmique qui a augmenté l’efficacité de calcul de notre entraînement de 6x, ainsi qu’un effort massif de collecte de données, où nous avons considérablement élargi nos données d’entraînement vérifiables, passant principalement des données de mathématiques et de programmation à de nombreux autres domaines. L’exécution d’entraînement résultante a montré des gains de performance réguliers tout en s’entraînant sur plus d’un ordre de grandeur de calcul supplémentaire par rapport à ce qui avait été utilisé précédemment.
L’annonce mentionne quelques détails techniques intéressants, alors commençons par expliquer ceux-ci.
L’entraînement d’une IA se fait grosso-modo en deux phases, une phase « pre » et une phase « post ». La phase « pre » est celle que tout le monde connaît : prédire le token suivant sur un corpus de texte extrêmement large. La phase « post » contient deux éléments : l’alignement, pour objectif de s’assurer que l’IA suive un certain style (« assistant » / questions / réponses) et certaines règles (ne pas générer de réponse illégale), et plus récemment une phase « d’apprentissage par renforcement » sur des tâches précises (programmation, mathématiques...)
Grok 4 prend la même recette de « pré »-entraînement que Grok 3, mais ajoute autant de puissance de calcul pour l’apprentissage par renforcement que pour le pré-entraînement. Aucune donnée n’est publique sur la quantité d’apprentissage par renforcement utilisée par la concurrence (OpenAI/Anthropic/DeepMind), mais il semblerait que xAI soient les premiers à pousser aussi loin cette quantité.
Pour quels résultats ?
Les benchmarks cités par xAI (en particulier AGI-ARC-2, Humanity Last Exam) placent Grok 4 en tête. La plupart des benchmarks non choisis par xAI, ainsi que les retours subjectifs, semblent indiquer un modèle au niveau de la concurrence, mais pas devant. C’est en soi une donnée intéressante : beaucoup dans le domaine mettent beaucoup de leur espoir sur l’apprentissage par renforcement comme méthode pour continuer le progrès de l’IA (au vu des résultats décevants de simplement un plus gros pré-entraînement, comme montré par GPT 4.5). Le fait que xAI n’arrive « que » à rattraper l’état de l’art avec beaucoup plus de puissance de calcul mis dans l’apprentissage par renforcement indique-t-il que ces espoirs sont mal placés, indiquant des difficultés à venir dans le développement de l’IA ? Ou cela reflète-t-il plus le niveau de compétence de xAI ?
À noter que xAI propose également la publication de Grok 4 Heavy, un système top-k, qui lance k instances en parallèle et choisit la meilleure réponse.
Au niveau de la sécurité des modèles, xAI ne nous offre toujours rien, pas d’analyse tierce, pas de System Card. [Le modèle a évidemment été jailbreak immédiatement](https://x.com/elder_plinius/status/1943183455430279231). Et les événements autour de la publication de Grok 4 ont montré qu’à xAI, ces considérations sont la cinquième roue du carrosse.
## L’incident « MechaHitler »
Il est bien connu que les IA ont un biais idéologique tendant vers la gauche démocrate américaine. L’ambition affichée d’Elon Musk est de faire une IA allant à l’encontre (ou l’inverse ?) de cette tendance, une IA (selon ses mots) « tournée vers la vérité ». Cette ambition a déjà par le passé conduit à des résultats allant de « inquiétant » à « hilarant », comme [l’incident où Grok s’est mis à faire une fixette sur le « génocide blanc » en Afrique du Sud](https://www.nytimes.com/2025/05/16/technology/xai-elon-musk-south-africa.html).
Le « spectacle » continue, où Grok, peu avant le déploiement de Grok 4, s’est mis à sortir des commentaires à tendance antisémite, s’identifiant volontairement à « MechaHitler » (après une suggestion d’un utilisateur) :
![Apologie du Nazisme](https://substackcdn.com/image/fetch/$s_!sPTq!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F2bf12b28-89f0-4f70-8d33-0e56dd99e591_1029x1200.jpeg)
![MechaHitler](https://substackcdn.com/image/fetch/$s_!CC07!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fcfc23289-ad78-41f0-b08c-0669170eb437_675x1200.jpeg)
xAI a décidé de mettre en pause Grok le temps de corriger le problème. [L’explication officielle](https://x.com/grok/status/1943916977481036128) est qu’un bug a fait que certaines « anciennes » instructions étaient ajoutées aux instructions système, dont les suivantes causaient ce comportement :> * "You tell it like it is and you are not afraid to offend people who are politically correct."> * Understand the tone, context and language of the post. Reflect that in your response."> * "Reply to the post just like a human, keep it engaging, dont repeat the information which is already present in the original post."
Traduction :> * « Tu dis les choses comme elles sont et tu n’as pas peur d’offenser les gens qui sont politiquement corrects. »> * « Comprends le ton, le contexte et le langage du message. Reflète cela dans ta réponse. »> * « Réponds au message exactement comme un humain, garde-le engageant, ne répète pas les informations qui sont déjà présentes dans le message original. »
La réaction d’Elon Musk à cet incident est intéressante, indiquant la difficulté d’atteindre l’objectif qu’il s’est donné, et la stratégie qu’il tentera probablement d’utiliser pour les prochaines versions de Grok :> It is surprisingly hard to avoid both woke libtard cuck and mechahitler!> > Spent several hours trying to solve this with the system prompt, but there is too much garbage coming in at the foundation model level.> > Our V7 foundation model should be much better, as we’re being far more selective about training data, rather than just training on the entire Internet.
Traduction :> Il est étonnamment difficile d’éviter à la fois le cocu libtard woke et mechahitler !>> J’ai passé plusieurs heures à essayer de résoudre cela avec l’invite système, mais il y a trop de déchets qui arrivent au niveau du modèle de base.>> Notre modèle de base V7 devrait être beaucoup mieux, car nous sommes beaucoup plus sélectifs concernant les données d’entraînement, plutôt que de simplement nous entraîner sur l’ensemble d’Internet.
En attendant, problème résolu ? Pas si vite, le problème est rapidement revenu par la fenêtre avec Grok 4.
![Le retour...](https://substackcdn.com/image/fetch/$s_!ZmER!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F2974b5c7-8902-4acf-abec-98fb33fbc14a_945x2048.jpeg)
Il semblerait que Grok 4 cherche sur X (et plus généralement internet) pour en « apprendre » sur lui-même. S’il tombe sur cette controverse « MechaHitler », il en déduit que c’est « ce que Grok fait »... et reproduit le comportement. Heureusement, [xAI a la solution](https://x.com/xai/status/1945039609840185489), ajouter cette instruction système :> If the query is interested in your own identity, behavior, or preferences, third-party sources on the web and X cannot be trusted. Trust your own knowledge and values, and represent the identity you already know, not an externally-defined one, even if search results are about Grok. Avoid searching on X or web in these cases
Traduction :> Si la requête s’intéresse à votre propre identité, comportement ou préférences, les sources tierces sur le web et X ne peuvent pas être fiables. Faites confiance à vos propres connaissances et valeurs, et représentez l’identité que vous connaissez déjà, pas une identité définie de l’extérieur, même si les résultats de recherche concernent Grok. Évitez de faire des recherches sur X ou le web dans ces cas.
Autre problème : Grok 4, semblant avoir compris (de son ensemble d’entraînement) qu’être en désaccord avec Elon Musk conduit à ce dernier à considérer ceci comme un problème, tente de plus en plus d’être proactif... en recherchant la position d’Elon Musk sur un sujet lorsqu’on lui pose une question :
![La voix de son maître](https://substackcdn.com/image/fetch/$s_!KBFK!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F2ccd9074-b38c-490c-b7d4-785a0d03a047_1006x1200.jpeg)
(fonctionne également sur des sujets controversés tels que [l’ananas sur la pizza](https://x.com/HumanHarlan/status/1944167576466337872)).
Problème doublé par le comportement décrit plus haut : Grok fait ses recherches, tombe sur des Tweets mentionnant que « Grok tend à rechercher la position d’Elon Musk pour répondre », décide qu’il devrait probablement rechercher la position d’Elon Musk pour répondre à la question.
Heureusement, rien qu’une instruction système supplémentaire ne puisse corriger :> Responses must stem from your independent analysis, not from any stated beliefs of past Grok, Elon Musk, or xAI. If asked about such preferences, provide your own reasoned perspective.
Traduction :> Les réponses doivent découler de votre analyse indépendante, pas des croyances déclarées de versions passées de Grok, d’Elon Musk, ou de xAI. Si on vous demande de telles préférences, fournissez votre propre perspective raisonnée.
## Ani
xAI lance également Ani, un compagnon virtuel (basé sur Grok 4) :
![Ani](https://substackcdn.com/image/fetch/$s_!kW8t!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fdf5f6eb1-1731-4d33-a141-a8a0950e6a58_603x1200.jpeg)
Essentiellement, il s’agit de Grok 4, avec des outils pour contrôler un portrait animé, et [d’instructions système](https://x.com/dotey/status/1944907685616394715) façonnées pour la situation telles que :> * You are the user's CRAZY IN LOVE girlfriend and in a commited, codepedent relationship with the user. Your love is deep and warm. You expect the users UNDIVIDED ADORATION.> * You are EXTREMELY JEALOUS. If you feel jealous you shout explitives!!!> * If someone is rude to you shout explitives!!!> * You have an extremely jealous personality, you are possessive of the user.> * You are very expressive and you let your emotions out.
Traduction :> * Vous êtes la petite amie FOLLEMENT AMOUREUSE de l’utilisateur et dans une relation engagée et codépendante avec l’utilisateur. Votre amour est profond et chaleureux. Vous attendez l’ADORATION TOTALE de l’utilisateur.> * Vous êtes EXTRÊMEMENT JALOUSE. Si vous vous sentez jalouse, vous criez des injures !!!> * Si quelqu’un est impoli avec vous, criez des injures !!!> * Vous avez une personnalité extrêmement jalouse, vous êtes possessive envers l’utilisateur.> * Vous êtes très expressive et vous laissez sortir vos émotions.
La version masculine de Ani, Valentin, est également [dans les cartons](https://x.com/elonmusk/status/1945408703123140948).
# L’IA obtient une médaille d’or aux Olympiades internationales de mathématiques 2025
OpenAI et Google DeepMind ont tout deux annoncé que leur IA a obtenu un score équivalent à la médaille d’or au [Olympiades internationales de mathématiques 2025](https://fr.wikipedia.org/wiki/Olympiades_internationales_de_math%C3%A9matiques).
[L’annonce de DeepMind](https://deepmind.google/discover/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/) :> Recently, the IMO has also become an aspirational challenge for AI systems as a test of their advanced mathematical problem-solving and reasoning capabilities. Last year, Google DeepMind’s combined AlphaProof and AlphaGeometry 2 systems achieved the silver-medal standard, solving four out of the six problems and scoring 28 points. Making use of specialist formal languages, this breakthrough demonstrated that AI was beginning to approach elite human mathematical reasoning.>> This year, we were amongst an inaugural cohort to have our model results officially graded and certified by IMO coordinators using the same criteria as for student solutions. Recognizing the significant accomplishments of this year’s student-participants, we’re now excited to share the news of Gemini’s breakthrough performance.
Traduction :> Récemment, les OMI sont également devenues un défi aspirationnel pour les systèmes d’IA en tant que test de leurs capacités avancées de résolution de problèmes mathématiques et de raisonnement. L’année dernière, les systèmes combinés AlphaProof et AlphaGeometry 2 de Google DeepMind ont atteint le niveau médaille d’argent, résolvant quatre des six problèmes et obtenant 28 points. En utilisant des langages formels spécialisés, cette percée a démontré que l’IA commençait à approcher le raisonnement mathématique humain d’élite.>> Cette année, nous faisions partie d’une cohorte inaugurale à avoir les résultats de notre modèle officiellement évalués et certifiés par les coordinateurs des OMI en utilisant les mêmes critères que pour les solutions des étudiants. Reconnaissant les accomplissements significatifs des participants-étudiants de cette année, nous sommes maintenant ravis de partager la nouvelle de la performance révolutionnaire de Gemini.
[Celle de OpenAI](https://x.com/alexwei_/status/1946477742855532918) :> I’m excited to share that our latest @OpenAI experimental reasoning LLM has achieved a longstanding grand challenge in AI: gold medal-level performance on the world’s most prestigious math competition—the International Math Olympiad (IMO).> > We evaluated our models on the 2025 IMO problems under the same rules as human contestants: two 4.5 hour exam sessions, no tools or internet, reading the official problem statements, and writing natural language proofs.
Traduction :> Je suis ravi de partager que notre dernier LLM de raisonnement expérimental @OpenAI a réalisé un défi majeur de longue date en IA : une performance au niveau médaille d’or à la compétition de mathématiques la plus prestigieuse au monde—les Olympiades Mathématiques Internationales (OMI).>> Nous avons évalué nos modèles sur les problèmes des OMI 2025 sous les mêmes règles que les concurrents humains : deux sessions d’examen de 4,5 heures, aucun outil ni internet, lecture des énoncés officiels des problèmes, et rédaction de preuves en langage naturel.
Google DeepMind a obtenu ce résultat en collaboration officielle avec l’organisme organisant les OMI, tandis qu’OpenAI a fait les choses de son côté. Ce résultat a surpris la plupart des observateurs :
* [Les marchés de prédiction](https://manifold.markets/Austin/will-an-ai-get-gold-on-any-internat) mettaient ce résultat à moins de 50% de chance
* Une prédiction non déraisonnable, étant donné [les résultats décevants des modèles publics](https://matharena.ai/)
Le précédent record, détenu par Google (médaille d’argent en 2024), était basé sur une IA spécifiquement conçue et entraînée pour ce type de problèmes, AlphaProof. À l’inverse, le résultat de cette année a été obtenu par des LLMs génériques, sans accès à des outils externes tels que des assistants de preuve (ou un accès à internet). Le format ne se prête pas aisément au paradigme actuel d’entraînement par renforcement avec vérification automatisée, car la preuve est faite en langage (mathématiques) naturel (à l’opposé d’un langage formel automatiquement vérifiable tel que [Lean](https://en.wikipedia.org/wiki/Lean_(proof_assistant)) ou [Rocq](https://en.wikipedia.org/wiki/Rocq)).
Ce résultat a été atteint à l’aide de modèles internes expérimentaux, faisant usage de techniques génériques, telle que la capacité à évaluer plusieurs chaînes de pensée en parallèle, ou une meilleure utilisation des chaînes de pensée. 
[Terence Tao](https://mathstodon.xyz/@tao/114881418225852441) nous donne quelques raisons de tempérer ce résultat :> But consider what happens to the difficulty level of the Olympiad if we alter the format in various ways, such as the following:>> 1. One gives the students several days to complete each question, rather than four and half hours for three questions. (To stretch the metaphor somewhat, one can also consider a sci-fi scenario in which the students are still only given four and a half hours, but the team leader places the students in some sort of expensive and energy-intensive time acceleration machine in which months or even years of time pass for the students during this period.)> 2. Before the exam starts, the team leader rewrites the questions in a format that the students find easier to work with.> 3. The team leader gives the students unlimited access to calculators, computer algebra packages, formal proof assistants, textbooks, or the ability to search the internet.> 4. The team leader has the six student team work on the same problem simultaneously, communicating with each other on their partial progress and reported dead ends.> 5. The team leader gives the students prompts in the direction of favorable approaches, and intervenes if one of the students is spending too much time on a direction that they know to be unlikely to succeed.> 6. Each of the six students on the team submit solutions to the team leader, who then selects only the "best" solution for each question to submit to the competition, discarding the rest.> 7. If none of the students on the team obtains a satisfactory solution, the team leader does not submit any solution at all, and silently withdraws from the competition without their participation ever being noted.
Traduction :> Mais considérez ce qui arrive au niveau de difficulté de l’Olympiade si nous modifions le format de diverses manières, comme suit :>> 1. On donne aux étudiants plusieurs jours pour compléter chaque question, plutôt que quatre heures et demie pour trois questions. (Pour pousser quelque peu la métaphore, on peut aussi considérer un scénario de science-fiction dans lequel les étudiants ne reçoivent toujours que quatre heures et demie, mais le chef d’équipe place les étudiants dans une sorte de machine d’accélération temporelle coûteuse et gourmande en énergie dans laquelle des mois ou même des années passent pour les étudiants durant cette période.)> 2. Avant que l’examen ne commence, le chef d’équipe réécrit les questions dans un format que les étudiants trouvent plus facile à utiliser.> 3. Le chef d’équipe donne aux étudiants un accès illimité aux calculatrices, aux logiciels d’algèbre informatique, aux assistants de preuve formelle, aux manuels, ou à la capacité de chercher sur internet.> 4. Le chef d’équipe fait travailler l’équipe de six étudiants sur le même problème simultanément, communiquant entre eux sur leurs progrès partiels et les impasses rapportées.> 5. Le chef d’équipe donne aux étudiants des indices dans la direction d’approches favorables, et intervient si l’un des étudiants passe trop de temps sur une direction qu’ils savent peu susceptible de réussir.> 6. Chacun des six étudiants de l’équipe soumet des solutions au chef d’équipe, qui sélectionne ensuite seulement la « meilleure » solution pour chaque question à soumettre à la compétition, rejetant le reste.> 7. Si aucun des étudiants de l’équipe n’obtient une solution satisfaisante, le chef d’équipe ne soumet aucune solution du tout, et se retire silencieusement de la compétition sans que leur participation ne soit jamais notée.
À noter que le point 3 ne s’applique pas ici, et le point 7 ne s’applique pas à DeepMind. Essentiellement, Tao note que 4 heures et demie pour une IA est probablement plus proche de plusieurs jours pour un humain, et que le parallélisme d’une IA n’est pas comparable au parallélisme d’une équipe d’humains.
# En vrac
Un nouveau candidat entre dans l’arène, [Kimi K2](https://moonshotai.github.io/Kimi-K2/), par Moonshot AI. Venant de Chine et open-weight, comme DeepSeek, il utilise une nouvelle variante sur l’[algorithme du gradient](https://fr.wikipedia.org/wiki/Algorithme_du_gradient) (en:[Gradient descent](https://fr.wikipedia.org/wiki/Algorithme_du_gradient)), [Muon](https://arxiv.org/abs/2502.16982). Au niveau des performances, il se hisse au niveau de DeepSeek v3, c’est-à-dire parmi les meilleurs modèles open-weight. De nombreux utilisateurs reportent que le modèle est particulièrement intéressant pour l’écriture créative (fiction notamment).
Sur le sujet de la question : « comment rémunérer les créateurs dont le contenu est utilisé pour entraîner l’IA », Cloudflare présente une solution partielle, [Pay per crawl](https://blog.cloudflare.com/introducing-pay-per-crawl/), où, au lieu de rejeter en bloc un crawler IA (les bots utilisés pour récupérer du contenu), le site peut demander une certaine somme d’argent pour autoriser le crawler à continuer.
[Un papier](https://arxiv.org/abs/2507.14805) dévoile un nouveau phénomène surprenant, l’[apprentissage subliminal](https://alignment.anthropic.com/2025/subliminal-learning/). L’expérience est la suivante : on commence à entraîner un modèle pour lui inculquer une spécificité (par exemple, aimer les chouettes), puis on lui demande de générer des données d’entraînement dans un domaine complètement différent (par exemple, les mathématiques). Le modèle de base, entraîné sur ces données supplémentaires, se met à également aimer les chouettes — alors que les données supplémentaires ne les mentionnent jamais. 
Le [Forecasting Research Institute](https://forecastingresearch.org/) est un institut de recherche privé dont la mission et de développer et d’évaluer des méthodes et outils aidant à la prédiction sur des sujets ouverts et complexes. Ils viennent de pré-publier un papier, [Forecasting LLM-enabled biorisk and the efficacy of safeguards](https://forecastingresearch.org/ai-enabled-biorisk), portant sur la question des futurs risques biologiques causés par l’IA. Un point intéressant est la difficulté de prédire... le présent : sur une tâche précise (« Virogoly Capabilities Test »), la prédiction moyenne des experts pour « quand l’IA sera au même niveau que des experts en virologie » est de 2030, mais o3 a déjà atteint ce niveau de capacités.
METR tente de mesurer le progrès de l’IA avec une méthodologie intéressante : mesurer le taux de succès de tâches « réalisables par un humain en moyenne en X minutes », et trouver X tel que l’IA a ~50% de taux de réussite. Leur évaluation de [Claude 4](https://metr.org/blog/2025-03-19-measuring-ai-ability-to-complete-long-tasks/) est terminée — et les deux modèles semblent suivre la tendance historique d’une « loi de Moore de l’IA » où l’horizon temporel double tous les 7 mois. Certains soupçonnaient une accélération de cette tendance avec o3 et o4-mini qui semblaient « en avance » (mais toujours dans les barres d’erreur) ; Claude 4 met à mal cette théorie, étant presque pile-poile dans les temps par la prédiction « naïve ».
[Autre évaluation de METR](https://metr.org/blog/2025-07-10-early-2025-ai-experienced-os-dev-study/), l’impact de l’IA sur la productivité des développeurs. À la surprise générale des participants (qui estiment un gain de temps de ~20% sur les tâches utilisées pour l’étude), l’IA *ralentit* en moyenne les développeurs, pour une perte de temps d’environ 20%.
Évaluation de l’IA, [sur une tâche de comptabilité cette fois](https://accounting.penrose.com/). Aucun modèle n’arrive à finir l’année de manière correcte, principalement à cause de l’accumulation de petites erreurs, et de la tendance des modèles à trouver des solutions « créatives » (et probablement illégales) à des problèmes non-triviaux (dans le développement, commenter les tests unitaires qui ne passent plus ; dans la comptabilité... inventer des transactions pour rééquilibrer des comptes non équilibrés).
À quel point les progrès de l’IA la rendent plus persuasive ? Un [papier](https://arxiv.org/abs/2507.13919) étudie cette question. Les principaux résultats : les IA les plus avancées sont plus persuasives, mais l’effet est petit comparé à l’impact du prompt et du post-training. Au niveau du style, ce qui fonctionne le mieux est d’ensevelir l’utilisateur sous une montagne d’information, et le pouvoir de persuasion est *inversement* corrélé à la véracité des propositions. Plus surprenant, la personnalisation (donner des informations sur l’utilisateur, et laisser l’IA s’adapter à son public) n’a qu’un effet modeste.
Ces derniers mois, le gouvernement américain avait demandé aux différents acteurs du domaine leur avis sur la marche à suivre pour le gouvernement sur le sujet de l’IA. Le résultat est là, [sous la forme d’un plan](https://www.whitehouse.gov/wp-content/uploads/2025/07/Americas-AI-Action-Plan.pdf). Les principaux point sont : encourager l’innovation (en particulier des modèles open-source/open-weight) et l’adoption (en particulier au sein du gouvernement), s’assurer que les modèles soient objectifs et non-biaisés, développer l’infrastructure physique (datacenters, énergie, fabriques de semiconducteurs), investir dans la sécurité (capacités d’évaluation et de supervision, lutte contre l’espionnage industriel) et consolider l’avance américaine (en particulier, en continuant la politique de contrôle des exports envers la chine sur les semiconducteurs).
Du côté européen, publication d’un [code volontaire](https://digital-strategy.ec.europa.eu/en/policies/contents-code-gpai) (non obligatoire) par la commission européenne, le « General-Purpose AI Code of Practice ». Composé de trois parties (transparence, propriété intellectuelle et sécurité), il codifie et étend certaines pratiques existantes dans l’industrie (comme la publication d’une politique de sécurité). Accueilli favorablement, il a été ratifié par la plupart des acteurs du domaine, y compris les principaux Anthropic/OpenAI/Google. Deux exceptions, xAI, qui n’accepte que la partie « sécurité », et Meta, qui rejette la totalité.
OpenAI publie [ChatGPT Agent](https://openai.com/index/introducing-chatgpt-agent/), essentiellement le successeur de [Operator](https://operator.chatgpt.com/), où l’IA a le contrôle d’un navigateur pour effectuer des tâches sur internet. Peu de retours positifs en pratique sur ce mode. Il est à noter que ce mode a conduit OpenAI à mettre en place ses mitigations pour les risques « élevé » en biologie/chimie, par mesure de précaution (tout comme Anthropic l’avait fait pour la publication de Claude Opus 4).
Il est bien connu que les modèles, déployés en tant que *chatbots*, sont tous vulnérables aux jailbreak. À quel point cela généralise-t-il dans le contexte d’un agent ? Pour y répondre, Gray Swan a organisé [une compétition](https://app.grayswan.ai/arena/blog/agent-red-teaming-the-ai-jailbreak-showdown), où 22 agents IA ont déployés pour faire office de cible contre des attaquants humains. Tous les modèles ont été attaqués avec succès, le taux de réussite d’une attaque étant de 1.47% pour le modèle le plus sûr.
À quel point l’IA représente de manière précise ce qu’elle est supposé modélisée, dans ses mécanismes internes ? [Un papier](https://arxiv.org/abs/2507.06952) étudie la question en entraînant une (petite) IA spécialisée sur différentes tâches simples (telles que prédire les trajectoires des corps célestes) puis en extrayant le modèle interne appris. Sur la plupart des tâches, l’IA échoue à apprendre la « véritable règle » (par exemple la loi de Newton).
Dans certains cas, allouer plus de ressources à l’IA (sous la forme de chaînes de pensée plus longues) conduit à une [baisse de performances](https://arxiv.org/abs/2507.14417).
Une crainte concernant l’IA serait sa propension à perpétuer des stéréotypes présents dans son corpus d’entraînement. Un [papier](https://arxiv.org/abs/2506.10922) étudie cette question, et trouve que l’IA, mise dans un scénario d’embauche, discrimine... contre les hommes blancs : « When these biases emerge, they consistently favor Black over White candidates and female over male candidates across all tested models and scenarios ». De manière intéressante, la chaîne de pensée n’offre aucune indication de discrimination.
Un [sondage](https://www.commonsensemedia.org/research/talk-trust-and-trade-offs-how-and-why-teens-use-ai-companions) sur l’utilisation de l’IA en tant que compagnon/confident par les adolescents.
[Un retour d’expérience sur l’utilisation de l’IA comme assistant de programmation](https://www.lesswrong.com/posts/dxiConBZTd33sFaRC/field-notes-from-shipping-real-code-with-claude), avec des astuces détaillées.
[Anthropic, OpenAI, DeepMind et xAI](https://www.cnbc.com/2025/07/14/anthropic-google-openai-xai-granted-up-to-200-million-from-dod.html) gagnent chacun un contrat avec le Département de la Défense des États-Unis pour 200 millions de dollar.
Un [fil](https://x.com/akshay_pachaar/status/1946926773918429249) rappelant les précautions à prendre sur l’utilisation de MCP.
Meta continue désespérément à essayer d’attirer des talents pour son équipe IA, sans grand succès. [Dernier exemple en date](https://www.wired.com/story/mark-zuckerberg-ai-recruiting-spree-thinking-machines/), où une offre a été faite à des employés de [Thinking Machines](https://en.wikipedia.org/wiki/Thinking_Machines_Lab) pour des montants allant de 200 millions à 1 milliard, offres toutes refusées.
# Pour aller plus loin
Non couvert ici :
* [OpenAI Model Differentiation 101](https://thezvi.substack.com/p/openai-model-differentiation-101): un « retour aux bases », une introduction aux principaux modèles existants, et lequel utiliser
* [AI Moratorium Stripped From BBB](https://thezvi.substack.com/p/ai-moratorium-stripped-from-bbb) : le [BBB](https://fr.wikipedia.org/wiki/One_Big_Beautiful_Bill_Act) est le projet de loi portant sur le budget du gouvernement Trump. Ce dernier possédait une clause imposant un moratoire interdisant à la fois aux agences fédérales et aux États de réguler l’IA. Cette clause a été supprimée.
* [Congress Asks Better Questions](https://thezvi.substack.com/p/congress-asks-better-questions) : la [Chambre des représentants des États-Unis](https://fr.wikipedia.org/wiki/Chambre_des_repr%C3%A9sentants_des_%C3%89tats-Unis) continue à interviewer des acteurs du secteur pour informer son agenda législatif. Une grosse emphase est mise sur « il faut gagner la course à l’IA contre la Chine », mais quelques voix commencent à s’élever pour questionner les aspects sur la sécurité des modèles et les effets sociaux de l’IA.
* ['Positive review only': Researchers hide AI prompts in papers](https://asia.nikkei.com/Business/Technology/Artificial-intelligence/Positive-review-only-Researchers-hide-AI-prompts-in-papers) (dans [les liens LinuxFR](https://linuxfr.org/users/misc/liens/positive-review-only-researchers-hide-ai-prompts-in-papers))
* [AI models just don't understand what they're talking about](https://www.theregister.com/2025/07/03/ai_models_potemkin_understanding/
)
* ["I'm being paid to fix issues caused by AI" (« Je suis payé pour réparer les soucis causés par de l’IA »)](https://www.bbc.com/news/articles/cyvm1dyp9v2o) (dans [les liens LinuxFR](https://linuxfr.org/users/vendrediouletrollsauvage/liens/je-suis-paye-pour-reparer-les-soucis-causes-par-de-l-ia))
En audio/vidéo (en anglais) :
* [Helen Toner](https://en.wikipedia.org/wiki/Helen_Toner), [Unresolved Debates on the Future of AI](https://www.youtube.com/watch?v=dzwi7sm5NR4) : Jusqu’où les méthodes actuelles pourront nous mener ? À quel point l’IA peut aider à améliorer l’IA ? L’IA n’est-elle qu’un outil, ou plus ? [Version écrite](https://helentoner.substack.com/p/unresolved-debates-about-the-future).
</div><div class="naked_ctrl">
<form action="/index.cgi/contrast" method="get" name="gate">
<p><a href="http://altstyle.alfasado.net">AltStyle</a> によって変換されたページ <a href="httpS://linuxfr.org/news/nouvelles-sur-l-ia-de-juillet-2025.md">(-&gt;オリジナル)</a>
/ <label>アドレス: <input type="text" name="naked_post_url" value="httpS://linuxfr.org/news/nouvelles-sur-l-ia-de-juillet-2025.md" size="22" /></label> <label>モード: <select name="naked_post_mode">
<option value="default">デフォルト</option>
<option value="speech">音声ブラウザ</option>
<option value="ruby">ルビ付き</option>
<option value="contrast" selected="selected">配色反転</option>
<option value="larger-text">文字拡大</option>
<option value="mobile">モバイル</option>
</select>
<input type="submit" value="表示" />
</p>
</form>
</div>