Repository navigation
v1.6.0 - submission and verification release
Submission and verification revision v1.6.0
This consolidated submission-package release retains the unchanged article and credited zero-free theorem, the matching complete formal-source ZIP, historical axiom-audit receipts and scoped independent-input research notes. No new mathematical theorem or independent zero-free replacement is claimed by this packaging revision.
The formal source tree is unchanged from the audited 19 original, seven closed endpoint and 20 analytic component reports. This release verifies that source identity and archive bytes. It does not claim a newly rerun full Lean build or a proof of the proposed independent mean-square input.
The manuscript PDF and source ZIP retain their previously checked bytes.
Existing bylines and source credits are preserved. The package includes
Hexagon fields and journal preparation files for Journal of Number Theory.
New material awaits author review. No journal or Hexagon submission,
acceptance, full Lehmer closure or independent zero-free proof is claimed.
Previous package DOI: https://doi.org/10.5281/zenodo.23637263
The new archival DOI is confirmed below; archived payload checks passed.
Package DOI: https://doi.org/10.5281/zenodo.23638793 .
Complete package folder: https://github.com/creelie/Breakthrough-problems-3/tree/v1.6.0/Paper_6%20package .
All package payloads were verified against the archived release commit.
Complete submission package ZIP: Paper_6_v1.6.0_submission_package.zip.
This ZIP was assembled after DOI verification and includes the post-publication DOI receipt; the immutable Zenodo source archive remains separately identified.