Aller au contenu
EN · English
Pour démarrer

Langue : français · English

Chercheurs

Ce que chaque statut exige, comment chaque source est lue, et les données derrière les 952 entrées du registre.

Sur cette page 6 sections

La méthode appliquée à une entrée réelle du registre. Chaque repère renvoie à la règle générale.

Fiche du registre · ea-kissing-number-d11Ouvrir la fiche : ea-kissing-number-d11

Nombre de contact (kissing number) en dimension 11 : au moins 604 sphères (ancienne borne 593, AlphaEvolve)

Non évaluéConstaté le · arxiv.org

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

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.

604Borne inférieure, 13 avr. 2026868Borne supérieure, 24 févr. 2022
Reproduction : aucun reçu public pour l'instant.

Six statuts, et ce que chacun exige

De bas en haut, ce qu'il faut pour monter d'un barreau. Comptes au 18 oct. 2026.

  1. Vérifié formellement2entrées

    Un tiers nommé a vérifié une preuve machine, écrite pour un logiciel de contrôle de preuves comme Lean. Une preuve fournie par le seul revendicateur ne suffit pas.

  2. Relu par des pairs11entrées

    Publication en revue ou relecture par des experts nommés.

  3. En examen3entrées

    Examen public en cours, sans verdict.

  4. Non évalué906entrées

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

Hors parcours

  • Contesté14entrées

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

  • Retiré16entrées

    Retiré ou abandonné par son auteur, ou classé incorrect par la source de référence.

Fiabilité de lecture

  • 3/3Source lue mot pour mot
  • 2/3Source lue via un résumé IA
  • 1/3Extrait de recherche seulement

10 statuts sur 952 reposent sur un extrait seul.

Règle du tiers nommé

Vérifié formellement exige un tiers nommé. Un co-revendicateur n'est jamais tiers, et le vérificateur d'une plateforme ne suffit pas.

Frontières

Pour chaque problème ouvert suivi, l'encadrement daté : borne inférieure, borne supérieure, points publiés et propositions. 44 problèmes suivis.

Les 44 frontières
GET /api/frontieres.json · extrait, kissing-d11
"records": {
  "inferieure": {
    "valeur": { "exacte": "604" },
    "date": "2026-04-13"
    …
  },
  "superieure": {
    "valeur": { "exacte": "868" },
    "date": "2022-02-24"
    …
  }
}

Reproductions certifiées

Format discoveria-rapport-reproduction/1. « Reproduit » exige l'égalité exacte, une arithmétique exacte ou certifiée et un contrôle négatif qui échoue comme attendu. La portée tient en trois listes :

portee.couvert : ce que le rejeu établit.
portee.suppose : ce que la revendication suppose, non prouvé.
portee.cite_non_reconstruit : ce qui est cité sans être rejoué.

Seuls les reçus dont le rapport est public sont listés ici. Aucun reçu public pour l'instant.

Contester, proposer, rejouer

  1. Sur chaque fiche, « Signaler une erreur ou proposer une source ». Une erreur signalée est corrigée, puis le texte est relu. Le même formulaire est en bas de cette page.
  2. Un changement de statut ajoute une observation datée et sourcée à l'historique : une observation s'ajoute ; aucune ne s'efface.
  3. Rejouer : chaque rapport public donne sa commande et l'empreinte sha256 de chaque artefact. Dépôt ouvert aux chercheurs : prévu. provisoire

Votre résultat est listé ?

Le chemin vers un statut vérifié, la correction d'une entrée et le droit de réponse. provisoire

Voir la page Revendicateurs

Données et API

Toutes les données du site sont publiées en JSON, calculées à chaque construction.

EndpointDescriptionÉléments
/api/avancees.jsonIndex du registre (toutes catégories)952
/api/avancees/<id>.jsonUne entrée complète, avec fiche et événements952
/api/statuts.jsonVocabulaire des statuts, comptes, derniers changements6
/api/frontieres.jsonIndex des frontières et record courant44
/api/frontieres/<id>.jsonSéries complètes d'une frontière44
/api/correspondances.jsonCorrespondances lien, arXiv, numéro Erdős vers ids (recherche)1 837
Les 13 endpoints, sur la page Données
GET /api/statuts.json · extrait
"comptes": {
  "decouverte": {
    "verifie-formellement": 2,
    "relu-par-pairs": 11,
    "en-examen": 3,
    "conteste": 14,
    "retire": 16,
    "non-evalue": 906
  }
}

Les données du registre, des fiches et du fil sont sous licence CC BY 4.0 : vous pouvez les réutiliser librement, y compris pour un usage commercial, en citant DiscoverIA.

Signaler une erreur ou proposer une source

Ce que DiscoverIA fait de votre adresse et comment exercer vos droits : politique de confidentialité.

Vérification anti-robot non configurée.