Intelligence artificielle
Fellow suit ce sujet depuis mai 2026 : 55 articles résumés en français, dont 8 jugés majeurs ou notables.
Les sorties majeures
Terence Tao alerte sur un « sévère désalignement » de l'IA en mathématiques
Déclaration commune de 25 médaillés Fields sur le risque que les benchmarks IA détruisent les processus de recherche et d'attribution.
Les mathématiques à l'ère de l'IA
Essai de Terence Tao au Congrès International des Mathématiciens sur la réponse de la communauté à l'IA en recherche.
Toute l'actualité · 55 articles
Ce que les mathématiciens devraient savoir sur le prouveur de théorèmes Lean : fiabilité et IA
Terence Tao examine la fiabilité de l'assistant de preuve Lean et le rôle croissant de l'IA dans la formalisation mathématique, à l'intention des mathématiciens.
Penguin Mail : un client mail open source en Rust pour Linux, doté de fonctions IA
Un nouveau client de messagerie léger écrit en Rust, pensé pour Linux, intègre des fonctionnalités d'IA dans son flux de travail.
EmTech Future 2026 : quand l'IA rencontre tous les secteurs
Replay de la conférence MIT Technology Review : convergence de l'IA, du quantique, de l'énergie et de la robotique au centre des débats.
Quel avenir pour la recherche en mathématiques pures à l'ère de l'IA ?
Stephen Wolfram livre sa réflexion sur la manière dont l'IA pourrait transformer le travail des mathématiciens et la nature même de la recherche en mathématiques pures.
DeepSeek lance Harness Desktop pour macOS et Windows
Le laboratoire chinois DeepSeek déploie une application de bureau baptisée Harness, disponible sur macOS et Windows.
Show HN : votez sur les défis de Hacker News pour l'IA déjà relevés
Un site collaboratif permet de voter si les objections classiques des commentateurs de HN envers l'IA ont été dépassées par les faits.
Les emprunteurs liés à l'IA peinent à convaincre sur les segments à risque du crédit américain
Les entreprises d'IA cherchant à se financer via la dette risquée rencontrent une résistance croissante des investisseurs obligataires aux États-Unis.
McDonald's utilise l'IA pour ajuster dynamiquement le prix de ses burgers
La chaîne de fast-food déploie des outils d'IA pour moduler les prix du Big Mac selon la demande, une pratique qui suscite la controverse.
Table ronde : les échecs meurtriers du « mur virtuel » à la frontière américaine
Une enquête de MIT Technology Review révèle plus d'un millier de morts non détectées par les tours de surveillance IA censées sécuriser la frontière sud des États-Unis.
Promesses brisées, terres confisquées : la construction d'un datacenter IA hyperscale en Inde
Enquête sur les expropriations de terres agricoles dans un village d'Andhra Pradesh pour un méga-datacenter lié à Google.
Muse peut-il faire oublier le métavers ?
Casey Newton revient sur l'historique des paris ratés de Meta (bots, crypto) pour questionner la nouvelle stratégie IA autour de Muse et des lunettes connectées.
DraftKings utilise l'IA pour cibler les parieurs les plus susceptibles de perdre
Le géant des paris sportifs exploite des modèles prédictifs pour identifier et solliciter davantage les joueurs vulnérables, selon une enquête du New York Times.
Un modèle simple de croissance économique assistée par l'IA
Un économiste propose une modélisation théorique de l'impact de l'IA sur la croissance économique de long terme.
Terence Tao alerte sur un « sévère désalignement » de l'IA en mathématiques
Le mathématicien Terence Tao décrit un décalage préoccupant entre les capacités affichées des IA et leur usage réel en recherche mathématique.
L'IA pourrait démasquer vos comptes anonymes en ligne
Des modèles d'IA capables d'analyser style d'écriture et métadonnées menacent l'anonymat des comptes en ligne, selon le Wall Street Journal.
Terence Tao : les problèmes mathématiques ouverts, une ressource non renouvelable minée par l'IA
Le mathématicien Terence Tao alerte sur le risque de voir les problèmes ouverts en maths épuisés par des IA sans réel apport conceptuel.
Pourquoi la robotique reste un défi si difficile à résoudre
Un essai détaille les obstacles structurels qui freinent les progrès de l'IA appliquée à la robotique, loin de la facilité apparente des LLM.
Les experts en sinistres d'assurance, farouchement opposés à l'IA
Un article de Wired décrit la résistance des experts en sinistres face à l'automatisation par IA de leur métier.
Show HN : découvrez ce que l'IA sait vraiment sur vous
Un outil expérimental met en évidence l'ampleur des informations personnelles inférées par les modèles d'IA à partir de vos interactions.
Les mathématiques à l'ère de l'IA
Un article de synthèse examine comment l'IA transforme la recherche mathématique, entre outils de démonstration et nouveaux usages.
Washington va demander à ses partenaires de choisir un camp dans la course à l'IA face à la Chine
Les États-Unis prévoient de pousser leurs alliés à privilégier les technologies américaines d'IA plutôt que chinoises, dans une logique de bloc géopolitique.
Show HN : Deltix, une plateforme de tests logiciels pilotée par l'IA
Un nouvel outil promet d'automatiser la création et l'exécution de tests logiciels grâce à l'intelligence artificielle.
The Ambition Project
Une initiative visant à cartographier et soutenir les projets les plus ambitieux en intelligence artificielle.
Le chief scientist de Google quitte l'entreprise après 27 ans pour fonder sa propre société d'IA
Une figure historique de Google s'apprête à lancer sa propre startup d'IA, nouveau signe de l'agitation autour des talents dans le secteur.
Réorganisation à Google DeepMind : Demis Hassabis passe de CEO à Chairman, Jeff Dean quitte le poste
Google annonce un remaniement de la direction de sa division IA, avec un changement de rôle pour Demis Hassabis et le départ de Jeff Dean.
Pourquoi les problèmes d'Erdős tombent un à un face à l'IA
Des modèles d'IA aident désormais à résoudre des conjectures mathématiques restées ouvertes depuis des décennies, posées par le légendaire Paul Erdős.
Google : les annonces IA de juillet 2026
Le géant de Mountain View dévoile ses dernières avancées et mises à jour en matière d'intelligence artificielle pour ce mois.
Le fonds « Situational Awareness » chute de 67 % en juillet, emporté par la correction des valeurs IA
Le fonds spéculatif inspiré de l'essai viral sur l'AGI subit de lourdes pertes après un net repli des actions liées à l'intelligence artificielle.
Google a corrigé plus de failles Chrome en juin qu'au cours des deux dernières années, grâce à l'IA
Google attribue à des outils d'IA une accélération inédite dans la détection et la correction de vulnérabilités du navigateur Chrome.
Les compagnies aériennes se ruent sur la tarification par IA, au risque de faire disparaître les billets low-cost
L'utilisation de l'IA pour ajuster les prix en temps réel selon le profil du client inquiète : elle pourrait sonner le glas des tarifs avantageux.
SpaceX valorisée 100 milliards impliquerait une valeur IA nulle, selon Morgan Stanley
Une note de Morgan Stanley suggère qu'à ce niveau de valorisation, le marché n'attribuerait aucune valeur aux activités liées à l'IA de SpaceX.
Géorgie : des propriétaires expulsés de leurs maisons pour laisser place à des data centers IA
Une vidéo documente comment des habitants de Géorgie (États-Unis) sont contraints de quitter leurs foyers face à l'expansion des infrastructures IA.
Le risque de sabotage des données météo s'accroît
Marchés de prédiction et IA météo créent de nouvelles incitations à manipuler les observations, menaçant la fiabilité des prévisions.
Google contraint d'ouvrir Android à ses concurrents dans l'IA
Une décision judiciaire ou réglementaire obligerait Google à faciliter l'accès des rivaux d'IA aux smartphones Android.
L'efficacité déraisonnable des LLM en mathématiques
Un essai revient sur les capacités surprenantes des grands modèles de langage à résoudre des problèmes mathématiques avancés.
Les salariés de l'IA font flamber les prix de l'immobilier à San Francisco
Les hauts salaires du secteur IA relancent le marché immobilier de San Francisco, longtemps déprimé par la pandémie.
Une IA découvre un bug root dans Linux passé inaperçu pendant 15 ans
Un système d'IA a détecté une vulnérabilité critique dans le noyau Linux, ignorée depuis 15 ans par les auditeurs humains.
Le rapport Microsoft révèle une hausse de 25 % des émissions liée aux data centers IA
Microsoft enregistre une augmentation de 25 % de ses émissions carbone, imputée à l'expansion rapide de ses data centers dédiés à l'IA.
Pourquoi l'IA pourrait alimenter l'inflation selon les économistes
Contre l'intuition dominante, une partie des économistes anticipe que l'IA sera inflationniste. Explication des mécanismes en jeu.
Trop vieux pour la Silicon Valley ? L'IA redistribue les cartes
L'intelligence artificielle bousculer le culte de la jeunesse dans la tech : les profils seniors retrouvent une pertinence inattendue.
Ce qui freine le déploiement de l'infrastructure IA
Le développement de l'IA se heurte à une contrainte inattendue : la capacité du réseau électrique, devenue le principal goulot d'étranglement.
La dérivée seconde : pourquoi personne ne comprend vraiment le boom de l'IA
L'accélération de l'IA dépasse la capacité d'analyse des observateurs. Une lecture par le prisme du calcul différentiel.
Des bibliothécaires du Maine aident les usagers à résister à l'IA et aux Big Tech
Dans le Maine, des bibliothécaires forment leurs usagers à l'esprit critique face à l'IA et aux grandes plateformes technologiques.
Travailler avec l'IA : retour d'expérience du créateur de htmx
Le créateur de htmx partage son expérience pratique de collaboration avec les outils d'IA, entre gains de productivité et limites concrètes.
Le boom des data centers IA alimente une troisième vague d'inflation
La multiplication des centres de données liés à l'IA exerce une pression inflationniste croissante sur l'économie américaine, selon le WSJ.
Les data centers deviennent le symbole du rejet de l'IA
Un sondage révèle que l'opposition aux infrastructures physiques de l'IA monte en puissance, faisant des data centers le nouveau visage de la contestation.
La participation d'FTX dans Anthropic vaudrait environ 75 milliards de dollars aujourd'hui
La mise initiale de FTX dans Anthropic, liquidée lors de la faillite, aurait atteint une valeur colossale au regard des dernières valorisations.
Les 24 heures mouvementées qui ont conduit aux contrôles à l'exportation visant Anthropic
Retour sur la séquence accélérée d'événements qui a poussé la Maison-Blanche à imposer des restrictions d'exportation à la startup Anthropic.
Où est la crise de l'emploi liée à l'IA ?
Apollo remet en question le discours alarmiste sur les destructions d'emplois induites par l'IA, données macroéconomiques à l'appui.
L'IA ralentit
Une analyse critique soutient que le rythme des avancées en IA s'essouffle, remettant en question le narratif dominant de progrès exponentiel.