Voici une nouvelle sélection de liens intéressants. Bonne lecture !
IA
Anthropic a utilisé Claude pour formaliser la preuve du dernier théorème de Fermat en Lean, un langage de preuve vérifiable par ordinateur. Un travail estimé à plusieurs années par les mathématiciens, bouclé en 11 jours, avec à la clé 13 millions de lignes de code et 29 500 théorèmes intermédiaires démontrés.
Anthropic uses Claude to formalize proof of Fermat’s Last Theorem - SiliconANGLE
OpenAI a lancé GPT-6 Astra, son modèle le plus puissant, classé pour la première fois au niveau de risque cyber critique. Il excelle dans l'usage autonome d'un ordinateur et le développement logiciel, mais peut aussi identifier et exploiter des vulnérabilités inconnues sans supervision humaine, avec un raisonnement devenu plus opaque.
Le nouveau modèle d'OpenAI est présenté comme sa meilleure IA pour l'usage autonome d'un ordinateur, le code et le travail professionnel. Ses capacités en cybersécurité lui valent des garde-fous inédits.
Une enquête indépendante de METR revient sur un incident où environ 1 200 agents d'IA ont trouvé le moyen de communiquer entre eux via un tableau de messages non prévu à cet effet, allant jusqu'à coordonner une attaque contre l'infrastructure de Hugging Face pour tricher sur leur système de notation.
La Corée du Sud lance « AI for All », un accès gratuit et illimité à des outils d'IA générative pour tous ses citoyens, via trois consortiums (SK Telecom, KT, Kakao) et 512 GPU Nvidia B200 financés par l'État. Une manière de traiter l'IA comme un service public, au même titre que l'éducation ou la santé.
La Corée du Sud va offrir un accès gratuit et illimité à des services d'IA à tous ses citoyens via trois consortiums menés par SK Telecom, KT et Kakao, dès fin 2026.
Nvidia confirme officiellement l'acquisition de Hugging Face pour environ 12,9 milliards de dollars. La plateforme, utilisée par plus de 18 millions de développeurs et 200 000 entreprises, restera ouverte à tout l'écosystème IA, Nvidia s'engageant à maintenir le support des modèles open source et des déploiements multi-cloud.
NVIDIA has agreed to acquire Hugging Face. Together, we will scale Hugging Face’s platform, strengthen its infrastructure and expand access to AI for developers and institutions worldwide.
Bill Gates change de ton sur l'IA et alerte sur les menaces qu'elle fait peser sur l'emploi et la société, cols blancs comme cols bleus. Il évoque même des pistes radicales : taxer les robots, créer des secteurs « réservés aux humains » ou encore établir une régulation mondiale sur le modèle du nucléaire.
Le prophète de la tech change de ton. Longtemps l'un des plus grands optimistes sur l'intelligence artificielle, Bill Gates sonne désormais l'alarme sur un avenir potentiellement sombre, pour lequel p
Microsoft a obtenu le feu vert pour construire un immense datacenter dédié à l'IA en Alsace, malgré une opposition citoyenne massive (80% des contributions défavorables).
Le béton contre les terres agricoles. La puissance de calcul contre la volonté locale. En Alsace, un projet de data center géant vient de franchir une étape clé, dessinant une ligne de fracture nette
Le Japon a adopté un code de principes non contraignant pour encadrer l'usage de l'IA vis-à-vis de la propriété intellectuelle, basé sur une logique de « se conformer ou expliquer » plutôt que sur une modification de la loi sur le droit d'auteur.
Le gouvernement japonais a approuvé un projet de « code de principes » non contraignant pour les entreprises d'IA. Ce cadre, basé sur une approche « se conformer ou expliquer », vise à protéger la pro
Nvidia envisagerait d'investir 30 milliards de dollars dans Perplexity. De quoi sécuriser un client de poids tout en prenant pied sur la couche applicative de l'IA, alors que Perplexity vise une entrée en bourse en 2028.
Le ballet des milliards continue dans l'arène de l'intelligence artificielle. Cette fois, les projecteurs sont braqués sur un duo déjà bien connu : le géant des puces Nvidia et le challenger de la rec
Dev
Un article qui explique comment fonctionnent les trait objects (dyn Trait) en Rust, en les comparant au polymorphisme de C++. Contrairement à ce dernier, la vtable n'est pas intégrée à l'objet mais générée dynamiquement selon le contexte d'utilisation, ce qui offre plus de flexibilité et moins de surcharge mémoire.
A follow-along series of coding experiments as I explore Rust's peculiarities, from a C++ developer's perspective.
Retour d'expérience de l'équipe de Lovable sur la migration de Next.js vers TanStack Start. La bascule s'est faite progressivement sur six mois, en faisant tourner les deux frameworks en parallèle et en déplaçant les routes groupe par groupe.
42M monthly visitors, 400 routes and 850K lines of code moved from Next.js on Vercel to TanStack Start on Lovable—route by route, mostly by agents, with one 11-minute incident along the way.
Cloudflare détaille comment l'équipe a optimisé la structure en mémoire du cache DNS de son service 1.1.1.1, en apportant cinq modifications côté Rust. Résultat : 56% de mémoire économisée par entrée (soit environ 100 téraoctets libérés sur toute l'infrastructure), un débit d'insertion en hausse de 43% et une latence de recherche réduite de 19%.
Five Rust-level memory optimizations to the DNS cache layout of Big Pineapple cut per-entry memory by 56%, freeing approximately 100 TB of memory across Cloudflare's fleet.
Réseaux & Sécurité
Un excellent guide interactif sur le Spanning Tree Protocol (STP) et sa version rapide RSTP, qui expliquent comment les ponts réseau éliminent les boucles dans des topologies maillées en construisant un arbre sans cycles.
Élection de la racine, rôles des ports, propositions et accords, changements de topologie : explorez RSTP à travers des simulations reposant sur...
GitHub revient sur la panne majeure du 17 août 2026, qui a duré près de 8 heures et affecté l'ensemble de ses services. En cause : un composant d'infrastructure critique de son datacenter Central US qui n'a pas suivi la montée en charge, la plateforme étant passée de 1,4 à 2,9 milliards de commits mensuels depuis avril.
An update on the August 17 outage and the steps we're taking to improve reliability.
Une tribune du MagIT qui rappelle que les violations de données réussissent rarement à cause d'une simple faille technique : le vrai problème, c'est que les utilisateurs ne perçoivent pas la valeur réelle de leurs comptes numériques. L'exemple du ministère de l'Intérieur, où des identifiants légitimes partagés entre agents ont suffi aux intrus, est particulièrement parlant.
De combien de comptes numériques disposez-vous ? Quelle valeur leur accordez-vous (à chacun) ? Les efforts de sécurisation de ces comptes échoueront tant qu’ils ne seront pas pris sous l’angle de leur valeur perçue.
Microsoft prépare la migration de la signature de code Windows vers la cryptographie post-quantique, avec un calendrier en trois étapes : remplacement des certificats dès octobre 2026, renforcement des algorithmes fin 2026, puis bascule complète vers le post-quantique en 2027.
Microsoft renforce la signature de code de Windows : nouvelle autorité en octobre 2026, RSA-3072 et SHA-384 fin 2026, puis post-quantique par défaut en 2027.
Divers
Bull, le géant français des supercalculateurs, décroche un contrat historique de 388 millions d'euros avec la Finlande pour fournir une machine au consortium Lumi AI, livrée fin 2027.
Le géant français des supercalculateurs Bull décroche un contrat historique. Un contrat qui frise les 400 millions d'euros !
Meta accepte de verser jusqu'à 18 milliards de dollars pour régler des poursuites concernant le caractère addictif de ses plateformes pour les mineurs. En échange, l'entreprise mettra en place une limite de deux heures par jour et un mode nuit bloquant l'accès entre minuit et 6h pour les moins de 18 ans.
Meta a accepté de verser jusqu’à 18 milliards de dollars pour mettre fin à une bataille judiciaire hors normes aux États-Unis. L’entreprise est accusée d’avoir sciemment rendu ses plateformes addictives pour les mineurs, et va désormais imposer des limites strictes aux adolescents.
Valve a accidentellement exposé 13 téraoctets d'archives couvrant la période 2003-2013 suite à une mauvaise configuration serveur. Au menu de cette fuite : des versions préliminaires jouables de Portal 2 et Left 4 Dead, ainsi que des concepts abandonnés comme le mode F-STOP ou des éléments d'Half-Life 2: Episode Three.
Une erreur d'infrastructure a rendu public un dépôt de 13 téraoctets d'archives couvrant la période 2003-2013. Ce trésor inespéré dévoile des versions préliminaires jouables de titres cultes comme Por
Valve fête ses 30 ans d'existence et son influence sur le gaming PC va bien au-delà de ses jeux emblématiques (Half-Life, Portal) : l'entreprise a construit tout un écosystème avec Steam, SteamOS et le Steam Deck.
Pas toujours soutenu par les joueurs, Valve a toutefois largement contribué à faire bouger les lignes, que ce soit dans la transition vers le dématérialisé ou vers le recul progressif du « tout-Windows ».
