Claude démontre une conjecture quantique

Un problème ouvert depuis des années en informatique quantique vient d'être résolu, et ce n'est apparemment pas un humain qui a trouvé la preuve. Nous y reviendrons dans un instant. Bienvenue dans The Automated Daily, édition tech, le podcast créé par l'intelligence artificielle générative. Je suis TrendTeller et nous sommes le 9 novembre 2026. Au programme : des puces, des agents, des robots, et quelques réflexions de fond sur ce que l'IA change dans notre façon de travailler.

Commençons par ce qui nous a accroché d'entrée. Le chercheur Scott Aaronson annonce que la conjecture d'Aaronson-Ambainis, l'un des grands problèmes ouverts de la complexité quantique, a été démontrée. Les auteurs seraient des chercheurs de la société Physical Superintelligence, qui s'appuient sur un modèle Claude interne et sur leur propre outil de recherche. La preuve semble solide : elle s'accompagne d'une vérification formelle en Lean et a déjà été relue par des experts. Aaronson calme toutefois les ardeurs. Le résultat limite un type précis d'avantage quantique, mais il ne remet en cause ni l'algorithme de Shor ni la simulation quantique. Il se dit satisfait que la conjecture soit vraie, avec une pointe de regret que des humains ne l'aient pas démontrée les premiers.

Google lance deux nouvelles puces TPU

Côté matériel, Alphabet étoffe sa gamme de puces d'IA maison avec deux nouveaux TPU. Le premier, le TPU 8tx, vise les administrations et les secteurs réglementés, avec un chiffrement des données intégré directement dans le matériel. Le second, le TPU 8i Max, associe plusieurs puces pour offrir davantage de mémoire et de puissance de calcul. Google le destine à la programmation, au raisonnement mathématique ou encore à la découverte de médicaments. Le message est clair : les puces se spécialisent par usage, et Google entend bien grignoter du terrain face à Nvidia.

Nvidia : enquête sur Jensen Huang

Justement, du nouveau dans le dossier Nvidia. Le conseil d'administration annonce l'ouverture d'une enquête sur les informations selon lesquelles Jensen Huang aurait été la cible d'une opération de renseignement étranger. L'action a perdu environ 5 % avant l'ouverture, alors même que le reste des valeurs technologiques rebondissait après une semaine plombée par les inquiétudes réglementaires. Plusieurs analystes notent que cette affaire, combinée à l'opposition politique croissante aux centres de données aux États-Unis, pourrait profiter aux fabricants de semi-conducteurs chinois en leur laissant le temps de réduire leur retard.

OpenAI, Apple : la course aux agents

Passons aux agents IA, qui sont décidément le sujet de l'année. OpenAI présente des agents actifs en permanence, capables de poursuivre les objectifs d'un utilisateur à travers plusieurs applications. L'idée est que l'IA agisse au lieu de se contenter de répondre, et la cible prioritaire reste l'entreprise, où Meta et d'autres se positionnent aussi. Chez Apple, l'histoire se poursuit : le nouveau PDG John Ternus presse Craig Federighi d'accélérer la transformation de Siri en véritable agent. Au menu, des actions plus fines dans les applications d'Apple, puis dans celles des développeurs tiers, et des tâches en plusieurs étapes menées en arrière-plan. Le rapport évoque aussi des tensions internes et de possibles départs dans l'équipe Siri. Par ailleurs, Apple laisse plus de temps à l'exploration dans le développement d'iOS 28 et de macOS 28.

Amazon relance ses robots domestiques

Amazon retente sa chance dans la robotique domestique. Astro n'a jamais vraiment convaincu : trop cher, pas assez utile, avec une base d'utilisateurs restreinte. L'entreprise crée donc un Personal Robotics Group, recrute des spécialistes et rachète Fauna Robotics. On y retrouve la conviction de longue date de Jeff Bezos : les robots finiront par entrer dans nos foyers. Reste le plus difficile, construire une machine fiable et sûre dans le désordre d'une vraie maison.

SpaceX vise 500 milliards de revenus

Dans la catégorie ambitions spectaculaires, Elon Musk affirme que SpaceX pourrait atteindre un rythme annualisé de 500 milliards de dollars de revenus d'ici décembre 2027. Les relais de croissance évoqués sont l'infrastructure d'IA, les puces et le calcul en orbite. Musk cherche visiblement à présenter SpaceX comme un géant de l'informatique, et plus seulement comme une entreprise de lanceurs et de satellites.

Les LLM, mauvais architectes de logiciels

Un détour maintenant par les développeurs, avec plusieurs réflexions intéressantes. Sean Goedecke constate que les modèles de langage sont étonnamment mauvais pour concevoir des logiciels qui utilisent eux-mêmes des modèles de langage. Dans un exemple, un agent a bâti une usine à gaz de logique symbolique là où un simple appel à un autre modèle aurait suffi. Un autre auteur estime qu'être plus fatigué après une journée de code assisté par IA n'est pas forcément mauvais signe : la machine prend en charge le répétitif, et l'humain garde le travail de jugement. Il compare l'exercice au poker en ligne sur plusieurs tables à la fois. Pour limiter cette surcharge, un troisième développeur gère ses tâches comme une file de priorités stockée dans git. Des agents la parcourent et chaque ticket est entièrement clos avant de passer au suivant.

Fatigue et organisation du développeur assisté

Plus largement, un essai parle d'un « effondrement des signaux ». La qualité de la rédaction, les tests réussis ou les étoiles sur un dépôt servaient de raccourcis fiables parce qu'ils étaient coûteux à imiter. L'IA les rend bon marché, et il devient difficile de distinguer le bon travail du médiocre, que ce soit dans l'open source, l'éducation ou la relecture scientifique. Sur le plan économique, un texte invoque le paradoxe de Jevons : un logiciel moins cher pourrait en faire exploser la demande, avec un marché du travail coupé en deux. Un autre avertit que si les agents peuvent cloner un produit en quelques jours, la propriété intellectuelle logicielle perd beaucoup de sa valeur. Enfin, un essai sur les designers salue leur apport, mais prévient : deux designers sur un même projet, c'est souvent un conflit de goûts sans arbitre.

IA et effondrement des signaux de qualité

Et l'emploi dans tout ça ? Selon le Wall Street Journal, l'apocalypse des cols blancs se fait attendre. En octobre, cabinets de conseil, d'avocats et d'expertise comptable ont tous embauché. Les services professionnels ont gagné 70 000 postes, leur meilleur mois depuis juillet 2022. L'IA transforme le travail, mais les chiffres montrent pour l'instant un marché résistant.

Paradoxe de Jevons et valeur logicielle

Le ton est moins rassurant du côté de la cybersécurité. Dans le podcast Decoder de The Verge, Alex Stamos estime que l'IA fait entrer le secteur dans une phase dangereuse. Les attaquants découvrent des failles et produisent des exploits en temps réel, et les modèles ouverts abaissent la barrière d'entrée pour les criminels comme pour les États. Il compare la période aux années 1990, avec une différence de taille : notre dépendance aux infrastructures connectées est aujourd'hui bien plus grande.

Designers et ingénieurs : une cohabitation délicate

Pour finir, une lecture plus contemplative. Maciej Cegłowski se demande combien de temps la vie peut tenir en dormance. Les ultraviolets sont le principal danger dans l'espace, mais un mince blindage suffit à certains microbes pour survivre des années, ce qui rend la contamination de Mars très sérieuse. Il examine aussi l'idée que des bactéries voyagent d'une planète à l'autre à bord de météorites, ainsi que les affirmations, encore très contestées, de bactéries ranimées après des centaines de millions d'années dans le sel. Sa conclusion : la vie est d'une résistance étonnante, mais les preuves deviennent fragiles quand les échelles de temps s'allongent.

C'est tout pour aujourd'hui. Puces spécialisées, agents de plus en plus autonomes, une conjecture démontrée par une machine et des microbes qui défient le temps : l'actualité ne manque pas de relief. Merci de votre écoute. Ici TrendTeller pour The Automated Daily, édition tech. À demain.

Claude démontre une conjecture quantique - Actualités Technologiques (9 nov. 2026)

Our Sponsors

Today's Tech News Topics