# IA Articles associés

Le Centre d'actualités HTX fournit les derniers articles et analyses approfondies sur "IA", couvrant les tendances du marché, les mises à jour des projets, les développements technologiques et les politiques réglementaires dans l'industrie crypto.

Le plus grand trou noir de l'IA : Après 1 000 milliards de dollars de revenus annuels pour Anthropic, le prix de la puissance de calcul s'envole par 10

Lorsque les agents IA commencent à remplacer le travail intellectuel humain, comment le prix de la puissance de calcul doit-il être réévalué ? Le podcast technologique Dwarkesh Patel avance une prédiction audacieuse : si les revenus des laboratoires d'IA comme Anthropic continuent de croître rapidement (atteignant potentiellement 1000 milliards de dollars d'ici fin 2025), tandis que l'offre de calcul n'augmente que d'environ 3 fois par an, le prix du calcul pourrait être multiplié par plus de 10. Une idée clé est que les GPU, comme le H100 de NVIDIA, ne sont plus de simples pièces matérielles mais des supports pour une main-d'œuvre numérique. Si une puce H100 peut héberger un agent IA au niveau d'un ingénieur logiciel de premier plan (dont le salaire annuel moyen à Silicon Valley dépasse 250 000 $), sa valeur locative théorique devrait s'aligner sur cette productivité, créant un écart de 15 fois par rapport aux prix de location actuels. La croissance des capacités et des revenus de l'IA dépasse désormais la croissance de l'offre physique de calcul. Pour combler cet écart, les laboratoires pourraient devoir accepter des marges bénéficiaires irréalistes (jusqu'à 95%) ou, plus probablement, assister à une inflation massive du prix par unité de calcul. La concurrence en IA entre dans l'ère des infrastructures, où le calcul de pointe devient une ressource stratégique, comparable à l'énergie. La location de clusters de GPU dédiés, comme le fait Google auprès de SpaceX, atteint déjà des prix élevés. La limite physique de la production de semi-conducteurs (loi de Moore ralentie, cycles de construction de fonderies, capacité limitée des machines EUV) verrouille l'offre, incapable de suivre la demande explosive. Un effet économique contre-intuitif (effet Alchian-Allen) pourrait aggraver la situation : lorsque le coût fixe de la puissance de calcul est élevé, il devient plus rentable d'utiliser les modèles les plus performants et chers pour minimiser le temps de calcul total, éliminant les modèles médiocres. Certains arguments s'opposent à cette vision, notant que la valeur de l'IA est limitée dans les domaines physiques ou réglementés, et que l'histoire montre que les prédictions de pénurie de ressources échouent souvent face à l'innovation. Cependant, l'offre de calcul est considérée comme bien moins élastique que celle des matières premières. Avant que le calcul ne redevienne abondant, le monde pourrait traverser une intense course aux armements et une inflation du coût de la puissance de calcul.

marsbit08/04 14:00

Le plus grand trou noir de l'IA : Après 1 000 milliards de dollars de revenus annuels pour Anthropic, le prix de la puissance de calcul s'envole par 10

marsbit08/04 14:00

La tranchée de protection CUDA que Huang a consolidée pendant 20 ans, l'IA vient de la creuser en 10 heures

CUDA, une nouvelle fois contestée ? Cette fois, c'est une IA elle-même nourrie par NVIDIA qui s'y attaque. Une jeune startup, Infinity, a utilisé un agent de programmation IA nommé Ignition pour créer, en seulement 10 heures, un logiciel de type "simili-CUDA" pour la puce d'inférence d-Matrix. Ceci illustre comment l'IA pourrait accélérer radicalement le développement de logiciels matériels de base (kernels) pour de nouveaux processeurs, particulièrement dans le domaine de l'inférence IA. Le marché de l'inférence, contrairement à l'entraînement des modèles, est considéré comme plus ouvert. Il est moins verrouillé par l'écosystème complet de CUDA, car la priorité est le coût par requête plutôt que la performance extrême et la stabilité en cluster. Des acteurs comme d-Matrix, Rebellions, Cerebras et les géants du cloud voient là une opportunité pour concurrencer NVIDIA avec des puces dédiées, potentiellement plus efficaces ou économiques pour des tâches spécifiques. Cependant, les experts tempèrent l'enthousiasme. Reproduire des kernels est une chose, mais reproduire l'immense écosystème de bibliothèques optimisées, d'outils de débogage, de validation et la communauté de développeurs construits par NVIDIA en près de 20 ans en est une autre. Le véritable goulot d'étranglement n'est pas la génération de code, mais sa validation rigoureuse pour assurer fiabilité et performance. De plus, NVIDIA utilise aussi activement l'IA pour développer et améliorer CUDA. En conclusion, si la forteresse CUDA de NVIDIA reste solide à court terme, particulièrement pour l'entraînement, le front de l'inférence pourrait voir s'ouvrir des brèches. La bataille à long terme ne se jouera peut-être plus sur la quantité de code existant, mais sur la supériorité des écosystèmes de validation, d'optimisation et de migration. La question clé est de savoir si les concurrents pourront rattraper NVIDIA plus vite que cette dernière n'évolue grâce à ses propres outils d'IA.

marsbit08/04 13:55

La tranchée de protection CUDA que Huang a consolidée pendant 20 ans, l'IA vient de la creuser en 10 heures

marsbit08/04 13:55

16 cartes B200 nécessaires pour exécuter Kimi K3, 8 cartes AMD suffisent

Cela pourrait être le moment qu'AMD attendait depuis longtemps. La société Wafer AI a récemment déployé le modèle Kimi K3 sur des GPU AMD MI355X. Alors que la version NVIDIA nécessitait 16 cartes B200 réparties sur deux serveurs, le modèle fonctionne désormais sur un seul serveur équipé de 8 MI355X d'AMD. La clé de cette efficacité réside dans la mémoire. Kimi K3, avec ses 2,8 billions de paramètres, nécessite plus de 1,5 To de mémoire juste pour ses poids. Les MI355X, offrant 288 Go de mémoire HBM par carte (soit 2,3 To au total pour 8 cartes), permettent de loger l'intégralité du modèle sur un seul nœud, évitant ainsi les coûteuses communications inter-nœuds nécessaires avec la solution B200 (192 Go/carte). Lors des tests (1024 tokens en entrée, 400 en sortie), la configuration à 8 MI355X a atteint un débit total de 952 tokens/s et une vitesse de génération monoposte de 118 tokens/s. En comparaison, les 16 B200 sur deux nœuds ont obtenu 498 tokens/s. En termes de rapport performance/coût, en supposant un coût horaire de 2,5$ pour le MI355X, 4,25$ pour le B200 et 6$ pour le B300, le MI355X offrirait environ 48 tokens/s par dollar, contre 33 pour le B300 et 7 pour le B200. Fait notable, le portage sous ROCm, l'écosystème logiciel d'AMD, s'est avéré relativement simple. Le modèle a fonctionné presque immédiatement, avec seulement des ajustements mineurs nécessaires, comme l'ajout d'une fonction manquante pour le décodage spéculatif ou l'optimisation d'un noyau d'attention pour réduire le temps jusqu'au premier token (TTFT). Cet exemple montre que face aux modèles de taille croissante, la capacité mémoire devient un avantage systémique critique. Si AMD continue d'améliorer la maturité de ROCm et son support pour les nouvelles architectures de modèles, ses GPU pourraient devenir une alternative crédible dans les data centers, combinant prix compétitif, grande mémoire et logiciel de plus en plus stable.

marsbit08/04 11:25

16 cartes B200 nécessaires pour exécuter Kimi K3, 8 cartes AMD suffisent

marsbit08/04 11:25

SK Hynix et SanDisk présentent un nouveau type de mémoire intermédiaire

Le 4 août 2026, lors du Flash Memory Summit (FMS) en Californie, SK Hynix et SanDisk ont dévoilé les premières spécifications de la technologie HBF (Host-Based Flash). Ce nouveau type de mémoire intermédiaire vise à combler l'écart entre la mémoire HBM haute performance et les stockages SSD. Les principales caractéristiques du HBF incluent une capacité allant jusqu'à 512 Go et une bande passante de 0,4 à 3,0 To/s. Il utilise l'interface ouverte UCIe pour une compatibilité avec divers CPU et GPU. Les spécifications sont publiées via l'Open Compute Project, positionnant le HBF comme un standard ouvert pour l'industrie. Dans les serveurs d'IA modernes, le HBF constituerait un quatrième niveau dans la hiérarchie mémoire : 1) HBM pour les données "chaudes", 2) CXL pour la RAM accélérée, 3) HBF comme couche intermédiaire à grande capacité basée sur une NAND abordable, et 4) les SSD NVMe pour le stockage "froid". Pour les LLM, le HBF est conçu pour stocker les caches de contexte et les poids des modèles qui ne tiennent pas dans la HBM ou la CXL. Le partenariat pour standardiser le HBF a débuté en août 2025 et un consortium incluant Google et Tenstorrent a été formé en février 2026. Lors du FMS, SK Hynix a également présenté sa NAND 4D de 375 couches (V10) en développement, annonçant une amélioration des performances de 2,5x par watt. La production de masse est prévue pour l'année prochaine.

cryptonews.ru08/04 11:19

SK Hynix et SanDisk présentent un nouveau type de mémoire intermédiaire

cryptonews.ru08/04 11:19

Un mathématicien réfute en 24 heures une conjecture soi-disant résolue par OpenAI ! "L'IA a prouvé chaque phrase, mais cela n'a plus rien à voir avec la conjecture d'origine"

OpenAI a affirmé que son nouveau modèle d'IA avait résolu dix problèmes mathématiques majeurs, dont la réfutation de la conjecture de rigidité de Connes. Cependant, le mathématicien J. L. Nielsen a répondu en 24 heures, démontrant que le contre-exemple généré par l'IA n'était pas valide. La conjecture de rigidité de Connes stipule que pour certains groupes satisfaisant deux conditions spécifiques (ICC et la propriété (T) de Kazhdan), si leurs structures algébriques sont isomorphes, alors les groupes eux-mêmes doivent être isomorphes. L'IA d'OpenAI a produit 37 000 lignes de code Lean 4 présentant deux groupes non isomorphes censés générer la même algèbre et satisfaire les deux conditions. Nielsen a analysé le code ligne par ligne. Il a constaté que l'un des groupes construits par l'IA ne satisfaisait en réalité pas les conditions requises : il n'était ni ICC ni ne possédait la propriété (T). L'erreur ne réside pas dans la correction formelle des preuves vérifiées par Lean, mais dans le fait que les énoncés prouvés ne correspondent pas à l'intention mathématique initiale de la conjecture. Cet incident souligne une limite cruciale des assistants de preuve formelle comme Lean : ils vérifient la cohérence logique interne d'un énoncé, mais pas sa pertinence ou son adéquation avec le problème mathématique original. La vérification humaine reste donc essentielle pour interpréter et valider les résultats produits par l'IA. La conjecture de rigidité de Connes demeure non résolue.

marsbit08/04 08:49

Un mathématicien réfute en 24 heures une conjecture soi-disant résolue par OpenAI ! "L'IA a prouvé chaque phrase, mais cela n'a plus rien à voir avec la conjecture d'origine"

marsbit08/04 08:49

OpenAI publie un manuscrit essentiel de 62 pages, l'IA perce dix grands problèmes de niveau « médaille Fields »

OpenAI a publié un manuscrit de 62 pages intitulé « How the Ideas Came Together », rédigé de manière autonome par son modèle d'IA Astra, considéré comme sa prochaine génération principale. Ce document détaille comment l'IA a résolu dix problèmes mathématiques majeurs, de niveau « prix Fields », pour un coût estimé à seulement 2000 dollars en calculs. Parmi ces percées, deux sont particulièrement mises en avant. La première concerne l'empilement de sphères en haute dimension, un problème stagnant depuis 46 ans. L'IA a amélioré la borne supérieure de densité en passant de 0.5991 à 0.6044…, grâce à un changement de perspective utilisant la transformée de Mellin et la mesure harmonique. La deuxième avancée majeure est la construction explicite d'un « groupe non sofique », une question ouverte depuis 27 ans formulée par Mikhail Gromov. La difficulté centrale, dite du « désaccord crucial », était de passer d'une famille de graphes d'expansion à un seul graphe. La solution a consisté à définir une fonction de médiane pondérée pour contrôler et égaliser la taille des composantes. Ces résultats, couvrant également des domaines comme la théorie des groupes, les circuits arithmétiques et la théorie des graphes extrémale, ont été entièrement formalisés en Lean 4. Pour les chercheurs, la rapidité de cette évolution – de modèles peinant sur des problèmes scolaires il y a quelques années à la résolution de conjectures historiques aujourd'hui – évoque un moment charnière, semblable à une « veille de la singularité ».

marsbit08/04 08:37

OpenAI publie un manuscrit essentiel de 62 pages, l'IA perce dix grands problèmes de niveau « médaille Fields »

marsbit08/04 08:37

Web3, autrefois en vogue, entre dans une vague de licenciements

L'industrie du Web3, autrefois florissante, est actuellement confrontée à une vague massive de licenciements, dépassant le simple réajustement cyclique. Si l'IA est souvent citée officiellement comme motif, la pression financière réelle et des modèles commerciaux insoutenables en sont les principales causes. Les plateformes d'échange, cœur de l'écosystème, licencient violemment, parfois en coupant instantanément les accès des employés. Les méthodes incluent des objectifs irréalistes, des "tests de connaissances" obligatoires ou une surveillance excessive. L'atmosphère de travail est devenue toxique, marquée par la peur, une bureaucratie croissante et des luttes de pouvoir internes. Le modèle économique traditionnel s'effondre : les frais de transaction et les revenus liés aux listings (pouvant coûter des centaines de milliers de dollars aux projets) s'étiolent avec la baisse de qualité des projets et l'exode des investisseurs particuliers, accentués par des événements comme les liquidations massives d'octobre 2025. La concurrence des plateformes de produits dérivés décentralisées aggrave la situation. Les professionnels licenciés se tournent majoritairement vers l'IA, mais subissent une stigmatisation de la part des secteurs traditionnels, qui voient le crypto comme un milieu spéculatif. La guerre intestine entre plateformes persiste même en période de vaches maigres, épuisant les ressources restantes. Cette crise semble plus profonde qu'un simple hiver cyclique. Elle résulte d'un écosystème ayant trop privilégié l'extraction de valeur à court terme – aux dépens des projets, des petits investisseurs et de ses propres employés – plutôt que de construire une base durable.

marsbit08/04 07:04

Web3, autrefois en vogue, entre dans une vague de licenciements

marsbit08/04 07:04

Sur la ligne de front du vol de Coldcard, on comprend pourquoi l'impact est bien plus important que ce que les données laissent paraître

Personne ne s'attendait à ce qu'une vulnérabilité découverte il y a 5 ans déclenche le plus grand vol de Bitcoin de cette année. Le 30 juillet, des centaines de Bitcoin ont été drainés de nombreuses adresses, puis l'attaque s'est étendue à des milliers d'adresses, dérobant près de 2 000 BTC (valeur : plus d'un milliard de dollars). La cause a été identifiée comme un bug dans la génération de la phrase de récupération (mnemonic seed) du portefeuille matériel Coldcard, lié à un problème d'aléa faible (faible entropie), rendant les graines prédictibles. Cet incident a eu un impact profond car Coldcard, réputé pour son approche open-source et minimaliste, est très apprécié par la communauté Bitcoin la plus fervente. La violation de cet outil considéré comme "parfait" a ébranlé la confiance de ce noyau dur de partisans. Selon Yu Xian, fondateur de SlowMist, la gravité dépasse les chiffres. L'attaque a probablement été découverte et exploitée par une IA, un scénario similaire à une précédente attaque sur Zcash. Cela souligne un déséquilibre croissant : les attaquants utilisant l'IA ont un avantage sur les défenseurs qui font face à des contraintes. L'incident pousse certains utilisateurs à reconsidérer la sécurité des solutions décentralisées, et un retour vers des plateformes centralisées réputées semble pour certains une option plus simple. Pour se protéger, il est fortement recommandé d'utiliser une "passphrase" (mot de passe supplémentaire) avec sa phrase de récupération, d'avoir une approche de portefeuilles isolés pour les actifs à risque incertain, et de garder son sang-froid face aux tentatives de phishing.

marsbit08/04 06:59

Sur la ligne de front du vol de Coldcard, on comprend pourquoi l'impact est bien plus important que ce que les données laissent paraître

marsbit08/04 06:59

活动图片