Mis à jour quotidiennement3936 histoires vérifiées
Actualités sur l'IA. Sans le bruit.
Couverture par l'IA vérifiée à la source des lancements de produits, des changements de politique, de la recherche sur la sécurité et des évolutions de l'industrie, expliquée dans un anglais simple par une équipe éducative à but non lucratif.
Approvisionnement vérifié
Chaque article est lié aux preuves disponibles les plus solides : sources originales lorsqu'elles sont disponibles, sinon reportages clairement attribués.
Anglais simple
Que s’est-il passé, pourquoi c’est important et que regarder – sans le jargon.
Pas de remplissage
Lorsque le signal est faible, nous ne publions rien plutôt que de compléter le flux.
Plus d'histoires
9 histoiresInnovation
FaithSieve uses Lean to improve AI detection of first errors in math proofs
A new preprint introduces FaithSieve, a Lean-assisted framework that breaks AI-generated mathematical proofs into local reasoning units and reports higher first-error localization accuracy than direct model judging.arxiv.orgInnovation
La prépublication compare la manière dont les grands modèles linguistiques déduisent les croyances des adversaires dans les jeux économiques
Une nouvelle prépublication rapporte que les grands modèles linguistiques présentaient des signes mesurables de mentalisation dans deux jeux économiques, mais que leurs performances et leurs stratégies différaient selon la famille et la taille du modèle. Les auteurs affirment que les agents GPT-5 se sont adaptés à des adversaires de plus en plus sophistiqués et ont surpassé le groupe de comparaison humain en…arxiv.orgSécurité
Une étude révèle que les approbations des garde-corps LLM peuvent expirer avant que les systèmes auto-adaptatifs n'agissent
Un article accepté à l'ACSOS 2026 rapporte que les garde-fous du modèle linguistique peuvent délivrer des approbations qui deviennent invalides avant qu'un système auto-adaptatif ne les utilise. Son projet Freshness-Bounded Shield a réduit les taux d'expiration d'approbation mesurés dans cinq environnements de simulation, bien que la source n'établisse pas le monde réel…arxiv.orgInnovation
Benchmark révèle que les agents d'IA locaux peuvent gérer de nombreux appels d'outils de conception matérielle, mais la fiabilité varie
Un nouveau benchmark arXiv révèle que les agents d'IA open source peuvent effectuer de nombreuses opérations de conception matérielle ordonnées par dépendance via les outils MCP, tandis que les descriptions des outils, la longueur du contexte et la configuration de l'agent affectent fortement la fiabilité.arxiv.orgInnovation
SKILL.state propose un état d'exécution explicite pour les agents d'IA à exécution plus longue
Un article accepté à l'EMNLP présente une architecture d'exécution qui remplace les historiques de conversations croissants des agents par un état d'exécution structuré et mutable.arxiv.orgInnovation
FinRiskAtlas révèle que les scores généraux de l'IA peuvent passer à côté des faiblesses de l'examen des risques financiers
Une nouvelle référence en langue chinoise évalue les grands modèles linguistiques en fonction des décisions et des éléments de preuve auxquels ils sont confrontés dans les flux de travail liés aux risques financiers, plutôt qu'en fonction des seuls scores de capacité générale.arxiv.orgInnovation
BixBench3 découvre que les agents d'IA ont du mal à mener des études de biologie computationnelle à grande échelle
Une nouvelle référence évalue si les agents d’IA peuvent transformer des données biologiques brutes en résultats de recherche à travers des flux de travail complets de biologie computationnelle. Dans 20 tâches, 13 modèles frontières ont obtenu un score compris entre 0,00 et 0,48, les performances diminuant à mesure que les ensembles de données et les séquences d'étapes d'analyse se développaient.arxiv.orgInnovation
FLARE utilise un LLM et Lean pour vérifier les reformulations d'optimisation
Les chercheurs présentent FLARE, un système qui associe un agent basé sur LLM à l'assistant de preuve Lean pour vérifier si les reformulations proposées de programmation linéaire en nombres entiers mixtes préservent le problème d'origine. Sur le benchmark de 20 problèmes et 109 formulations de l'article, les auteurs rapportent une précision de 100 % sur le sous-ensemble NP-dur et…arxiv.orgInnovation
Une prépublication propose de profiler l'IA et les tâches sur le lieu de travail par capacités cognitives
Les chercheurs proposent un cadre qui compare les systèmes d'IA aux tâches sur le lieu de travail à l'aide de profils de capacités cognitives partagés, basé sur les évaluations de six systèmes d'IA et les exigences des tâches recueillies auprès de 410 employés.arxiv.org
Un briefing utile chaque semaine
Suivez l’IA sans vivre dans le flux.
Recevez les actualités vérifiées de la semaine sur l'IA, les données originales, les outils utiles, les choix d'apprentissage et les nouveaux travaux d'IA.
Touchez les personnes qui apprennent l’IA
Embaucher un professionnel de l’IA ou lancer un produit d’IA utile ? Présentez-le aux gens qui sont venus ici pour apprendre et agir.
Publier une offre d'emploi IASoumettre un outil d'IA