Sergey Zheleznov — Goldbach Conjecture Research: Updates

ORCID iD registered

2026-07-21T12:00:00Z

The author's ORCID iD (0009-0004-7730-9492) is now shown on the home page and embedded in the site's structured data, anchoring the site, future preprint deposits, and the research identity to one persistent identifier.

Real URLs: full static prerender

2026-07-21T12:00:00Z

The site moved from hash-based routing (/#/…) to real per-page URLs with build-time prerendering: every page is now a static HTML document with its own title, description, and canonical URL, readable by search engines and AI crawlers. Old /#/ links redirect automatically. A sitemap and robots.txt were added.

Registry numbers re-derived; complete Lean account published

2026-07-20T12:00:00Z

All claim-registry and experiment counts on the Methodology page are now generated directly from the research repository and stamped with a snapshot date (2026-07-19: 281 claims, 272 experiments). The Formalization page now carries the complete sorry/axiom account: exactly one sorry (off the critical path — no result depends on it) and nine axiom declarations across five files, each itemized with its role. An earlier claim that understated the recorded full lake builds was corrected as well.

Citation audit

2026-07-20T12:00:00Z

Every external reference was verified against its source. Two corrections: the Pintz exceptional-set bound E(X) < X^0.72 is an unpublished preprint (arXiv:1804.09084) and is now labeled as such, with the best published bound (W. C. Lu, J. Number Theory 130 (2010)) listed alongside; dead links to the former Oliveira e Silva verification page were replaced with the journal DOI and an Internet Archive copy. Preprint dates were corrected to May 2026.

Redesign into strict academic style

2026-07-19T12:00:00Z

The site was rebuilt in an arXiv-like English-language format: a single serif column, per-claim status badges on every page, and a restructured Research section with six subpages (problem survey, results, parity barrier, Lean 4 formalization, numerics, methodology). The CWC3 note (May 2026 revision, with the asset-forensics status box) was added to Publications.

Site launched

2026-07-19T12:00:00Z

First public version of this site: partial results with explicit status labels, an analysis of the parity barrier, notes on the Lean 4 formalization, numerical experiments, and draft manuscripts. The Goldbach conjecture is open, and nothing here claims otherwise.