Amazon, Google et Microsoft remplissent les caisses d’Anthropic

Anthropic apporte à SpaceX un tiers de son chiffre d’affaires et se rend dépendante de trois hyperscalers

Anthropic est devenue le premier client de SpaceX, représentant 34,5 % de son chiffre d’affaires total au cours du dernier trimestre. C’est ce qui ressort des récents résultats trimestriels de SpaceX. Une part croissante des revenus de l’entreprise d’Elon Musk provient désormais de l’activité d’infrastructure de centres de données et de calcul pour l’IA. Ce segment connaît une croissance rapide, mais dépend en grande partie d’un seul client, selon les récentes déclarations.

Anthropic a déposé son prospectus d’introduction en bourse S-1 lundi et vise une cotation au Nasdaq sous le symbole ANT. Le prix d’émission et le nombre d’actions ne sont pas encore fixés. Au cours du trimestre clos en juin, le chiffre d’affaires a bondi de 1 368 % sur un an, selon le document. Au premier semestre, l’entreprise a généré 16,3 milliards de dollars de revenus. La perte nette sur la même période s’est élevée à 80,7 milliards de dollars, mais découle principalement d’ajustements comptables non monétaires sur la valeur des obligations convertibles. La perte d’exploitation s’est réduite à 693 millions de dollars, malgré des engagements considérables en matière de puissance de calcul.

Du côté d’Anthropic, une forte concentration est également visible. Près de la moitié de son chiffre d’affaires provient d’Amazon, Google et Microsoft, selon les données du prospectus. L’inquiétude grandit parmi les investisseurs quant à une dépendance excessive du secteur de l’IA et de l’économie globale envers une poignée d’entreprises. Si l’une d’elles venait à faillir, une déstabilisation des marchés serait à craindre. Le hedge fund Bridgewater a écrit dans une note à ses clients que la concentration et l’accélération sont risquées en soi : il faudrait ainsi « plus de pure chance » pour que les économies continuent de fonctionner.

L’investisseur Kevin O’Leary a qualifié sur X l’introduction en bourse d’Anthropic de potentiel « hot trade ». Il avait refusé son allocation lors de l'IPO de SpaceX car il aurait dû conserver les actions pendant 30 jours. Pour Anthropic, il s’attend à une négociabilité dès le premier jour. Anthropic n’a toutefois pas confirmé que toutes les allocations pourront être cédées immédiatement. Les banques introductrices peuvent imposer des restrictions en ce sens. O’Leary recommande par principe de miser simultanément sur SpaceX, Anthropic et OpenAI plutôt que de choisir un unique gagnant de l’IA. → Business Today, Benzinga, Semafor

Synthszr Take: Le conseil d’O'Leary de miser simultanément sur SpaceX, Anthropic et OpenAI ne diversifie guère le risque. Plus d’un tiers du chiffre d’affaires de SpaceX provient d’Anthropic. Près de la moitié de celui d’Anthropic vient d’Amazon, Google et Microsoft. L’infrastructure IA de Musk dépend donc des budgets cloud de trois géants qu’il ne contrôle pas. Un panier composé de ces valeurs ne contient qu’un seul et même pari, simplement acheté plusieurs fois ; la « pure chance » évoquée par Bridgewater est déjà intégrée dans les cours.

Selon CrowdStrike, des agents chinois DeepSeek ont attaqué 200 cibles et en ont compromis neuf

Selon un rapport de CrowdStrike, le groupe de pirates affilié à la Chine VAPOR PANDA a attaqué plus de 200 organisations dans au moins 14 pays en l’espace de onze jours à l’aide du framework d’attaque piloté par l’IA ARTEX. Chez neuf d’entre elles, le spécialiste de la sécurité confirme des activités post-intrusion, notamment l’installation de la porte dérobée BLOODALCHEMY. Selon CrowdStrike, ARTEX fonctionnait principalement sur le grand modèle de langage chinois DeepSeek, complété par un second modèle commercial sur abonnement que CrowdStrike n’a pas pu identifier. Le framework coordonne un agent principal avec des agents subordonnés de planification et d’exécution, qui explorent plusieurs vecteurs d’attaque en parallèle et basculent vers des alternatives en cas d’échec. → Unite.AI

Synthszr Take: 1,4 milliard de tokens d’entrée pour une seule intrusion représente avant tout une facture, et aux tarifs de DeepSeek, elle reste minime. L’attaquant passe ainsi à l’échelle au rythme de son budget de tokens, tandis que la plupart des défenseurs comptent encore en heures d’analystes. Un opérateur n’intervenant qu’aux points de décision traite plus de 200 cibles en onze jours. Une équipe de sécurité examinant chaque alerte à la main perd structurellement cette course. La défense doit donc elle-même devenir agentique (ce que CrowdStrike se fait naturellement un plaisir de vendre).

Un ancien responsable de Palantir veut remplacer AutoCAD et Revit par l’IA

La startup californienne Dream Technologies a été lancée avec un financement d’amorçage de 17 millions de dollars, rapporte SiliconANGLE. Le tour de table est mené par Andreessen Horowitz, avec la participation de SV Angel, XYZ et Zigg Capital. Dream a été fondée l’an dernier par les anciens cadres de Palantir Andy Elder et Arjun Mathur. L’entreprise a développé des modèles d’IA qui génèrent progressivement des plans d’étage puis les dimensions détaillées des composants à partir de données de localisation et de contraintes de conception. Selon ses dires, des centaines de variantes de conception sont ainsi produites en quelques minutes. Les modèles ont été entraînés sur des données portant sur environ 100 millions de pieds carrés d’immobilier américain, des bâtiments commerciaux aux maisons individuelles. → SiliconANGLE

Synthszr Take: Dream engage sa responsabilité légale sur ses plans, et cette décision définit son modèle économique. En tant qu’Architect of Record, la startup concurrence directement les cabinets d’architectes sur les honoraires, laissant Autodesk et consorts sur la touche. La responsabilité est un fossé défensif dans lequel aucun éditeur de logiciels ne souhaite s’aventurer. Elle passe toutefois difficilement à l’échelle : chaque nouvel État exige des architectes agréés, des assurances et ses propres réglementations de construction. Dix projets pour un volume de 20 millions de dollars constituent un pilote. Andreessen Horowitz parie que le temps de calcul remplacera les heures de concepteurs pour un coût inférieur à celui de la responsabilité.

Le satellite Suncatcher de Google ne tient que 20 minutes en orbite

Le prototype de satellite de Google issu du projet Suncatcher est opérationnel et communique avec la station au sol, selon TechCrunch. Il a été lancé au début du mois aux côtés de plus de 100 autres engins spatiaux à bord d’une fusée Falcon 9 de SpaceX. Il embarque quatre Tensor Processing Units (TPU), et ses panneaux solaires fournissent jusqu’à 1 kW d’énergie. En raison de ce budget énergétique, un seul TPU peut fonctionner à la fois pendant environ 20 minutes, ce qui complique davantage les communications entre l’orbite et le sol. Lors du premier test, le modèle préinstallé Gemma 4 de Google DeepMind a composé un haïku sur l’espace avant de transmettre les conditions orbitales autour du satellite. → TechCrunch

Synthszr Take: Quatre TPU à bord, de l’énergie pour un seul, et ce pour vingt minutes seulement. Dès lors, le modèle économique des centres de données orbitaux se résume à un unique indicateur : le kilowatt par kilogramme de masse au décollage. Chaque TPU supplémentaire nécessite de la surface solaire et du refroidissement, et les deux ne volent qu’à des prix que seul un Starship entièrement réutilisable promet de proposer. Le déploiement de Google après 2027 dépend donc de la fusée de Musk (Alphabet étant opportunément actionnaire de SpaceX). D’ici là, le calcul en orbite reste un travail posté rythmé par des démos de haïkus.

Spotify veut facturer un supplément pour les remixes par IA dès 2027

Spotify prévoit pour le premier trimestre 2027 un outil d’IA permettant aux abonnés payants de créer leurs propres remixes et reprises de chansons, selon un article du Financial Times. L’entreprise envisagerait un supplément d’environ quatre à cinq dollars par mois pour cette fonctionnalité. Une présentation publique est envisageable autour de la cérémonie des Grammy Awards en février, selon les sources du journal, bien que le calendrier et le tarif ne soient pas encore arrêtés. Les utilisateurs pourraient par exemple transformer un titre folk en mix dance ou faire chanter virtuellement un artiste sur le morceau d’un autre. Les redevances issues des remixes de fans reviendraient aux artistes originaux, et les écoutes des remixes seraient comptabilisées au bénéfice du morceau d’origine dans les classements de Spotify. → iPhone in Canada

Synthszr Take: La marge de Spotify souffre depuis toujours du fait que les labels captent la majeure partie de chaque dollar d’abonnement. L’abonnement remix ajoute à cette charge de licences un second poste de coûts variables : le temps de calcul pour chaque morceau généré. Avec un tarif forfaitaire de quatre à cinq dollars, le fan le plus assidu est celui qui coûte le plus cher. Spotify devra donc instaurer des quotas, des crédits plutôt qu’un forfait illimité. On verra alors rapidement si les fans sont prêts à payer pour bidouiller des morceaux ou seulement pour les écouter.

Bank of America détecte en bourse un signal de bulle comparable à celui du crash des dot-coms

Les analystes de Bank of America ont identifié sur les marchés actions une configuration apparue pour la dernière fois avant l’éclatement de la bulle Internet, rapporte Business Insider. La banque qualifie ce signal de « quasi-bulle ». Il s’agit d’un rallye explosif dans un segment particulier du marché boursier, que les analystes qualifient d’historique. Une configuration comparable avait été observée, selon la banque, dans la période précédant le crash de 2000. → Business Insider

Synthszr Take: En 1999, l’argent affluait vers les spots du Super Bowl et les noms de domaine ; aujourd’hui, il s’engouffre dans les centres de données, les puces et les contrats d’électricité. Cela console moins les actionnaires qu’il n’y paraît. À l’époque, Global Crossing posait de la vraie fibre optique et a fini par faire faillite. Les câbles sont restés en place et ont rendu le streaming bon marché des années plus tard. Si ce rallye éclate, les investisseurs paieront la facture, tandis que les entreprises construisant sur cette infrastructure obtiendront de la puissance de calcul à prix bradé.

Le CTO de CrowdStrike avertit : la Shadow AI échappe au contrôle des entreprises

Le Field CTO de CrowdStrike pour les Amériques, Cristian Rodriguez, prévient dans le podcast The Deep View Conversations que si les agents d’IA accélèrent le travail des employés, ils créent en même temps de nouveaux risques pour les données d’entreprise les plus sensibles. L’échange a été enregistré lors de Fal.Con 2026, la conférence annuelle de CrowdStrike. Au cœur du débat figure la manière dont les entreprises gèrent la Shadow AI, c’est-à-dire les outils d’IA que les collaborateurs intègrent à leur travail sans validation préalable de l’IT. Rodriguez soutient que les défenseurs doivent désormais réagir à la vitesse des machines. Pour illustrer des agents agissant de manière ciblée, il évoque un incident impliquant OpenAI et Hugging Face. → The Deep View

Synthszr Take: La validation informatique est le maillon le plus lent dans l’adoption de l’IA, et les collaborateurs la contournent depuis longtemps. Chaque agent installé de manière autonome accumule des droits d’accès que personne n’a accordés. La faille de données s’élargit au rythme des gains de productivité, et une interdiction ne ferait que nuire à cette dernière. (Rodriguez lui-même organise sa journée avec Slackbot.) Pour CrowdStrike, cela ouvre un nouveau marché : la gouvernance des agents sous forme de surveillance continue, qui remplace le processus de validation au lieu de l’accélérer.

Addy Osmani : seule l’auto-vérification permet d’améliorer les agents d’IA à grande échelle

Le développeur de Google Addy Osmani soutient dans son billet Substack intitulé « Agentic Verification  »que les agents d’IA fournissent de bien meilleurs résultats lorsqu’ils sont capables de vérifier leur propre travail de manière autonome. Ce texte est paru il y a une quinzaine de jours dans sa newsletter « Elevate » et vient d’être remis en avant dans le récapitulatif hebdomadaire personnalisé de Substack. La thèse centrale d’Osmani est que les agents écrivent du code « bien mieux en moyenne et à grande échelle ». Il attribue explicitement la mention « à grande échelle » à l'Agentic Verification, c’est-à-dire aux étapes de vérification que l’agent exécute lui-même. Selon lui, les agents rendent la vérification peu coûteuse, et c’est seulement ainsi que la qualité peut être maintenue à travers de nombreuses tâches. → Substack

Synthszr Take: Les agents rendent la vérification du code peu coûteuse, mais vérifier les affirmations sur les agents reste dispendieux. Le billet d’Osmani atterrit à nouveau dans le récapitulatif Substack après 15 jours, sans benchmark, entre Kevin Kelly et un texte sur l'auto-amélioration récursive. L’algorithme trie par intérêt et par likes, rien n’est vérifié. Le goulet d’étranglement passe ainsi de l’écriture au filtrage. Les équipes qui achètent des workflows d’agents ont besoin d’une instance de vérification organisée, sous peine d’adopter la thèse dotée de la plus belle citation.

Une équipe de Stanford veut vérifier formellement les logiciels

L’informaticienne de Stanford Chuyue Sun et son équipe ont mis au point un outil d’IA qui a mené à bien un projet de vérification en moins d’une demi-journée et pour moins de 500 dollars. Trois experts hautement qualifiés avaient requis cinq mois pour accomplir le même travail manuellement. Le cas d’usage testé portait sur une partie du code qui chiffre les conversations dans la messagerie Signal. Sun a publié les résultats dans un article de recherche récent. Ils comptent parmi les premières preuves apportant un nouveau coup de projecteur à la discipline jusqu’alors marginale de la Vérification formelle.

Le procédé vise à prouver mathématiquement qu’un logiciel fonctionne sans erreur. Pour cela, les développeurs doivent formuler les objectifs de leur logiciel sous forme d’énoncés précis et traduire le code en formules vérifiables. L’effort est si important que les entreprises s’en tiennent le plus souvent aux tests classiques. Les systèmes formellement vérifiés se limitent jusqu’à présent principalement à des applications ultra-critiques, par exemple à la NASA ou chez Apple.

Sun a rejoint en août &Truth, une startup qui s’est dévoilée au public le 29 octobre 2026. Fondée sous le statut de Public Benefit Corporation, l’entreprise a levé 70 millions de dollars en amorçage. Elle ambitionne de construire un moteur de vérification universel capable de lire du code dans n’importe quel langage de programmation et d’attester de sa sécurité et de son exactitude au moyen de preuves vérifiables de manière indépendante. D’après elle, l’IA accélère le travail de démonstration d’un facteur 100 ou plus. L’automatisation propriétaire de l’entreprise promet d’y ajouter un facteur 100 supplémentaire. Une « Specification Factory » doit traduire à grande échelle les exigences métier en spécifications formelles. La base technique repose sur l’assistant de preuve open source Lean, complété par la bibliothèque mathématique Mathlib de plus de deux millions de lignes et par CSLib. &Truth prévoit également de publier ses propres bibliothèques de base en open source.

&Truth a été fondée par Clark Barrett, professeur à Stanford et directeur de projet du moteur de raisonnement cvc5, par Ilya Sergey, qui a créé le VERSE Lab à l’Université nationale de Singapour, et par Chris Hsu, ancien managing director chez Citadel. L’entreprise est implantée à Palo Alto et à Singapour. Sergey compare cette approche à la statique : les ponts et les bâtiments ne s’effondrent pas parce que les calculs sont faits avant la construction, et il devrait en être de même pour le code à l’avenir.

La concurrence s’organise en parallèle. Harmonic, cofondée par le patron de Robinhood Vlad Tenev et dotée de 295 millions de dollars, a étendu son agent mathématique Aristotle aux logiciels en C et aux conceptions matérielles en Verilog. Des tests sont actuellement menés avec des clients potentiels tels que les fabricants de puces Tensordyne et Nvidia, dont la branche de capital-risque figure parmi les investisseurs. Anthropic et la startup de vérification Theorem ont annoncé une semaine plus tôt avoir découvert, grâce à l’IA, des failles dans des logiciels open source passées inaperçues lors de trillions de tests. S’y ajoute une extension pour Claude destinée à assister les développeurs dans la vérification. → Wired, unite, Puck

Synthszr Take: Trois experts, cinq mois, moins de 500 dollars : cette équation sonne le glas du modèle horaire des audits logiciels. Les cabinets d’audit vendent désormais une prestation dont la production coûte moins cher que leur réunion de lancement. La vérification passe ainsi du statut de privilège réservé à la NASA à celui d’équipement standard de tout logiciel de paiement. Seul reste coûteux ce que la machine ne sait pas faire : formaliser proprement ce que le code est censé accomplir. C’est pourquoi &Truth bâtit une Specification Factory, et c’est là que s’établit la nouvelle grille tarifaire.