Algèbre de groupe sans torsion non directement finie : contre-exemples caractéristique 2 et impaire (famille 197)

Statut

Non évalué

Constaté le 11 oct. 2026 · raw.githubusercontent.com

6 oct. 2026Annonce
11 oct. 2026Constaténon évalué
ensuiteÀ suivre

Ce que veut dire ce statut

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

Pas encore de statut DiscoverIA ; cela ne veut pas dire que personne n'a vérifié.

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.

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). Algèbre de groupe sans torsion non directement finie : contre-exemples caractéristique 2 et impaire (famille 197) [Statut : Non évalué, relevé 1]. Registre DiscoverIA. https://discoveria.ai/fr/fiche/oai-fam-197-kaplansky-direct-finiteness/#releve-1

BibTeX @misc, clé discoveria-oai-fam-197-kaplansky-direct-finiteness-r1

@misc{discoveria-oai-fam-197-kaplansky-direct-finiteness-r1,
  author       = {{DiscoverIA}},
  title        = {Algèbre de groupe sans torsion non directement finie : contre-exemples caractéristique 2 et impaire (famille 197)},
  howpublished = {Registre DiscoverIA, fiche oai-fam-197-kaplansky-direct-finiteness},
  note         = {Statut « Non évalué », relevé 1, constaté le 11 octobre 2026. nouveau résultat},
  year         = {2026},
  url          = {https://discoveria.ai/fr/fiche/oai-fam-197-kaplansky-direct-finiteness/#releve-1},
  urldate      = {2026-10-11}
}

Lien daté ouvre ce relevé dans l'historique

https://discoveria.ai/fr/fiche/oai-fam-197-kaplansky-direct-finiteness/#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 (théorie des groupes / algèbre)
Vérifié par: revendicateur
Sources (domaines): 1 : 1 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: preprints, Lean fourni par le revendicateur (formalization.yaml:47 et :52 ; config OddKaplansky), résumé de raisonnement famille 197

Sources(domaines)

primairegithub.comlien seulement, lecture non enregistrée

Méthode

Statut « non évalué » constaté le 11 octobre 2026 sur github.com (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. DiscoverIA n'a recensé aucune évaluation indépendante à cette date.

Dans le même ensemble

openai/math · entrée 191 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 :Non évaluéStatut actuel
Source : raw.githubusercontent.comlu mot pour mot

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