Preuve, prix, puissance : la semaine où l’IA a changé de terrain de jeu

Sept jours, trois signaux qui recomposent la carte. OpenAI publie dix preuves mathématiques formelles, DeepSeek casse une nouvelle fois le coût de l’inférence, et AMD prend pied dans Anthropic avec un chèque de 5 Md$. Le tout pendant que l’Union européenne bascule enfin l’AI Act en mode application.

OpenAI déplace la démonstration vers la preuve formelle

Le 1er août 2026, OpenAI a annoncé qu’une version interne de son prochain modèle, baptisée Astra, a résolu dix problèmes ouverts en mathématiques et informatique théorique. L’annonce s’accompagne d’un dépôt GitHub contenant les preuves complètes au format Lean, un assistant de preuve formelle. Le détail compte : contrairement aux démonstrations habituelles où le modèle produit une solution en langage naturel, ces preuves sont vérifiées mécaniquement par le compilateur Lean. Aucune place pour l’hallucination.

Astra n’a pas de date de sortie, pas de tarification, pas de model card publique. OpenAI n’a pas non plus confirmé s’il s’agira de GPT-6 ou d’un point release GPT-5. La firme avait déjà gardé le naming GPT-5 pour le modèle "Spud" faute d’atteindre les seuils de performance attendus. Pour l’instant, l’offre commerciale reste GPT-5.6 en trois paliers (Sol, Terra, Luna), disponible depuis le 9 juillet 2026. Cette annonce décale le curseur : c’est la première fois qu’un lab publie une preuve formelle avant même d’annoncer un produit.

DeepSeek relance la guerre des prix par le bas

Le 31 juillet 2026, DeepSeek a livré V4-Flash-0731 avec un post-training majeur et des poids ouverts. Les gains reportés se concentrent sur les benchmarks agentiques et le code, tout en maintenant un coût d’inférence très bas. Le même jour, OpenAI a annoncé une baisse de 80% du tarif de son plus petit modèle : 0,20 $ par million de tokens en entrée, 1,20 $ par million en sortie. Coincidence de calendrier peu probable.

La pression prix ne vient plus des labs américains entre eux : elle vient de l’écosystème open source, principalement chinois. Rappelons que Moonshot a sorti Kimi K3 le 16 juillet, un modèle MoE de 2,8 trillions de paramètres avec vision native et 1 M tokens de contexte, en poids ouverts. La stratégie tarifaire agressive d’OpenAI cette semaine peut se lire comme une réponse défensive plutôt qu’une initiative. Pour les intégrateurs et les startups qui shippent des wrappers, l’équation change chaque mois : le coût d’un appel LLM a été divisé par un facteur significatif depuis le début de l’année.

AMD entre par la grande porte chez Anthropic

À son événement Advancing AI 2026, tenu le 23 juillet à San Francisco, AMD a annoncé deux choses liées. Un : la nouvelle gamme Instinct MI400 et la sixième génération d’EPYC, ciblées sur les charges agentiques et la robotique. Deux : un accord avec Anthropic pour livrer jusqu’à 2 gigawatts de MI450 à partir du premier semestre 2027, accompagné d’un investissement pouvant atteindre 5 Md$ dans le maker de Claude. La même semaine, NVIDIA a de son côté engagé 5 Md$ dans Safe Superintelligence, la structure d’Ilya Sutskever.

Deux lectures possibles. La lecture financière : les fabricants de silicium achètent leur place dans la demande future, exactement comme les hyperscalers l’avaient fait avec les frontier labs en 2023-2024. La lecture stratégique : AMD n’a jamais été un fournisseur crédible pour un frontier lab de premier plan. Ce contrat rebat la carte. Pour Anthropic, la diversification hors de l’écosystème exclusif NVIDIA + AWS Trainium réduit un risque single-vendor devenu inconfortable à l’échelle où le lab opère désormais. Reste à voir si la stack logicielle ROCm suit à l’échelle 2 GW.

Microsoft assume enfin sa stratégie modèles maison

Le 31 juillet 2026, Microsoft a sorti trois modèles MAI le même jour. MAI-Cyber-1-Flash affiche 96% sur le benchmark CyberGym pour moitié du coût des concurrents. MAI-Image-2.5-Pro cible la génération d’image haute fidélité. MAI-Voice-2-Flash s’adresse aux workflows voix en entreprise. Trois annonces le même jour, ce n’est pas un hasard : c’est la mise en musique d’une stratégie de découpe.

Microsoft a longtemps fait mine que son partenariat avec OpenAI suffisait à couvrir tous les besoins. La réalité est plus prosaïque : les modèles maison coûtent moins cher à opérer à l’échelle Azure, et ils ne dépendent pas des aléas de gouvernance chez leur partenaire. La gamme MAI n’est pas positionnée sur le frontier à la GPT-5.6 ou Claude Opus 5 : elle vise les charges à volume, où le rapport prix / performance est le seul critère. Cette semaine, Microsoft a explicité ce que tout le marché savait déjà : ils veulent la réserve de puissance côté entreprise, pas la course aux benchmarks.

L’AI Act européen passe en mode application

À partir du 2 août 2026, l’AI Office de la Commission européenne et les autorités nationales commencent à appliquer l’AI Act. Les règles de transparence entrent en vigueur, tout comme les obligations pour les systèmes à haut risque utilisés dans les infrastructures critiques, l’emploi, l’éducation et les services essentiels. L’amendement de simplification dit "AI Omnibus", adopté le 19 novembre 2025 et confirmé par accord politique le 7 mai 2026, est entré en application le 27 juillet 2026.

Concrètement, une entreprise qui déploie un modèle usage grand public en Europe doit désormais documenter : son fournisseur, ses jeux d’entraînement, ses biais connus, ses garde-fous de contenu synthétique. Pour les usages à haut risque, la barre monte : évaluation de conformité, journalisation, supervision humaine documentée. Le contraste avec les États-Unis est net. L’administration américaine a rescindé l’EO 14110 dès son premier jour, remplacé par l’EO 14179 orienté dérégulation, et l’EO 14365 de décembre 2025 a mis en place une task force pour attaquer les lois IA d’État considérées comme trop restrictives. Deux modèles de gouvernance opposent désormais les deux blocs.

Meta et Google redéfinissent l’assistant du quotidien

Le 31 juillet, Meta a ajouté à Meta AI un mode autonome : briefings personnalisés quotidiens, résumés d’agenda, planification de repas sur la semaine. Ce n’est pas un génie de la conversation qu’on invoque, c’est un agent qui s’exécute en arrière-plan sur des routines. Le même jour, Google a annulé son application AI Studio pour mobile après environ 800 000 précommandes, rapatriant la fonctionnalité dans Gemini.

Deux décisions apparemment sans lien, un même signal : les grandes plateformes convergent vers l’agent-du-quotidien intégré, et arrêtent d’empiler les apps séparées. Zuckerberg a formalisé cette vision fin juillet dans une tribune du Wall Street Journal sur la "superintelligence personnelle", positionnée sur trois principes : individu comme source de prospérité, invention comme finalité, équilibre des pouvoirs comme garantie de sûreté. La question stratégique qui suit : quelles startups de wrappers survivent quand l’OS mobile intègre nativement un agent personnel ? La réponse cette semaine tient en 800 000 précommandes annulées.

Testez votre lecture de la semaine