Méthode et données

Ce que chaque statut exige, qui peut l'attester, ce qu'une reproduction établit, et les données derrière les 962 entrées du registre. Elles regroupent les 51 annonces suivies, les 389 parties qui en détaillent certaines et l'archive datée du wiki « AI contributions to Erdős problems » (522 entrées).

Sur cette page 6 sections

Six statuts, et ce que chacun exige
Règle du tiers nommé
Reproductions
Citer un statut daté
Données et API
Pour les IA et les développeurs

Six statuts, et ce que chacun exige

Comptes au 31 oct. 2026, par entrée : chaque résultat d'une publication groupée compte pour un.

Vérifié formellement 2: 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.
Relu par des pairs 11: Publication en revue ou relecture par des experts nommés.
En examen 3: Examen public en cours, sans verdict.
Contesté 14: Objection publique sourcée, sans réfutation établie.
Retiré 16: Retiré ou abandonné par son auteur, ou classé incorrect par la source de référence.
Non évalué 916: Aucune évaluation tierce trouvée.

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.

Reproductions

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é.

Niveau d'une reproduction : N1 quand seul DiscoverIA l'a rejouée, N2 après un rejeu externe, N3 après deux. Un rejeu confirme le calcul, pas le cadre : il ne change pas le statut à lui seul.

Reproductions publiques
Entrée	Résultat	Arithmétique	Niveau	Date
Aiguille de Kakeya discrétisée (n=128) : aire 0,10675394	961554009820195/9007199254740992	rationnels exacts	N1	12 oct. 2026
Nombre de contact en dimension 11 : au moins 604 sphères	604	entiers exacts	N1	12 oct. 2026
Problème de chargement d'anneau (15 paires) : 1,125	9/8	rationnels exacts	N1	12 oct. 2026
Code correcteur de deux suppressions, longueur 16 : au moins 219 mots	219	entiers exacts	N1	12 oct. 2026

Citer un statut daté

Un statut vaut à sa date de constat. Citez-le avec cette date : chaque fiche donne sa référence au format APA et BibTeX, avec le statut et le jour du constat.

L'historique de chaque statut reste visible : une observation s'ajoute, aucune ne s'efface.

Données et API

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

Endpoint	Description	Éléments
`/api/avancees.json`	Index du registre (toutes catégories)	962
`/api/avancees/<id>.json`	Une entrée complète, avec fiche et événements	962
`/api/statuts.json`	Vocabulaire des statuts, comptes, derniers changements	6
`/api/frontieres.json`	Index des frontières et record courant	44
`/api/frontieres/<id>.json`	Séries complètes d'une frontière	44
`/api/correspondances.json`	Correspondances lien, arXiv, numéro Erdős vers ids (recherche)	1 868

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": 916
  }
}

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.

Pour les IA et les développeurs

Un assistant IA compatible MCP (Model Context Protocol, le protocole qui relie un assistant à des sources de données) peut interroger le registre directement : chercher une annonce, lire son statut et son historique, citer un relevé daté.

Adresse : https://mcp.discoveria.ai/mcp (Streamable HTTP, sans compte ni clé).
Registre officiel MCP : ai.discoveria/discoveria.
Six outils en lecture seule : search_announcements (chercher), get_announcement (une annonce et son historique), list_statuses (les six statuts), recent_changes (derniers changements), get_frontier (frontières), get_citation (citation APA ou BibTeX).
Mêmes données que l'API JSON, sous licence CC BY 4.0, avec 20 minutes de retard au plus.
Chaque réponse rappelle la date des données, et qu'un statut dit où en est l'évaluation, pas si le résultat est vrai.

Depuis une page web, passez par l'API JSON : le serveur MCP n'accepte que les origines autorisées.

Description du serveur (texte)

Contester un statut, proposer une avancée ou rejouer un résultat : voir Participer.