2026-07-21
Formalization hardening after a nine-perspective review
A nine-perspective review of this site (expert, lay, crawler, accessibility, security, and three mathematician lenses) prompted fixes in the Lean layer itself: the 28 rational identities of the Mathlib-free PMAP core are now proved by direct kernel evaluation (decide +kernel) instead of native_decide, removing the compiler from the trusted base, and 33 missing JP1 instances were added, so every even N from 10 to 1000 now carries a kernel-checked certificate. On the site, several imprecise formulations were corrected (the parity-barrier phrasing, the Hardy–Littlewood normalization, the Guth–Maynard placement, the Zhao ineffectivity note), and internal results without public write-ups were relabeled from “theorem” to a new explicit status: “claimed, write-up pending”.
2026-07-21
Permanent address: goldbach.zheleznov.com
The site now lives at its permanent address, goldbach.zheleznov.com, served as fully static pages over HTTPS. The root domain zheleznov.com will become a general personal page; all research materials, the Atom feed, and the PDFs are canonical at this subdomain.
2026-07-21
ORCID iD registered
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.
2026-07-21
Real URLs: full static prerender
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.
2026-07-20
Registry numbers re-derived; complete Lean account published
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.
2026-07-20
Citation audit
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.
2026-07-19
Redesign into strict academic style
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 — a conjectural orthogonality estimate for shifted Möbius sums (May 2026 revision, with the asset-forensics status box) — was added to Publications.
2026-07-19
Site launched
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.