Researchers

What each status requires, how each source is read, and the data behind the 952 entries of the registry.

On this page 6 sections

Method
Frontiers
Certified reproductions
Contest, propose, replay
Is your result listed?
Data and API

The method applied to a real registry entry. Each marker points to the general rule.

Registry entry · ea-kissing-number-d11Open the entry : ea-kissing-number-d11

Kissing number in dimension 11: at least 604 spheres (previous bound 593, AlphaEvolve)

Not evaluatedRecorded on Oct 12, 2026 · arxiv.org

Source reading : Source read word for word (level 3 of 3)

To move to “Under review”: a public review under way. To “Peer reviewed”: a journal publication or a review by named experts.

604Lower bound, Apr 13, 2026868Upper bound, Feb 24, 2022

Reproduction: no public receipt yet.

Six statuses, and what each one requires

From bottom to top, what it takes to climb one rung. Counts as of Oct 18, 2026.

Formally verified2entries
A named third party has checked a machine proof, one written for proof-checking software such as Lean. A proof supplied only by the claimant is not enough.
Peer reviewed11entries
Published in a journal or reviewed by named experts.
Under review3entries
Public review under way, no verdict yet.
Not evaluated906entries
No third-party evaluation found.No DiscoverIA status yet; this does not mean nobody has checked it.

Outside the path

Contested14entries
Sourced public objection, with no established refutation.
Withdrawn16entries
Withdrawn or abandoned by its author, or marked incorrect by the reference source.

Reading reliability

3/3Source read word for word
2/3Source read through an AI summary
1/3Search-engine snippet only

10 statuses out of 952 rest on a search snippet alone.

Named third-party rule

Formally verified requires a named third party. A co-claimant is never a third party, and a platform's own checker is not enough.

Frontiers

For each open problem we follow, the dated bounds: lower bound, upper bound, published points and proposals. 44 problems tracked.

All 44 frontiers

GET /api/frontieres.json · excerpt, kissing-d11

"records": {
  "inferieure": {
    "valeur": { "exacte": "604" },
    "date": "2026-04-13"
    …
  },
  "superieure": {
    "valeur": { "exacte": "868" },
    "date": "2022-02-24"
    …
  }
}

Certified reproductions

Format discoveria-rapport-reproduction/1. “Reproduced” requires exact equality, exact or certified arithmetic and a negative control that fails as expected. The scope comes in three lists:

portee.couvert : what the replay establishes.

portee.suppose : what the claim assumes, not proved.

portee.cite_non_reconstruit : what is cited without being replayed.

Only receipts whose report is public are listed here. No public receipt yet.

Contest, propose, replay

On each entry, “Report an error or suggest a source”. A reported error is corrected, then the text is reread. The same form is at the bottom of this page.
A status change adds a dated, sourced observation to the history: an observation is added; none is ever erased.
Replay: each public report gives its command and the sha256 fingerprint of each artefact. Repository open to researchers: planned. provisional

Is your result listed?

The path to a verified status, the correction of an entry and the right of reply. provisional

See the Claimants page

Data and API

All site data is published as JSON, computed at every build.

Endpoint	Description	Items
`/api/avancees.json`	Registry index (all categories)	952
`/api/avancees/<id>.json`	One full entry, with card and events	952
`/api/statuts.json`	Status vocabulary, counts, latest changes	6
`/api/frontieres.json`	Frontiers index and current record	44
`/api/frontieres/<id>.json`	Full series of one frontier	44
`/api/correspondances.json`	Link, arXiv and Erdős number to ids (search)	1,837

All 13 endpoints, on the Data page

GET /api/statuts.json · excerpt

"comptes": {
  "decouverte": {
    "verifie-formellement": 2,
    "relu-par-pairs": 11,
    "en-examen": 3,
    "conteste": 14,
    "retire": 16,
    "non-evalue": 906
  }
}

Registry, record and feed data are licensed under CC BY 4.0: you may reuse them freely, including commercially, with credit to DiscoverIA.

Researchers

Kissing number in dimension 11: at least 604 spheres (previous bound 593, AlphaEvolve)

1Six statuses, and what each one requires

Outside the path

2Reading reliability

3Named third-party rule

4 Frontiers