Non évalué
Groupes de Lie : preuve annoncée que tout groupe de Lie se réalise par des permutations d'un ensemble dénombrable (Monod et Thom, avec GPT 6 Astra)
L'essentiel
Le 13 octobre 2026, Nicolas Monod et Andreas Thom ont publié sur arXiv une preuve que tout groupe de Lie se réalise par des permutations d'un ensemble dénombrable, une question d'Ulam, à partir d'une construction trouvée par GPT 6 Astra.
Statut DiscoverIA au 24 octobre 2026 : non évalué, c'est-à-dire aucune évaluation tierce trouvée.
Brouillon IA, non reluQu'est-ce qui n'est pas relu ?
Texte rédigé par une IA (pipeline DiscoverIA), le . Le statut et ses sources viennent du registre ; seul le texte explicatif n'est pas relu. Une erreur signalée est corrigée, puis le texte est relu.
Citer cette entrée
Un seul relevé de statut depuis le 24 oct. 2026 : une citation renvoie toujours à un relevé daté.
Citer le relevé 1, 24 oct. 2026
Citation APA avec le lien daté
BibTeX @misc, clé discoveria-monod-thom-groupes-de-lie-2026-10-13-r1
@misc{discoveria-monod-thom-groupes-de-lie-2026-10-13-r1,
author = {{DiscoverIA}},
title = {Groupes de Lie : preuve annoncée que tout groupe de Lie se réalise par des permutations d'un ensemble dénombrable (Monod et Thom, avec GPT 6 Astra)},
howpublished = {Registre DiscoverIA, fiche monod-thom-groupes-de-lie-2026-10-13},
note = {Statut « Non évalué », relevé 1, constaté le 24 octobre 2026. Nouveau résultat},
year = {2026},
url = {https://discoveria.ai/fr/fiche/monod-thom-groupes-de-lie-2026-10-13#releve-1},
urldate = {2026-10-24}
}Lien daté ouvre ce relevé dans l'historique
Pour comprendre ≈ 30 s de lecture, estimé
Ce que ça change
Un groupe se réalise par des permutations d'un ensemble dénombrable quand on peut le voir comme un groupe de bijections d'un ensemble infini dénombrable. Si la preuve tenait, tous les groupes de Lie, qui décrivent les symétries continues, auraient cette propriété, ce qui répondrait à une question d'Ulam.
Ce qui reste flou
Aucun tiers n'a encore relu la preuve, qui n'est pas formalisée. Les auteurs signalent qu'une part importante de l'argument figurait déjà dans des travaux antérieurs, notamment la construction de Parusiński et Rond ; ils jugent nouveaux le plongement de Puiseux du lemme 2.4 et son articulation avec le recollement.
Pour les experts
Sources, méthode, repères, historique du statut, signaler une erreur
Statut
Non évalué
Constaté le · arxiv.org · abs/2610.18464
Étape 1 sur 4 de l'échelle : non évalué. Étape suivante : en examen.
- Annonce
- Constaténon évalué
- ensuiteÀ suivre
Ce que veut dire ce statut
Lecture de la source : Source lue mot pour mot (niveau 3 sur 3)
Le résultat n'est déclaré ni juste ni faux.
Pour passer « En examen » : un examen public en cours. Pour « Relu par des pairs » : une publication en revue ou une relecture par des experts nommés.
Sources
- Source principalearxiv.org · abs/2610.18464page lue mot pour mot · consultée le 24 oct. 2026 ·
We prove that every Lie group can be realized by permutations of a countable set, answering a classical question of Ulam.
- Articlearxiv.org · html/2610.18464page lue mot pour mot · consultée le 24 oct. 2026 ·
The key countable-index deformation was first constructed by OpenAI's GPT 6 Astra during extended mathematical discussions.
Méthode
Après trois semaines de discussions, GPT 6 Astra a produit la déformation d'indice dénombrable sur laquelle repose le théorème C ; les auteurs ont proposé de l'étendre à SL_n(R) et aux autres groupes de Lie simples, ce qui, avec une réduction antérieure, a donné le théorème général. Nicolas Monod et Andreas Thom ont ensuite développé, vérifié et largement réécrit l'argument. Statut DiscoverIA : non évalué, c'est-à-dire qu'aucune évaluation par un tiers n'a été trouvée dans les sources lues. Établi le 24 octobre 2026 d'après arxiv.org (page lue, citation relevée mot pour mot : « We prove that every Lie group can be realized by permutations of a countable set »).
Limites
DiscoverIA n'a pas vérifié ce résultat lui-même.
Repères
- Revendiqué par
- Nicolas Monod et Andreas Thom, avec GPT 6 Astra (OpenAI)
annonce du 13 oct. 2026 - Nature
- nouveau résultat
- Domaine
- Mathématiques (théorie des groupes / groupes de Lie)
- Vérifié par
- aucun vérificateur identifié
- Sources
- 2 : 2 lues mot pour mot
- Cette fiche
- Brouillon IA, non relu
Historique du statut
Une seule observation pour l'instant.
- 01
Première observation :Non évaluéStatut actuel
préprint arXiv, sans relecture par les pairs ni formalisation ; preuve vérifiée et réécrite par les auteurs ; aucune évaluation tierce trouvée
Source : arxiv.orglu mot pour mot
Une observation s'ajoute ; aucune ne s'efface.
Signaler une erreur ou proposer une source
Merci, votre message est bien parti.
L'envoi a échoué. Réessayez, ou écrivez à contact@discoveria.ai.
Votre résultat est listé ?Ce que chaque statut exige, corriger cette entrée, y répondre.