IA et preuves scientifiques : ce que Lean vérifie, et ce qu’il faut encore examiner
Les annonces d’OpenAI relancent la question des preuves produites par l’IA. Noyau logique, hypothèses et résultats d’AlphaProof : les repères pour les évaluer.
Sciences & planète
L’actualité, les repères et les regards de la rédaction.
Rechercher et filtrer
VOTRE SÉLECTION
Explorer la rubrique
Agents IA : ce que les standards ouverts permettent de garder
L’AAIF accueille quatre projets pour rendre les agents plus portables. Méthodes, modèles, tests et sécurité : voici ce qui peut voyager, et ce qui reste à vérifier.
Assistants IA au travail : qui choisit vraiment les critères ?
Une expérience d’Anthropic interroge la maîtrise des décisions confiées aux agents. Pour les utilisateurs, le contrôle ne peut pas se limiter à vérifier les chiffres.
Images électorales : le filtre de ChatGPT, entre dessin et photoréalisme
Le filtre rapporté par CNET transforme certaines demandes en images stylisées. Mais deux essais français décrits par Next aboutissent à des résultats différents : une friction de génération n’est pas une vérification de la vérité.
Core Advanced : que mesurent vraiment les 2 Go de mémoire ?
Le modèle d’Apple compte 20 milliards de paramètres, mais un relevé après requête affiche environ 2 Gio. Ces nombres ne mesurent pas la même chose : l’un décrit le modèle entier, l’autre un état mémoire observé sur un Mac donné.
À Rennes, l’IA n’est pas présentée comme le seul motif de l’amende
Le commentaire juridique consacré à l’affaire place les indices associés à Claude après d’autres griefs visant le recours. La typographie, à elle seule, ne permet donc pas de conclure qu’un outil a été utilisé — ni que cet usage explique la sanction.
Recettes de cuisine et IA : pourquoi les réponses sans clic fragilisent les sites
Les résumés générés par IA répondent parfois sans envoyer l'internaute vers le site source. Pew, Reuters Institute et Google apportent trois éclairages qu'il faut distinguer.
Un faux ours créé par IA, une vraie alerte : comment le contexte s’est perdu
La rue était réelle. L’ours, lui, avait été ajouté avec un outil d’intelligence artificielle. À Magdagachi, dans l’Extrême-Orient russe, la photographie a quitté un échange privé et déclenché la recherche d’un animal inexistant.
Une IA peut-elle se répliquer sur des objets connectés ? Le test d’Anthropic expliqué
Un modèle réparti sur quinze boîtiers Android TV, puis une installation pilotée sur huit machines du cloud : les expériences publiées par Anthropic le 12 octobre 2026 explorent une question de cybersécurité concrète.
Une IA cache des messages dans ses images : que prouve vraiment l’expérience ?
Des chercheurs ont caché 50 messages dans des dessins produits par Claude Fable 5.1. Une autre session en a retrouvé 39. Ce que cette expérience démontre et ce qu’elle ne dit pas.
À Madagascar, les travailleurs de la donnée rendent l'IA possible, souvent dans l'ombre
Derrière l'entraînement et la correction des modèles d'IA, des équipes malgaches exercent un travail qui demande des compétences. Une enquête de 2026 éclaire leur rôle et les enjeux de la sous-traitance.
Reconnaissance vocale : quelles erreurs compter ?
La nouvelle livraison Common Voice distingue parole lue et réponses spontanées. Cette différence éclaire les taux d’erreur affichés par les outils de transcription.