A dated log of changes to this site and the underlying research program: status changes, corrections, and new material. Corrections are listed with the same prominence as additions.
Also available as an Atom feed.
2026-07-21
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
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
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
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
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.
2026-07-19
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.