Non évalué
Théorème des mots variables ordonnés : détermination annoncée de sa partie du premier ordre (Patey, avec Claude Opus 5.5)
L'essentiel
Le 20 octobre 2026, Ludovic Patey a publié sur arXiv une réponse à une question ouverte de logique mathématique sur le théorème des mots variables ordonnés, dont un lemme central a été prouvé par Claude Opus 5.5.
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-patey-mots-variables-ordonnes-2026-10-20-r1
@misc{discoveria-patey-mots-variables-ordonnes-2026-10-20-r1,
author = {{DiscoverIA}},
title = {Théorème des mots variables ordonnés : détermination annoncée de sa partie du premier ordre (Patey, avec Claude Opus 5.5)},
howpublished = {Registre DiscoverIA, fiche patey-mots-variables-ordonnes-2026-10-20},
note = {Statut « Non évalué », relevé 1, constaté le 24 octobre 2026. Nouveau résultat},
year = {2026},
url = {https://discoveria.ai/fr/fiche/patey-mots-variables-ordonnes-2026-10-20#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
En mathématiques à rebours, on mesure la force d'un théorème par les axiomes nécessaires pour le démontrer. Si la preuve tenait, le théorème des mots variables ordonnés, un résultat de combinatoire, ne permettrait de démontrer aucun énoncé arithmétique de plus que le système RCA_0 + BΣ^0_2, c'est-à-dire le système de base RCA_0 complété par le principe de collection BΣ^0_2. L'auteur en déduit la même propriété pour le théorème de l'arbre pour les singletons, de Chubb, Hirst et McNicholl, ce qui répondrait à une question ouverte de longue date.
Ce qui reste flou
Aucun tiers n'a encore relu la preuve, et elle n'est pas formalisée.
Pour les experts
Sources, méthode, repères, historique du statut, signaler une erreur
Statut
Non évalué
Constaté le · arxiv.org · abs/2610.27643
É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.27643page lue mot pour mot · consultée le 24 oct. 2026 ·
Lemma 3.13 was found by Claude Opus 5.5 (Anthropic).
- Articlearxiv.org · html/2610.27643page lue mot pour mot · consultée le 24 oct. 2026 ·
The proof was completely rewritten by the author for clarity.
Méthode
Le papier affirme que le théorème est Π^1_1-conservatif sur RCA_0 + BΣ^0_2. Selon le papier, Claude Opus 5.5 a prouvé le lemme d'extension Π^0_1 (lemme 3.13), central dans la preuve, que Ludovic Patey a entièrement réécrit ; l'idée d'origine de l'approche, démontrer dans un système faible le théorème de base faiblement bas de Liu et Patey avec les techniques de Le Houérou, Patey et Yokoyama, vient de lui. 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 : « Lemma 3.13 was found by Claude Opus 5.5 (Anthropic). »).
Limites
DiscoverIA n'a pas vérifié ce résultat lui-même.
Repères
- Revendiqué par
- Ludovic Patey, avec Claude Opus 5.5 (Anthropic)
annonce du 20 oct. 2026 - Nature
- nouveau résultat
- Domaine
- Mathématiques (logique mathématique / mathématiques à rebours)
- 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 ; 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.