The Partition Principle does not imply Choice (famille 244)

Statut

Contesté

Constaté le 11 oct. 2026 · karagila.org

Hors du parcours de vérification

6 oct. 2026Annonce
11 oct. 2026Constatécontesté
ensuiteÀ suivre

Ce que veut dire ce statut

Lecture de la source : Source lue mot pour mot (niveau 3 sur 3)

Objection publique sourcée, sans réfutation établie.

Il reste « Contesté » tant qu'aucune réfutation n'est établie. Il passerait « Retiré » si son auteur le retirait ou si la source de référence le classait incorrect.

Historique complet

L'essentiel

Résultat de la publication openai/math d'OpenAI du 6 octobre 2026, en mathématiques, avec une preuve Lean fournie par OpenAI et sans vérification par un tiers.

Suivre Signaler

Citer cette entrée

Un seul relevé de statut depuis le 11 oct. 2026 : une citation renvoie toujours à un relevé daté.

Citer le relevé 1, 11 oct. 2026

Citation APA avec le lien daté

DiscoverIA. (2026, 11 octobre). The Partition Principle does not imply Choice (famille 244) [Statut : Contesté, relevé 1]. Registre DiscoverIA. https://discoveria.ai/fr/fiche/oai-fam-244-partition-principle/#releve-1

BibTeX @misc, clé discoveria-oai-fam-244-partition-principle-r1

@misc{discoveria-oai-fam-244-partition-principle-r1,
  author       = {{DiscoverIA}},
  title        = {The Partition Principle does not imply Choice (famille 244)},
  howpublished = {Registre DiscoverIA, fiche oai-fam-244-partition-principle},
  note         = {Statut « Contesté », relevé 1, constaté le 11 octobre 2026. nouveau résultat},
  year         = {2026},
  url          = {https://discoveria.ai/fr/fiche/oai-fam-244-partition-principle/#releve-1},
  urldate      = {2026-10-11}
}

Lien daté ouvre ce relevé dans l'historique

https://discoveria.ai/fr/fiche/oai-fam-244-partition-principle/#releve-1

Texte produit par un gabarit automatique (pipeline DiscoverIA), le 12 oct. 2026Relu par : personne pour l'instantSignaler une erreur

Qu'est-ce qui n'est pas relu ?

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.

Repères

Revendiqué par: OpenAI
annonce du 6 oct. 2026
Nature: nouveau résultat
Domaine: Mathématiques (logique / théorie des ensembles)
Vérifié par: revendicateur ; aucun tiers sur le fond
Sources (domaines): 3 : 3 liens seulement
Fait partie de: openai/math : 719 manuscrits (722 au lancement), 372 familles, modèle interne non publié
Cette fiche: Brouillon IA, non relu

Pour les experts

Preuves: preprint, Lean fourni par le revendicateur (formalization.yaml:772 ; config PartitionPrinciple)

Sources(domaines)

primairegithub.comlien seulement, lecture non enregistrée
contestationkaragila.orglien seulement, lecture non enregistrée
contestationkaragila.orglien seulement, lecture non enregistrée

Méthode

Statut « contesté » constaté le 11 octobre 2026 sur karagila.org (page lue, citation relevée mot pour mot).

Limites

Une preuve Lean fournie par le revendicateur ne vaut pas vérification formelle par un tiers.

Dans le même ensemble

openai/math · entrée 238 sur 372, par numéro de famille

Voir les 372 entrées

Historique du statut

Une seule observation pour l'instant.

0111 oct. 2026
Première observation :ContestéStatut actuel
contesté sur la qualité de rédaction et la méthode, pas démontré faux : l'auteur ne lit pas le Lean
Source : karagila.orglu mot pour mot

Une observation s'ajoute ; aucune ne s'efface.