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
TOI-561 b : comment Webb enquête sur les nuages d’une planète de lave
Une étude des variations infrarouges de TOI-561 b privilégie une atmosphère très réfléchissante. Voici ce que Webb mesure réellement, ce que les modèles expliquent et ce qu’il reste à vérifier.
Glaciers en recul : ce qu’une carte ne peut pas dire au randonneur
Les cartes enregistrent le recul des glaciers, mais ne décrivent pas les conditions du jour. Entre mesure du climat, terrain instable et préparation d’un itinéraire, voici les repères à distinguer.
Horloges atomiques : pourquoi notre heure dépend d’un réseau
L’alerte sur les horloges de l’Observatoire de Paris révèle une infrastructure essentielle. Seconde atomique, heure mondiale et GPS : trois notions à distinguer.
Bénévolat nature en Alsace : comment aider le Conservatoire
Chantier d’une journée, veille régulière ou suivi naturaliste : le CEN Alsace propose plusieurs façons d’agir. Voici comment choisir un engagement et comprendre son utilité.
Lac Nyos : comment du CO₂ dissous a provoqué la catastrophe de 1986
Au Cameroun, le lac Nyos a libéré un nuage de CO₂ meurtrier en août 1986. Comprendre le gaz stocké en profondeur explique aussi le principe des installations de dégazage.
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.
Au Père-Lachaise, ce qui fait du cimetière un refuge pour le vivant
Herbes, arbres et tranquillité nocturne : le Père-Lachaise accueille une vie sauvage documentée. Mais observer des espèces ne suffit pas à mesurer leur progression.
Hohle Fels : ce que l’art miniature révèle de la préhistoire
Deux oiseaux en ivoire, découverts en 2025 et présentés en juillet 2026, enrichissent le dossier de cette grotte allemande. Du cheval sculpté à la flûte, comment lire ces objets sans leur inventer une histoire ?
Gouvernement suédois : pourquoi bloquer les sites de ChatGPT et Claude, mais garder l’accès aux modèles
Depuis le 26 octobre 2026, les ordinateurs professionnels des services du gouvernement suédois ne donnent plus accès aux sites de ChatGPT et de Claude. Certains agents peuvent pourtant encore utiliser leurs modèles par Intric. Pour comprendre cette décision, il faut regarder le chemin suivi par les données, les outils autorisés et les conditions d’utilisation.
Claude Cohen-Tannoudji : refroidir les atomes pour mieux les comprendre
Mort le 22 octobre 2026 à 93 ans, le physicien a contribué à transformer la lumière en outil de contrôle des atomes. Son héritage associe expériences, théorie et transmission.
Maglev : ce qui sépare un record d’essai d’un train de voyageurs
À Donghu, une plateforme d’essai a propulsé un petit véhicule à 800 km/h. Le maglev CRRC conçu pour 600 km/h répond à une autre échelle : celle d’une rame et de ses systèmes.