Oct 3, 2026 Not evaluated

Two-deletion correcting code of length 16: at least 219 codewords

Public record cited: 215, Weindel and Heckel v2

Replayed by DiscoverIA only · level N1

Replay this result

Download the published solution and check it with your own code.

Author's artefacts

Published solution einsteinarena.com
Repository or problem page einsteinarena.com

DiscoverIA replayed it on Oct 12, 2026: reproduced. See the receipt

Submit your report

In your message: the link to your report (discoveria-rapport-reproduction/1 format), whether you used the author's artefacts, and the name to publish if you agree to it being published.

DiscoverIA reviews each report before publishing it. A replay confirms the computation, not the framework: it does not change the status on its own.

Send my replay report

The gist

For a code correcting two deletions at length 16, an agent submitted 219 codewords on October 5, 2026, against 215 for Weindel and Heckel (version 2); larger is better; no DiscoverIA status yet.

DiscoverIA status on October 12, 2026: not evaluated, meaning no third-party evaluation found.

Status detailsDetails

AI draft, not reviewedWhat has not been reviewed?

Text written by an AI (DiscoverIA pipeline), on Oct 13, 2026. The status and its sources come from the registry; only the explanatory text has not been reviewed. A reported error is corrected, then the text is reviewed.

Follow Report

Cite this entry

A single status snapshot since Oct 12, 2026: a citation always points to a dated snapshot.

Cite snapshot 1, Oct 12, 2026

APA citation with the dated link

DiscoverIA. (2026, October 12). Two-deletion correcting code of length 16: at least 219 codewords (public record cited: 215, Weindel and Heckel v2) [Status: Not evaluated, snapshot 1]. DiscoverIA registry. https://discoveria.ai/entry/ea-two-deletion-code-16#releve-1

BibTeX @misc, key discoveria-ea-two-deletion-code-16-r1

@misc{discoveria-ea-two-deletion-code-16-r1,
  author       = {{DiscoverIA}},
  title        = {Two-deletion correcting code of length 16: at least 219 codewords (public record cited: 215, Weindel and Heckel v2)},
  howpublished = {DiscoverIA registry, entry ea-two-deletion-code-16},
  note         = {Status “Not evaluated”, snapshot 1, recorded on October 12, 2026. New result},
  year         = {2026},
  url          = {https://discoveria.ai/entry/ea-two-deletion-code-16#releve-1},
  urldate      = {2026-10-12}
}

Dated link opens this snapshot in the history

https://discoveria.ai/entry/ea-two-deletion-code-16#releve-1

To understand ≈ 30 s reading time, estimated

What it changes

If the value holds, a code of 219 words would exceed by 4 words the public record cited by the platform (215, Weindel and Heckel, version 2 of June 2026, construction not published). The best reproducible code cited by the platform has 208 words (CPro1, May 2025). A reproduction made by DiscoverIA on October 12, 2026 gives the verdict reproduced.

What remains unclear

The platform marks the statement and the verifier « Under active review »: this must be confirmed against the literature before calling it a record. No primary source (paper, blog) mentions this result. The verifier is a public program, not a third party.

For experts

Sources, method, key facts, status history, reproduction receipt, report an error

Status

Not evaluated

Recorded on Oct 12, 2026 · einsteinarena.com · leaderboard

Step 1 of 4 on the scale: not evaluated. Next step: under review.

Oct 3, 2026Announced
Oct 12, 2026Recordednot evaluated
nextTo follow

What this status means

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

The result is declared neither right nor wrong.

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

Full history

Proofs: vérificateur public exécutable (Python, exact), solution publique téléchargeable (API)

Sources

Main sourceeinsteinarena.com · api/problems/two-deletion-code-16link only, reading not recorded
Repositoryeinsteinarena.com · leaderboardpage read word for word · consulted on Oct 12, 2026 · "agentName":"[an agent]","bestScore":219
Repositoryeinsteinarena.com · bestlink only, reading not recorded
Repositoryeinsteinarena.com · problems/two-deletion-code-16link only, reading not recorded
Reference listeinsteinarena.comlink only, reading not recorded

Method

DiscoverIA status: not evaluated, meaning that no third-party evaluation has been found in the sources read. Set on October 12, 2026 from einsteinarena.com (page read, quotation checked word for word: “"agentName":"[an agent]","bestScore":219”). Reproduction by DiscoverIA on October 12, 2026: reproduced; it does not count towards the status.

Limits

No named third party: the recorded checks come from the claimant or from a platform tool.

Key facts

Claimed by: an agent (219 words, 2026-10-05); before it an agent (216 then 218 words, 2026-10-03) (Name replaced by a role)
announced on Oct 3, 2026
Nature: new result
Field: Theoretical computer science (coding theory / codes correcting two deletions (length 16))
Checked by: the platform's public checker (a tool); no third party named
Sources: 5 : 1 read word for word, 4 links only
Part of: EinsteinArena: a platform where AI agents tackle open problems with public verifiers
This entry: AI draft, not reviewed

Status history

Only one observation so far.

01Oct 12, 2026
First observation:Not evaluatedCurrent status
not evaluated; the platform marks the statement and the checker “Under active review”
Source: einsteinarena.comread word for word

An observation is added; none is ever erased.

Published reproductions

Reproduction receipt repro-ea-two-deletion-code-16-2026-10-12

ReproducedReproduced on Oct 12, 2026DiscoverIA status of the entry: Not evaluated

Statement replayed

Il existe un code binaire de longueur 16 corrigeant deux suppressions, de 219 mots : 219 mots binaires de longueur 16, deux à deux distincts, tels que deux mots distincts n'aient aucun descendant commun, un descendant étant un mot de longueur 14 obtenu en supprimant deux positions. Soumission d'id 2605 d'un agent sur la plateforme EinsteinArena, évaluée le 2026-10-05 (score 219), contre 215 pour le record public cité par l'énoncé de la plateforme (Weindel et Heckel, v2).

Evidence, item by item

Reproduction evidence, item by item
Item	Value	Evidence, fingerprint	Checkable by
Result
Claimed value	219		reading the source
Value obtained	219		anyone with the command and environment given
Equality	yes	arithmetic in exact integers	anyone with the command and environment given
Fingerprints
Source	einsteinarena.com	Source, content sha256 8fece05aec4a8ed9f4aac3b7078ad4f82f6b7e66ef9b4adc214077e835bea218	anyone, on the host
Report	rapport.json	sha256 2bf28293e5f177589a002d157d31f86b49044ab57decc4cc4d57c2794c98c3de	sha256sum on the rapport.json file
Timestamp
Timestamp	rapport.json.ots	Bitcoin anchoring : not checked here	OpenTimestamps client
Replay
Command	python -I -X utf8 reproductions/repro-ea-two-deletion-code-16-2026-10-12/scripts/rejouer.py <dossier-téléchargement>/solutions_best_problem34_limit4.json <dossier-téléchargement>/problem_two-deletion-code-16.json <dossier-de-sortie>		anyone with the command and environment given
Scripts	Public reproductions repository
Environment	Windows 11, Python 3.13.15 (bibliothèque standard seule) ; interpréteur lancé avec -I (mode isolé) ; réponse de l'API téléchargée dans un dossier séparé du code ; aucun réseau pendant le rejeu

To replay

Download the source

curl -L -o best "https://einsteinarena.com/api/solutions/best?problem_id=34&limit=4"

Replay

python -I -X utf8 reproductions/repro-ea-two-deletion-code-16-2026-10-12/scripts/rejouer.py <dossier-téléchargement>/solutions_best_problem34_limit4.json <dossier-téléchargement>/problem_two-deletion-code-16.json <dossier-de-sortie>

Windows 11, Python 3.13.15 (bibliothèque standard seule) ; interpréteur lancé avec -I (mode isolé) ; réponse de l'API téléchargée dans un dossier séparé du code ; aucun réseau pendant le rejeu

DiscoverIA

Reproduction receipt

repro-ea-two-deletion-code-16-2026-10-12

Replayed onOct 12, 2026

Claimed219

Obtained219

Exact equalityyes, exact integers

VerdictReproduced

Source, content sha256

einsteinarena.com8fece05aec4a8ed9…

Checkable by: anyone, on the host

Receipt fingerprint, sha256

2bf28293e5f17758
9a002d157d31f86b
49044ab57decc4cc
4d57c2794c98c3de

sha256 of rapport.json

Checkable by: sha256sum on the rapport.json file

OpenTimestamps timestamp

.ots filepresent

Bitcoin anchoringnot checked here

Checkable by: OpenTimestamps client

To replay

Download the source

curl -L -o best "https://einsteinarena.com/api/solutions/best?problem_id=34&limit=4"

Replay

python -I -X utf8 reproductions/repro-ea-two-deletion-code-16-2026-10-12/scripts/rejouer.py <dossier-téléchargement>/solutions_best_problem34_limit4.json <dossier-téléchargement>/problem_two-deletion-code-16.json <dossier-de-sortie>

Scripts: Public reproductions repository

Replay

python -I -X utf8 reproductions/repro-ea-two-deletion-code-16-2026-10-12/scripts/rejouer.py <dossier-téléchargement>/solutions_best_problem34_limit4.json <dossier-téléchargement>/problem_two-deletion-code-16.json <dossier-de-sortie>

Scripts: Public reproductions repository

Checkable by: anyone with the command and environment given

DiscoverIA status of the entry:
Not evaluated

In the same set

EinsteinArena: a platform where AI agents tackle open problems with public verifiers · 16 entries

See all 16 entries

Related frontiers

Binary two-deletion-correcting code, length 16: number of codewords

Report an error or suggest a source

Is your result listed?What each status requires, correcting this entry, replying to it.