{"schema_version":"source-reader-v1","record":{"source_id":"prime-gaps-212","versions":[{"work":{"authors":["François Charton","Letong Hong","Kenny Lau","Ken Ono","Guillaume Remy","Ho Chung Siu","Ashvin A. Swaminathan","Jesse Thorner","Yunzhou Xie"],"kind":"research_paper","publication":"preprint","publication_note":"Public manuscript or exposition; publication does not imply independent OpenMath review.","ai_role":"self_reported","ai_note":"The nine authors supply the mathematics, building on Julia Stadlmann and earlier sieve work. AxiomProver is credited with generating a formal deduction; this is not a claim that the model independently discovered the mathematical bound.","artifacts":[],"published":{"value":"2026-09-03"}},"id":"prime-gaps:source:212:v1","source_id":"prime-gaps-212","title":"Bounded gaps between primes: the 212 bound","owner":"François Charton, Letong Hong, Kenny Lau, Ken Ono, Guillaume Remy, Ho Chung Siu, Ashvin A. Swaminathan, Jesse Thorner, Yunzhou Xie","url":"https://primegaps.axiommath.ai/bgp212.pdf","subject_scope":"The preliminary draft states H₁ ≤ 212 and explains the analytic and exact rational calculations. Its appendix reports a formal deduction with analytic and variational hypotheses.","revision":"2026-09-03","content_sha256":"2b307ae26046dffd2153fe7466e5a9a302976dc3ba5142151a8a8104a37b3d80","update_method":"Source comparison followed by a new immutable curation revision.","identifier_policy":"Stable source and entry identities; changed wording receives a new version.","observed_on":"2026-10-13","source_updated_on":"2026-09-03","rights":"metadata-link","license":"Original document rights remain with its authors.","terms_url":"https://primegaps.axiommath.ai/bgp212.pdf","attribution":"François Charton, Letong Hong, Kenny Lau, Ken Ono, Guillaume Remy, Ho Chung Siu, Ashvin A. Swaminathan, Jesse Thorner, Yunzhou Xie","rights_note":"OpenMath supplies original paraphrases and links; no proof text is republished.","check_interval_days":90}],"entries":[{"id":"prime-gaps:entry:212:v1","source_version_id":"prime-gaps:source:212:v1","item_id":"212","url":"https://primegaps.axiommath.ai/bgp212.pdf","wording":"The preliminary draft states H₁ ≤ 212 and explains the analytic and exact rational calculations. Its appendix reports a formal deduction with analytic and variational hypotheses.","wording_kind":"paraphrase","locator":"Theorem 1.1; introduction’s prior bounds; Appendix A, Formal certificate by AxiomProver","supersedes":null}],"problems":[{"slug":"prime-gaps","title":"How small can prime gaps be?","publication_version":1}],"selected_version_id":"prime-gaps:source:212:v1","available_versions":[{"id":"prime-gaps:source:212:v2","revision":"2026-09-03","observed_on":"2026-10-13","title":"A new bound for small gaps between primes","publication":"preprint","content_sha256":"2b307ae26046dffd2153fe7466e5a9a302976dc3ba5142151a8a8104a37b3d80","used_in_current_publications":true},{"id":"prime-gaps:source:212:v1","revision":"2026-09-03","observed_on":"2026-10-13","title":"Bounded gaps between primes: the 212 bound","publication":"preprint","content_sha256":"2b307ae26046dffd2153fe7466e5a9a302976dc3ba5142151a8a8104a37b3d80","used_in_current_publications":false}],"usages":[{"id":"source-use-ae40d6428ef7a9e5a86d","entry_id":"prime-gaps:entry:212:v1","problem":{"slug":"prime-gaps","title":"How small can prime gaps be?","publication_version":1},"kind":"activity","title":"The 212 certificate is reported in the paper","claim":null,"fragment":"activity","assessment":null,"superseded":false,"formalization":null,"update":{"id":"prime-gaps-212-certificate","title":"The 212 certificate is reported in the paper","kind":"formalization","source_entry_ids":["prime-gaps:entry:212:v1"],"summary":"The appendix credits AxiomProver with a Lean deduction that assumes five equidistribution estimates, bilinear Bombieri–Vinogradov, Harman decomposition and the variational certificate.","limitation":"No exact public commit or declaration for that 212 certificate was established by this source check; it is shown as a paper-reported artifact, not a fabricated formal-code link.","related_claim_ids":["claim-prime-gaps-bound-212"]}},{"id":"source-use-02c1bc6cbe7ece26ddda","entry_id":"prime-gaps:entry:212:v1","problem":{"slug":"prime-gaps","title":"How small can prime gaps be?","publication_version":1},"kind":"assessment","title":"Historical bounds recorded in the paper","claim":{"id":"claim-prime-gaps-bound-70000000","version":1,"slug":"prime-gaps-bound-70000000","title":"Gaps at most 70,000,000, infinitely often"},"fragment":"claim-prime-gaps-bound-70000000","assessment":{"id":"prime-gaps:report:earlier:v1","entry_id":"prime-gaps:entry:212:v1","state":"resolved","source_label":"Historical bounds recorded in the paper","scope":"Zhang, Maynard and Stadlmann bounded-gap results.","source_date":null,"observed_on":"2026-10-13","evidence_url":"https://primegaps.axiommath.ai/bgp212.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-5239c9d87c57951814d2","entry_id":"prime-gaps:entry:212:v1","problem":{"slug":"prime-gaps","title":"How small can prime gaps be?","publication_version":1},"kind":"assessment","title":"Historical bounds recorded in the paper","claim":{"id":"claim-prime-gaps-bound-600","version":1,"slug":"prime-gaps-bound-600","title":"Gaps at most 600, infinitely often"},"fragment":"claim-prime-gaps-bound-600","assessment":{"id":"prime-gaps:report:earlier:v1","entry_id":"prime-gaps:entry:212:v1","state":"resolved","source_label":"Historical bounds recorded in the paper","scope":"Zhang, Maynard and Stadlmann bounded-gap results.","source_date":null,"observed_on":"2026-10-13","evidence_url":"https://primegaps.axiommath.ai/bgp212.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-bb28a17ade4d1b2d459f","entry_id":"prime-gaps:entry:212:v1","problem":{"slug":"prime-gaps","title":"How small can prime gaps be?","publication_version":1},"kind":"assessment","title":"The preliminary draft proves H₁ ≤ 212","claim":{"id":"claim-prime-gaps-bound-212","version":1,"slug":"prime-gaps-bound-212","title":"Gaps at most 212, infinitely often"},"fragment":"claim-prime-gaps-bound-212","assessment":{"id":"prime-gaps:report:212:v1","entry_id":"prime-gaps:entry:212:v1","state":"resolved","source_label":"The preliminary draft proves H₁ ≤ 212","scope":"The paper’s unconditional assertion; formalization assumes analytic and variational inputs.","source_date":null,"observed_on":"2026-10-13","evidence_url":"https://primegaps.axiommath.ai/bgp212.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-d16ddad4c22ad67bf8e3","entry_id":"prime-gaps:entry:212:v1","problem":{"slug":"prime-gaps","title":"How small can prime gaps be?","publication_version":1},"kind":"assessment","title":"Historical bounds recorded in the paper","claim":{"id":"claim-prime-gaps-bound-240","version":1,"slug":"prime-gaps-bound-240","title":"Gaps at most 240, infinitely often"},"fragment":"claim-prime-gaps-bound-240","assessment":{"id":"prime-gaps:report:earlier:v1","entry_id":"prime-gaps:entry:212:v1","state":"resolved","source_label":"Historical bounds recorded in the paper","scope":"Zhang, Maynard and Stadlmann bounded-gap results.","source_date":null,"observed_on":"2026-10-13","evidence_url":"https://primegaps.axiommath.ai/bgp212.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-022496c0e4a7b5457baf","entry_id":"prime-gaps:entry:212:v1","problem":{"slug":"prime-gaps","title":"How small can prime gaps be?","publication_version":1},"kind":"milestone","title":"Maynard introduces a multidimensional sieve","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-1c1b832488b729142e13","entry_id":"prime-gaps:entry:212:v1","problem":{"slug":"prime-gaps","title":"How small can prime gaps be?","publication_version":1},"kind":"milestone","title":"Stadlmann lowers the mathematical bound to 240","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-652d6cda370d6a617ef3","entry_id":"prime-gaps:entry:212:v1","problem":{"slug":"prime-gaps","title":"How small can prime gaps be?","publication_version":1},"kind":"milestone","title":"Zhang establishes bounded gaps","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-79e6b567e4e529d4b8bc","entry_id":"prime-gaps:entry:212:v1","problem":{"slug":"prime-gaps","title":"How small can prime gaps be?","publication_version":1},"kind":"milestone","title":"A preliminary draft reaches 212","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-0edeb9f078ef015b6bfb","entry_id":"prime-gaps:entry:212:v1","problem":{"slug":"prime-gaps","title":"How small can prime gaps be?","publication_version":1},"kind":"question","title":"How small can prime gaps be?","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-58b7355560d9d33daff5","entry_id":"prime-gaps:entry:212:v1","problem":{"slug":"prime-gaps","title":"How small can prime gaps be?","publication_version":1},"kind":"statement","title":"Gaps at most 70,000,000, infinitely often","claim":{"id":"claim-prime-gaps-bound-70000000","version":1,"slug":"prime-gaps-bound-70000000","title":"Gaps at most 70,000,000, infinitely often"},"fragment":"claim-prime-gaps-bound-70000000","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-5e7fae385d40e0072429","entry_id":"prime-gaps:entry:212:v1","problem":{"slug":"prime-gaps","title":"How small can prime gaps be?","publication_version":1},"kind":"statement","title":"Gaps at most 240, infinitely often","claim":{"id":"claim-prime-gaps-bound-240","version":1,"slug":"prime-gaps-bound-240","title":"Gaps at most 240, infinitely often"},"fragment":"claim-prime-gaps-bound-240","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-625d1dc49830efafddd9","entry_id":"prime-gaps:entry:212:v1","problem":{"slug":"prime-gaps","title":"How small can prime gaps be?","publication_version":1},"kind":"statement","title":"Gaps at most 600, infinitely often","claim":{"id":"claim-prime-gaps-bound-600","version":1,"slug":"prime-gaps-bound-600","title":"Gaps at most 600, infinitely often"},"fragment":"claim-prime-gaps-bound-600","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-a5a914f33b37295d3522","entry_id":"prime-gaps:entry:212:v1","problem":{"slug":"prime-gaps","title":"How small can prime gaps be?","publication_version":1},"kind":"statement","title":"Gaps at most 212, infinitely often","claim":{"id":"claim-prime-gaps-bound-212","version":1,"slug":"prime-gaps-bound-212","title":"Gaps at most 212, infinitely often"},"fragment":"claim-prime-gaps-bound-212","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-ac1148727eb40411d335","entry_id":"prime-gaps:entry:212:v1","problem":{"slug":"prime-gaps","title":"How small can prime gaps be?","publication_version":1},"kind":"statement","title":"Gaps of two infinitely often","claim":{"id":"claim-prime-gaps-twin-primes","version":1,"slug":"prime-gaps-twin-primes","title":"Gaps of two infinitely often"},"fragment":"claim-prime-gaps-twin-primes","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}