{"schema_version":"claim-reader-v1","record":{"available_versions":[2,1],"current_version":2,"assessment_summary":"consistent","claim":{"statement":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 240; in other words H₁ ≤ 240.","statement_notation":{"schema_version":"mathematical-text-v1","segments":[{"kind":"text","text":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 240; in other words "},{"kind":"math","text":"H₁ ≤ 240","latex":"H_1\\le240"},{"kind":"text","text":"."}]},"id":"claim-prime-gaps-bound-240","slug":"prime-gaps-bound-240","version":2,"kind":"bound","title":"Gaps at most 240, infinitely often","assumptions":["Consecutive positive primes.","No additional conjectural hypothesis in the cited mathematical result."],"scope":"An unconditional upper bound on the recurring gap, attributed to Stadlmann; it does not imply every gap is this small.","source_entry_ids":["prime-gaps:entry:212:v2"],"formal_declarations":[]},"sha256":"ead2118e20654c395c91f539a2115d9defeea195bd727a8fd1d88c2d04e3888f","contexts":[{"assessment_history":[{"report_id":"prime-gaps:report:earlier:v2","source_id":"prime-gaps-212","source_version_id":"prime-gaps:source:212:v2","source_title":"A new bound for small gaps between primes","source_label":"Historical bounds recorded in the paper","state":"resolved","scope":"Zhang, Maynard and Stadlmann bounded-gap results.","observed_on":"2026-10-13","evidence_url":"https://primegaps.axiommath.ai/bgp212.pdf","entry_id":"prime-gaps:entry:212:v2","supersedes":"prime-gaps:report:earlier:v1"}],"reader_guide":{"reading":[],"definitions":[],"proofs":[],"bounds":[{"id":"prime-gaps-bound-240-bound-detail","claim":{"id":"claim-prime-gaps-bound-240","version":2},"quantity":"H₁","direction":"upper","value":"240","conditions":"Unconditional bound for gaps between consecutive primes occurring infinitely often.","comparison_group":"prime-gap-unconditional","date":{"value":"2026"},"source_entry_ids":["prime-gaps:entry:212:v2"]}],"witnesses":[],"contributors":null,"scopes":[]},"problem_id":"problem-prime-gaps","slug":"prime-gaps","title":"How small can prime gaps be?","publication_version":7,"relationship":{"claim":{"id":"claim-prime-gaps-bound-240","version":2},"relation":"bound","relationship_note":"An unconditional upper bound on the recurring gap, attributed to Stadlmann; it does not imply every gap is this small.","result":"proved","report_ids":["prime-gaps:report:earlier:v2"],"independent_review":"pending"},"assessments":[{"report_id":"prime-gaps:report:earlier:v2","source_id":"prime-gaps-212","source_version_id":"prime-gaps:source:212:v2","source_title":"A new bound for small gaps between primes","source_label":"Historical bounds recorded in the paper","state":"resolved","scope":"Zhang, Maynard and Stadlmann bounded-gap results.","observed_on":"2026-10-13","evidence_url":"https://primegaps.axiommath.ai/bgp212.pdf","entry_id":"prime-gaps:entry:212:v2","supersedes":"prime-gaps:report:earlier:v1"}],"connections":[],"related_claims":[{"id":"claim-prime-gaps-bound-70000000","version":3,"slug":"prime-gaps-bound-70000000","title":"Gaps at most 70,000,000, infinitely often"},{"id":"claim-prime-gaps-bound-600","version":3,"slug":"prime-gaps-bound-600","title":"Gaps at most 600, infinitely often"},{"id":"claim-prime-gaps-bound-246","version":2,"slug":"prime-gaps-bound-246","title":"Gaps at most 246, infinitely often"}],"progress":[{"method":"mathematical_argument","claim_id":"claim-prime-gaps-bound-240","aspect":"H₁ ≤ 240","summary":"Julia Stadlmann’s 2026 work improved the distribution estimates used by the sieve.","remaining":"The target H₁ = 2 is not established.","overlaps_with":["claim-prime-gaps-bound-70000000","claim-prime-gaps-bound-600","claim-prime-gaps-bound-246"],"overlap_note":"Nested results concern the same prime-gap limit; they are not separate portions of a solved problem.","category":"bound"}],"tasks":[],"statements":[{"statement":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 70000000; in other words H₁ ≤ 70000000.","statement_notation":{"schema_version":"mathematical-text-v1","segments":[{"kind":"text","text":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 70000000; in other words "},{"kind":"math","text":"H₁ ≤ 70000000","latex":"H_1\\le70{,}000{,}000"},{"kind":"text","text":"."}]},"id":"claim-prime-gaps-bound-70000000","slug":"prime-gaps-bound-70000000","version":3,"kind":"bound","title":"Gaps at most 70,000,000, infinitely often","assumptions":["Consecutive positive primes.","No additional conjectural hypothesis in the cited mathematical result."],"scope":"An unconditional upper bound on the recurring gap, attributed to Zhang; it does not imply every gap is this small.","source_entry_ids":["prime-gaps:entry:zhang:v1","prime-gaps:entry:212:v2"],"formal_declarations":[],"relation":"bound","relationship_note":"An unconditional upper bound on the recurring gap, attributed to Zhang; it does not imply every gap is this small.","result":"proved","report_ids":["prime-gaps:report:zhang:v1","prime-gaps:report:earlier:v2"],"independent_review":"pending"},{"statement":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 600; in other words H₁ ≤ 600.","statement_notation":{"schema_version":"mathematical-text-v1","segments":[{"kind":"text","text":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 600; in other words "},{"kind":"math","text":"H₁ ≤ 600","latex":"H_1\\le600"},{"kind":"text","text":"."}]},"id":"claim-prime-gaps-bound-600","slug":"prime-gaps-bound-600","version":3,"kind":"bound","title":"Gaps at most 600, infinitely often","assumptions":["Consecutive positive primes.","No additional conjectural hypothesis in the cited mathematical result."],"scope":"An unconditional upper bound on the recurring gap, attributed to Maynard; it does not imply every gap is this small.","source_entry_ids":["prime-gaps:entry:maynard:v1","prime-gaps:entry:212:v2"],"formal_declarations":[],"relation":"bound","relationship_note":"An unconditional upper bound on the recurring gap, attributed to Maynard; it does not imply every gap is this small.","result":"proved","report_ids":["prime-gaps:report:maynard:v1","prime-gaps:report:earlier:v2"],"independent_review":"pending"},{"statement":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 246; in other words H₁ ≤ 246.","statement_notation":{"schema_version":"mathematical-text-v1","segments":[{"kind":"text","text":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 246; in other words "},{"kind":"math","text":"H₁ ≤ 246","latex":"H_1\\le246"},{"kind":"text","text":"."}]},"id":"claim-prime-gaps-bound-246","slug":"prime-gaps-bound-246","version":2,"kind":"bound","title":"Gaps at most 246, infinitely often","assumptions":["Consecutive positive primes.","No additional conjectural hypothesis in the cited mathematical result."],"scope":"An unconditional upper bound on the recurring gap, attributed to Polymath8b; it does not imply every gap is this small.","source_entry_ids":["prime-gaps:entry:polymath:v1"],"formal_declarations":[],"relation":"bound","relationship_note":"An unconditional upper bound on the recurring gap, attributed to Polymath8b; it does not imply every gap is this small.","result":"proved","report_ids":["prime-gaps:report:246:v1"],"independent_review":"pending"},{"statement":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 240; in other words H₁ ≤ 240.","statement_notation":{"schema_version":"mathematical-text-v1","segments":[{"kind":"text","text":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 240; in other words "},{"kind":"math","text":"H₁ ≤ 240","latex":"H_1\\le240"},{"kind":"text","text":"."}]},"id":"claim-prime-gaps-bound-240","slug":"prime-gaps-bound-240","version":2,"kind":"bound","title":"Gaps at most 240, infinitely often","assumptions":["Consecutive positive primes.","No additional conjectural hypothesis in the cited mathematical result."],"scope":"An unconditional upper bound on the recurring gap, attributed to Stadlmann; it does not imply every gap is this small.","source_entry_ids":["prime-gaps:entry:212:v2"],"formal_declarations":[],"relation":"bound","relationship_note":"An unconditional upper bound on the recurring gap, attributed to Stadlmann; it does not imply every gap is this small.","result":"proved","report_ids":["prime-gaps:report:earlier:v2"],"independent_review":"pending","credit":{"name":"Stadlmann","year":"2026","entry_id":"prime-gaps:entry:212:v2"}}],"entries":[{"id":"prime-gaps:entry:polymath:v1","source_version_id":"prime-gaps:source:polymath:v1","item_id":"polymath","url":"https://arxiv.org/abs/1407.4897v2","wording":"The published Polymath8b argument establishes an unconditional recurring prime gap at most 246; the twin-prime target remains out of reach.","wording_kind":"paraphrase","locator":"Main bounded-gap results and introduction","supersedes":null},{"id":"prime-gaps:entry:212:v2","source_version_id":"prime-gaps:source:212:v2","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":"prime-gaps:entry:212:v1"},{"id":"prime-gaps:entry:zhang:v1","source_version_id":"prime-gaps:source:zhang:v1","item_id":"Abstract","url":"https://annals.math.princeton.edu/2014/179-3/p07","wording":"Zhang proves that lim inf (pₙ₊₁ − pₙ) < 7 × 10⁷, refining Goldston–Pintz–Yıldırım with a stronger Bombieri–Vinogradov estimate for moduli without large prime factors.","wording_kind":"paraphrase","locator":"Abstract","supersedes":null},{"id":"prime-gaps:entry:maynard:v1","source_version_id":"prime-gaps:source:maynard:v1","item_id":"Abstract","url":"https://arxiv.org/abs/1311.4600v3","wording":"Maynard shows that lim inf (pₙ₊₁ − pₙ) ≤ 600, and ≤ 12 assuming the Elliott–Halberstam conjecture.","wording_kind":"paraphrase","locator":"Abstract","supersedes":null}],"sources":[{"work":{"authors":["D. H. J. Polymath"],"kind":"research_paper","publication":"published","publication_note":"Peer-reviewed historical result.","ai_role":"not_reported","ai_note":"No AI contribution is asserted by this source record.","artifacts":[],"published":{"value":"2014"}},"id":"prime-gaps:source:polymath:v1","source_id":"prime-gaps-polymath","title":"Variants of the Selberg sieve, and bounded intervals containing many primes","owner":"D. H. J. Polymath","url":"https://arxiv.org/abs/1407.4897v2","subject_scope":"The published Polymath8b argument establishes an unconditional recurring prime gap at most 246; the twin-prime target remains out of reach.","revision":"2014","content_sha256":null,"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":null,"rights":"metadata-link","license":"Original document rights remain with its authors.","terms_url":"https://arxiv.org/abs/1407.4897v2","attribution":"D. H. J. Polymath","rights_note":"OpenMath supplies original paraphrases and links; no proof text is republished.","check_interval_days":90},{"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:v2","source_id":"prime-gaps-212","title":"A new bound for small gaps between primes","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},{"work":{"authors":["Yitang Zhang"],"kind":"research_paper","publication":"published","publication_note":"Annals of Mathematics 179(3), 1121–1174 (2014); DOI checked against Crossref.","ai_role":"not_reported","ai_note":"No AI contribution is asserted by this source record.","artifacts":[],"published":{"value":"2014-05-01"}},"id":"prime-gaps:source:zhang:v1","source_id":"prime-gaps-zhang","title":"Bounded gaps between primes","owner":"Yitang Zhang","url":"https://doi.org/10.4007/annals.2014.179.3.7","subject_scope":"Zhang proves the first finite bound on gaps between consecutive primes that recur infinitely often.","revision":"2014-05-01","content_sha256":null,"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-21","source_updated_on":null,"rights":"metadata-link","license":"Original document rights remain with its authors.","terms_url":"https://doi.org/10.4007/annals.2014.179.3.7","attribution":"Yitang Zhang","rights_note":"OpenMath supplies original paraphrases and links; no proof text is republished.","check_interval_days":90},{"work":{"authors":["James Maynard"],"kind":"research_paper","publication":"published","publication_note":"Annals of Mathematics 181, 383–413 (2015), DOI 10.4007/annals.2015.181.1.7 checked against Crossref; arXiv v3 pinned by content hash.","ai_role":"not_reported","ai_note":"No AI contribution is asserted by this source record.","artifacts":[],"published":{"value":"2015"}},"id":"prime-gaps:source:maynard:v1","source_id":"prime-gaps-maynard","title":"Small gaps between primes","owner":"James Maynard","url":"https://arxiv.org/abs/1311.4600v3","subject_scope":"Maynard’s multidimensional sieve gives recurring prime gaps of at most 600.","revision":"2015","content_sha256":"dce1a7a03004186f7116efe64c1c62f0792db973cce4208ac1bfb5050d63cda9","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-21","source_updated_on":null,"rights":"metadata-link","license":"Original document rights remain with its authors.","terms_url":"https://arxiv.org/abs/1311.4600v3","attribution":"James Maynard","rights_note":"OpenMath supplies original paraphrases and links; no proof text is republished.","check_interval_days":90}]}],"assessments":[{"report_id":"prime-gaps:report:earlier:v2","source_id":"prime-gaps-212","source_version_id":"prime-gaps:source:212:v2","source_title":"A new bound for small gaps between primes","source_label":"Historical bounds recorded in the paper","state":"resolved","scope":"Zhang, Maynard and Stadlmann bounded-gap results.","observed_on":"2026-10-13","evidence_url":"https://primegaps.axiommath.ai/bgp212.pdf","entry_id":"prime-gaps:entry:212:v2","supersedes":"prime-gaps:report:earlier:v1"}],"sources":[{"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:v2","source_id":"prime-gaps-212","title":"A new bound for small gaps between primes","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:v2","source_version_id":"prime-gaps:source:212:v2","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":"prime-gaps:entry:212:v1"}],"formalizations":[],"tasks":[],"assessment_state":"proved","publication":{"version":6,"sha256":"75bb3b9a99d6da3656536851677a90738d57bcad1914b40de136201f465f5a68","published_at":"2026-10-14T09:35:12.989873+00:00","reason":"Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.","withdrawn":false,"draft":{"reader_guide":{"reading":[{"entry_id":"prime-gaps:entry:polymath:v1","role":"introduction","note":"Read the setting and notation before comparing the results."},{"entry_id":"prime-gaps:entry:212:v2","role":"proof","note":"Read the mathematical argument; inspect its Claim for assessment and scope."},{"entry_id":"prime-gaps:entry:246-lean:v1","role":"formal_source","note":"Inspect the formal statement, assumptions and reported checks."},{"entry_id":"prime-gaps:entry:186-lean:v1","role":"formal_source","note":"Inspect the formal statement, assumptions and reported checks."}],"definitions":[{"id":"prime-gaps-definition","term":"Limit inferior H₁","explanation":"The eventual lower limit of consecutive-prime gaps. An upper bound for H₁ asserts that gaps at most that size occur infinitely often.","source_entry_ids":["prime-gaps:entry:polymath:v1"]}],"proofs":[],"bounds":[{"id":"prime-gaps-bound-70000000-bound-detail","claim":{"id":"claim-prime-gaps-bound-70000000","version":2},"quantity":"H₁","direction":"upper","value":"70000000","conditions":"Unconditional bound for gaps between consecutive primes occurring infinitely often.","comparison_group":"prime-gap-unconditional","date":{"value":"2013"},"source_entry_ids":["prime-gaps:entry:212:v2"]},{"id":"prime-gaps-bound-600-bound-detail","claim":{"id":"claim-prime-gaps-bound-600","version":2},"quantity":"H₁","direction":"upper","value":"600","conditions":"Unconditional bound for gaps between consecutive primes occurring infinitely often.","comparison_group":"prime-gap-unconditional","date":{"value":"2013"},"source_entry_ids":["prime-gaps:entry:212:v2"]},{"id":"prime-gaps-bound-246-bound-detail","claim":{"id":"claim-prime-gaps-bound-246","version":2},"quantity":"H₁","direction":"upper","value":"246","conditions":"Unconditional bound for gaps between consecutive primes occurring infinitely often.","comparison_group":"prime-gap-unconditional","date":{"value":"2014"},"source_entry_ids":["prime-gaps:entry:polymath:v1"]},{"id":"prime-gaps-bound-240-bound-detail","claim":{"id":"claim-prime-gaps-bound-240","version":2},"quantity":"H₁","direction":"upper","value":"240","conditions":"Unconditional bound for gaps between consecutive primes occurring infinitely often.","comparison_group":"prime-gap-unconditional","date":{"value":"2026"},"source_entry_ids":["prime-gaps:entry:212:v2"]},{"id":"prime-gaps-bound-212-bound-detail","claim":{"id":"claim-prime-gaps-bound-212","version":2},"quantity":"H₁","direction":"upper","value":"212","conditions":"Unconditional bound for gaps between consecutive primes occurring infinitely often.","comparison_group":"prime-gap-unconditional","date":{"value":"2026-09-03"},"source_entry_ids":["prime-gaps:entry:212:v2"]},{"id":"prime-gaps-186-conditional-bound-detail","claim":{"id":"claim-prime-gaps-186-conditional","version":3},"quantity":"H₁","direction":"upper","value":"186","conditions":"Conditional on the rank-three Kloosterman estimate, rank-two correlation estimate, and the precise integral and cap bounds in the cited proof.","comparison_group":"prime-gap-conditional","date":{"value":"2026-09-02"},"source_entry_ids":["prime-gaps:entry:186-lean:v1"]}],"witnesses":[],"contributors":{"summary":"The 212 mathematical paper credits nine authors and builds on Julia Stadlmann. AxiomProver is credited for its formal certificate, not independently discovering that bound.","source_entry_ids":["prime-gaps:entry:polymath:v1","prime-gaps:entry:212:v2","prime-gaps:entry:246-lean:v1","prime-gaps:entry:186-lean:v1"]},"scopes":[],"remaining":{"mathematical":"Establish recurring gaps of two; the selected finite upper bounds do not prove the twin-prime target.","assessment":"Independently validate and strengthen the selected mathematical results and formal deductions, retaining their explicit input assumptions.","source_entry_ids":["prime-gaps:entry:polymath:v1","prime-gaps:entry:212:v2","prime-gaps:entry:246-lean:v1","prime-gaps:entry:186-lean:v1"]}},"representations":[{"schema_version":"visual-representation-v1","id":"prime-gaps-setup","version":3,"subject":{"kind":"problem","id":"problem-prime-gaps","sha256":"4c364033856a568b8446cc9f598a70822dd962bbffa3bd73544babc5307e6a95"},"purpose":"setup","title":"A small gap is not yet an infinite family","caption":"The consecutive primes 101, 103, 107 and 109 have gaps 2, 4 and 2. These finite examples explain the quantity being bounded.","description":"On a number line, consecutive primes 101, 103, 107 and 109 are marked, with gaps 2, 4 and 2; the universal question asks for such small gaps arbitrarily far out.","assumptions":["Coordinates in the drawing are illustrative unless the caption specifies an exact example."],"limitation":"A finite list cannot establish infinitely many twin primes or any asymptotic bound. The reported bounds are presented with their own assumptions below.","author":"OpenMath source curation","authoring_method":"ai_assisted_curation","authored_on":"2026-10-13","independent_review":"pending","source_entry_ids":["prime-gaps:entry:212:v2","prime-gaps:entry:polymath:v1"],"payload":{"kind":"diagram_schematic","marks":[{"x":40,"y":150,"id":"axis","kind":"segment","end":{"x":440,"y":150},"radius":null,"text":null,"anchor":"middle","dashed":false},{"x":240,"y":55,"id":"heading","kind":"label","end":null,"radius":null,"text":"A finite example of prime gaps","anchor":"middle","dashed":false},{"x":60,"y":150,"id":"p101","kind":"point","end":null,"radius":null,"text":null,"anchor":"middle","dashed":false},{"x":60,"y":193,"id":"n101","kind":"label","end":null,"radius":null,"text":"101","anchor":"middle","dashed":false},{"x":140,"y":150,"id":"p103","kind":"point","end":null,"radius":null,"text":null,"anchor":"middle","dashed":false},{"x":140,"y":193,"id":"n103","kind":"label","end":null,"radius":null,"text":"103","anchor":"middle","dashed":false},{"x":300,"y":150,"id":"p107","kind":"point","end":null,"radius":null,"text":null,"anchor":"middle","dashed":false},{"x":300,"y":193,"id":"n107","kind":"label","end":null,"radius":null,"text":"107","anchor":"middle","dashed":false},{"x":380,"y":150,"id":"p109","kind":"point","end":null,"radius":null,"text":null,"anchor":"middle","dashed":false},{"x":380,"y":193,"id":"n109","kind":"label","end":null,"radius":null,"text":"109","anchor":"middle","dashed":false},{"x":100,"y":125,"id":"g2a","kind":"label","end":null,"radius":null,"text":"2","anchor":"middle","dashed":false},{"x":220,"y":125,"id":"g4","kind":"label","end":null,"radius":null,"text":"4","anchor":"middle","dashed":false},{"x":340,"y":125,"id":"g2b","kind":"label","end":null,"radius":null,"text":"2","anchor":"middle","dashed":false},{"x":240,"y":260,"id":"recurrence","kind":"label","end":null,"radius":null,"text":"The question asks: infinitely often?","anchor":"middle","dashed":false}],"features":[{"id":"target","label":"Read the infinite recurrence target","claim":{"id":"claim-prime-gaps-twin-primes","version":2},"binding":"scope","mark_ids":["axis","heading","p101","n101","p103","n103","p107","n107","p109","n109","g2a","g4","g2b","recurrence"]}],"legend":"Select a statement below for its scope and evidence. The text view describes the complete drawing."}}],"visuals":[{"representation":{"id":"prime-gaps-setup","version":3},"section":"question"}],"claim_relations":[{"claim":{"id":"claim-prime-gaps-twin-primes","version":2},"relation":"primary_formulation","relationship_note":"The twin-prime target. Finite upper bounds larger than two leave it unresolved.","result":"unproved","report_ids":["prime-gaps:report:twin-target-open:v1"],"independent_review":"pending"},{"claim":{"id":"claim-prime-gaps-bound-70000000","version":2},"relation":"bound","relationship_note":"An unconditional upper bound on the recurring gap, attributed to Zhang; it does not imply every gap is this small.","result":"proved","report_ids":["prime-gaps:report:earlier:v2"],"independent_review":"pending"},{"claim":{"id":"claim-prime-gaps-bound-600","version":2},"relation":"bound","relationship_note":"An unconditional upper bound on the recurring gap, attributed to Maynard; it does not imply every gap is this small.","result":"proved","report_ids":["prime-gaps:report:earlier:v2"],"independent_review":"pending"},{"claim":{"id":"claim-prime-gaps-bound-246","version":2},"relation":"bound","relationship_note":"An unconditional upper bound on the recurring gap, attributed to Polymath8b; it does not imply every gap is this small.","result":"proved","report_ids":["prime-gaps:report:246:v1"],"independent_review":"pending"},{"claim":{"id":"claim-prime-gaps-bound-240","version":2},"relation":"bound","relationship_note":"An unconditional upper bound on the recurring gap, attributed to Stadlmann; it does not imply every gap is this small.","result":"proved","report_ids":["prime-gaps:report:earlier:v2"],"independent_review":"pending"},{"claim":{"id":"claim-prime-gaps-bound-212","version":2},"relation":"bound","relationship_note":"An unconditional upper bound on the recurring gap, attributed to the 2026 preliminary draft; it does not imply every gap is this small.","result":"proved","report_ids":["prime-gaps:report:212:v2"],"independent_review":"pending"},{"claim":{"id":"claim-prime-gaps-186-conditional","version":3},"relation":"conditional_result","relationship_note":"A proved conditional deduction. The two literature estimates and numerical input remain project axioms; OpenMath has not verified or discharged them.","result":"proved","report_ids":["prime-gaps:report:186-conditional:v1"],"independent_review":"pending"},{"claim":{"id":"claim-prime-gaps-bv-implies-246","version":1},"relation":"conditional_result","relationship_note":"The certificate and downstream sieve deduction are formalized; the analytic distribution theorem is a premise in this endpoint.","result":"proved","report_ids":["prime-gaps:report:246-conditional:v1"],"independent_review":"pending"}],"milestones":[{"id":"prime-gaps-bound-70000000","date":{"value":"2013"},"date_basis":"preprint","category":"bound","title":"Zhang establishes bounded gaps","summary":"The cited source records H₁ ≤ 70,000,000.","limitation":"This is a bound recurring infinitely often, not a resolution of twin primes.","claims":[{"id":"claim-prime-gaps-bound-70000000","version":2}],"source_entry_ids":["prime-gaps:entry:212:v2"],"independent_review":"pending"},{"id":"prime-gaps-bound-600","date":{"value":"2013"},"date_basis":"preprint","category":"bound","title":"Maynard introduces a multidimensional sieve","summary":"The cited source records H₁ ≤ 600.","limitation":"This is a bound recurring infinitely often, not a resolution of twin primes.","claims":[{"id":"claim-prime-gaps-bound-600","version":2}],"source_entry_ids":["prime-gaps:entry:212:v2"],"independent_review":"pending"},{"id":"prime-gaps-bound-246","date":{"value":"2014"},"date_basis":"publication","category":"bound","title":"Polymath8b reaches 246","summary":"The cited source records H₁ ≤ 246.","limitation":"This is a bound recurring infinitely often, not a resolution of twin primes.","claims":[{"id":"claim-prime-gaps-bound-246","version":2}],"source_entry_ids":["prime-gaps:entry:polymath:v1"],"independent_review":"pending"},{"id":"prime-gaps-bound-240","date":{"value":"2026"},"date_basis":"preprint","category":"bound","title":"Stadlmann lowers the mathematical bound to 240","summary":"The cited source records H₁ ≤ 240.","limitation":"This is a bound recurring infinitely often, not a resolution of twin primes.","claims":[{"id":"claim-prime-gaps-bound-240","version":2}],"source_entry_ids":["prime-gaps:entry:212:v2"],"independent_review":"pending"},{"id":"prime-gaps-bound-212","date":{"value":"2026-09-03"},"date_basis":"preprint","category":"bound","title":"A preliminary draft reaches 212","summary":"The cited source records H₁ ≤ 212.","limitation":"This is a bound recurring infinitely often, not a resolution of twin primes.","claims":[{"id":"claim-prime-gaps-bound-212","version":2}],"source_entry_ids":["prime-gaps:entry:212:v2"],"independent_review":"pending"},{"id":"prime-gaps-lean-246","date":{"value":"2026-08-18"},"date_basis":"formalization","category":"formalization","title":"A public formal deduction for 246","summary":"PrimeGapsLib exposes the 246 conclusion under a Bombieri–Vinogradov premise.","limitation":"The formal development and the unconditional mathematical result have different completeness boundaries.","claims":[{"id":"claim-prime-gaps-bv-implies-246","version":1}],"source_entry_ids":["prime-gaps:entry:246-lean:v1"],"independent_review":"pending"},{"id":"prime-gaps-lean-186","date":{"value":"2026-09-02"},"date_basis":"formalization","category":"formalization","title":"A conditional formal deduction for 186","summary":"The source endpoint uses three named mathematical input axioms and a separate numerical certificate.","limitation":"This is not ranked as a new unconditional bound.","claims":[{"id":"claim-prime-gaps-186-conditional","version":3}],"source_entry_ids":["prime-gaps:entry:186-lean:v1"],"independent_review":"pending"}],"progress":[{"method":"mathematical_argument","claim_id":"claim-prime-gaps-bound-70000000","aspect":"H₁ ≤ 70000000","summary":"Zhang established the first finite recurring-gap bound in 2013.","remaining":"The target H₁ = 2 is not established.","overlaps_with":[],"overlap_note":"No overlap is counted as an additional resolved part.","category":"bound"},{"method":"mathematical_argument","claim_id":"claim-prime-gaps-bound-600","aspect":"H₁ ≤ 600","summary":"Maynard’s multidimensional sieve lowered the bound in 2013.","remaining":"The target H₁ = 2 is not established.","overlaps_with":["claim-prime-gaps-bound-70000000"],"overlap_note":"Nested results concern the same prime-gap limit; they are not separate portions of a solved problem.","category":"bound"},{"method":"mathematical_argument","claim_id":"claim-prime-gaps-bound-246","aspect":"H₁ ≤ 246","summary":"The Polymath8b collaboration sharpened the bound in 2014.","remaining":"The target H₁ = 2 is not established.","overlaps_with":["claim-prime-gaps-bound-70000000","claim-prime-gaps-bound-600"],"overlap_note":"Nested results concern the same prime-gap limit; they are not separate portions of a solved problem.","category":"bound"},{"method":"mathematical_argument","claim_id":"claim-prime-gaps-bound-240","aspect":"H₁ ≤ 240","summary":"Julia Stadlmann’s 2026 work improved the distribution estimates used by the sieve.","remaining":"The target H₁ = 2 is not established.","overlaps_with":["claim-prime-gaps-bound-70000000","claim-prime-gaps-bound-600","claim-prime-gaps-bound-246"],"overlap_note":"Nested results concern the same prime-gap limit; they are not separate portions of a solved problem.","category":"bound"},{"method":"mathematical_argument","claim_id":"claim-prime-gaps-bound-212","aspect":"H₁ ≤ 212","summary":"The September 2026 preliminary draft further sharpens the sieve bound.","remaining":"The target H₁ = 2 is not established.","overlaps_with":["claim-prime-gaps-bound-70000000","claim-prime-gaps-bound-600","claim-prime-gaps-bound-246","claim-prime-gaps-bound-240"],"overlap_note":"Nested results concern the same prime-gap limit; they are not separate portions of a solved problem.","category":"bound"},{"method":"mathematical_argument","claim_id":"claim-prime-gaps-186-conditional","aspect":"Conditional H₁ ≤ 186","summary":"The formal source derives 186 only from its three documented mathematical input axioms.","remaining":"Discharge or independently justify all input assumptions before treating this as an unconditional improvement.","overlaps_with":["claim-prime-gaps-bound-70000000","claim-prime-gaps-bound-600","claim-prime-gaps-bound-246","claim-prime-gaps-bound-240","claim-prime-gaps-bound-212"],"overlap_note":"Nested results concern the same prime-gap limit; they are not separate portions of a solved problem.","category":"conditional_result"},{"method":"mathematical_argument","claim_id":"claim-prime-gaps-bv-implies-246","aspect":"Formal deduction for 246","summary":"The public Lean theorem formalizes the deduction to 246 from Bombieri–Vinogradov.","remaining":"The cited mathematical 246 result is unconditional, but this formal theorem does not prove its analytic premise.","overlaps_with":["claim-prime-gaps-bound-246"],"overlap_note":"Nested results concern the same prime-gap limit; they are not separate portions of a solved problem.","category":"conditional_result"}],"activities":[{"id":"prime-gaps-212-certificate","title":"The 212 certificate is reported in the paper","kind":"formalization","source_entry_ids":["prime-gaps:entry:212:v2"],"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":"prime-gaps-186-certificate","title":"The 186 numerical certificate and Lean assumptions","kind":"computation","source_entry_ids":["prime-gaps:entry:186-lean:v1"],"summary":"The numerical program and the conditional Lean development are distinct artifacts with different checking boundaries.","limitation":"A passing numerical receipt does not discharge the three Lean input axioms.","related_claim_ids":["claim-prime-gaps-186-conditional"]}],"curation":{"checked_on":"2026-10-13","selection":"The canonical statement, selected results and public proof evidence, with historical and contribution context.","search_scope":"Selected primary manuscripts, theorem declarations and project provenance reviewed on 13 October 2026; this is not an exhaustive literature survey.","formal_status":"Public Lean evidence covers a 246 deduction from Bombieri–Vinogradov and a 186 deduction from three input axioms. The 212 paper reports a separate certificate with analytic and variational hypotheses; its exact public source revision was not identified. No OpenMath build is recorded.","ai_status":"The 212 mathematical paper credits nine authors and builds on Julia Stadlmann. AxiomProver is credited for its formal certificate, not independently discovering that bound.","independent_review":"pending"},"schema_version":"research-record-v3","claims":[{"statement":"For every real bound X there are consecutive primes p < q with p ≥ X and q − p = 2; equivalently H₁ = 2.","statement_notation":{"schema_version":"mathematical-text-v1","segments":[{"kind":"text","text":"For every real bound X there are consecutive primes p < q with p ≥ X and q − p = 2; equivalently "},{"kind":"math","text":"H₁ = 2","latex":"H_1=2"},{"kind":"text","text":"."}]},"id":"claim-prime-gaps-twin-primes","slug":"prime-gaps-twin-primes","version":2,"kind":"conjecture","title":"Gaps of two infinitely often","assumptions":["Consecutive positive primes in increasing order."],"scope":"The twin-prime target. Finite upper bounds larger than two leave it unresolved.","source_entry_ids":["prime-gaps:entry:polymath:v1","prime-gaps:entry:212:v2"],"formal_declarations":[]},{"statement":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 70000000; in other words H₁ ≤ 70000000.","statement_notation":{"schema_version":"mathematical-text-v1","segments":[{"kind":"text","text":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 70000000; in other words "},{"kind":"math","text":"H₁ ≤ 70000000","latex":"H_1\\le70{,}000{,}000"},{"kind":"text","text":"."}]},"id":"claim-prime-gaps-bound-70000000","slug":"prime-gaps-bound-70000000","version":2,"kind":"bound","title":"Gaps at most 70,000,000, infinitely often","assumptions":["Consecutive positive primes.","No additional conjectural hypothesis in the cited mathematical result."],"scope":"An unconditional upper bound on the recurring gap, attributed to Zhang; it does not imply every gap is this small.","source_entry_ids":["prime-gaps:entry:212:v2"],"formal_declarations":[]},{"statement":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 600; in other words H₁ ≤ 600.","statement_notation":{"schema_version":"mathematical-text-v1","segments":[{"kind":"text","text":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 600; in other words "},{"kind":"math","text":"H₁ ≤ 600","latex":"H_1\\le600"},{"kind":"text","text":"."}]},"id":"claim-prime-gaps-bound-600","slug":"prime-gaps-bound-600","version":2,"kind":"bound","title":"Gaps at most 600, infinitely often","assumptions":["Consecutive positive primes.","No additional conjectural hypothesis in the cited mathematical result."],"scope":"An unconditional upper bound on the recurring gap, attributed to Maynard; it does not imply every gap is this small.","source_entry_ids":["prime-gaps:entry:212:v2"],"formal_declarations":[]},{"statement":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 246; in other words H₁ ≤ 246.","statement_notation":{"schema_version":"mathematical-text-v1","segments":[{"kind":"text","text":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 246; in other words "},{"kind":"math","text":"H₁ ≤ 246","latex":"H_1\\le246"},{"kind":"text","text":"."}]},"id":"claim-prime-gaps-bound-246","slug":"prime-gaps-bound-246","version":2,"kind":"bound","title":"Gaps at most 246, infinitely often","assumptions":["Consecutive positive primes.","No additional conjectural hypothesis in the cited mathematical result."],"scope":"An unconditional upper bound on the recurring gap, attributed to Polymath8b; it does not imply every gap is this small.","source_entry_ids":["prime-gaps:entry:polymath:v1"],"formal_declarations":[]},{"statement":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 240; in other words H₁ ≤ 240.","statement_notation":{"schema_version":"mathematical-text-v1","segments":[{"kind":"text","text":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 240; in other words "},{"kind":"math","text":"H₁ ≤ 240","latex":"H_1\\le240"},{"kind":"text","text":"."}]},"id":"claim-prime-gaps-bound-240","slug":"prime-gaps-bound-240","version":2,"kind":"bound","title":"Gaps at most 240, infinitely often","assumptions":["Consecutive positive primes.","No additional conjectural hypothesis in the cited mathematical result."],"scope":"An unconditional upper bound on the recurring gap, attributed to Stadlmann; it does not imply every gap is this small.","source_entry_ids":["prime-gaps:entry:212:v2"],"formal_declarations":[]},{"statement":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 212; in other words H₁ ≤ 212.","statement_notation":{"schema_version":"mathematical-text-v1","segments":[{"kind":"text","text":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 212; in other words "},{"kind":"math","text":"H₁ ≤ 212","latex":"H_1\\le212"},{"kind":"text","text":"."}]},"id":"claim-prime-gaps-bound-212","slug":"prime-gaps-bound-212","version":2,"kind":"bound","title":"Gaps at most 212, infinitely often","assumptions":["Consecutive positive primes.","No additional conjectural hypothesis in the cited mathematical result."],"scope":"An unconditional upper bound on the recurring gap, attributed to the 2026 preliminary draft; it does not imply every gap is this small.","source_entry_ids":["prime-gaps:entry:212:v2"],"formal_declarations":[]},{"statement":"Assuming the rank-three Kloosterman estimate, the rank-two correlation estimate, and all integral and cap bounds in the precise forms specified by the cited proof, H₁ ≤ 186.","statement_notation":{"schema_version":"mathematical-text-v1","segments":[{"kind":"text","text":"Assuming the rank-three Kloosterman estimate, the rank-two correlation estimate, and all integral and cap bounds in the precise forms specified by the cited proof, "},{"kind":"math","text":"H₁ ≤ 186","latex":"H_1\\le186"},{"kind":"text","text":"."}]},"id":"claim-prime-gaps-186-conditional","slug":"prime-gaps-186-conditional","version":3,"kind":"theorem","title":"A gap bound of 186 from explicit input assumptions","assumptions":["The rank-three Kloosterman bound in the source.","The rank-two correlation bound in the source.","All source physical-integral and cap bounds."],"scope":"A proved conditional deduction. The two literature estimates and numerical input remain project axioms; OpenMath has not verified or discharged them.","source_entry_ids":["prime-gaps:entry:186-lean:v1"],"formal_declarations":["PrimeGap186.primeGapLiminf_le_186"]},{"statement":"Assuming the precise BombieriVinogradov statement in PrimeGapsLib, infinitely many consecutive-prime gaps are at most 246.","id":"claim-prime-gaps-bv-implies-246","slug":"prime-gaps-bv-implies-246","version":1,"kind":"theorem","title":"Bombieri–Vinogradov implies recurring gaps at most 246","assumptions":["The source’s formal BombieriVinogradov premise."],"scope":"The certificate and downstream sieve deduction are formalized; the analytic distribution theorem is a premise in this endpoint.","source_entry_ids":["prime-gaps:entry:246-lean:v1"],"formal_declarations":["bombieriVinogradov_implies_frequently_prime_gap_le_246"]}],"problem":{"resolution_scope":{"resolution":"unresolved","extent":"general_case","summary":"Finite recurring-gap bounds are established in the cited literature, while H₁ = 2 remains unresolved. The selected 2026 preliminary draft states an unconditional bound of 212; the 186 formal result has explicit input assumptions.","report_ids":["prime-gaps:report:target-open:v1"],"progress_claim_ids":["claim-prime-gaps-bound-70000000","claim-prime-gaps-bound-600","claim-prime-gaps-bound-246","claim-prime-gaps-bound-240","claim-prime-gaps-bound-212","claim-prime-gaps-186-conditional","claim-prime-gaps-bv-implies-246"],"remaining":"Establish recurring gaps of two, or independently validate and strengthen the selected bounded-gap results and their formal evidence."},"statement_kind":"conjecture","problem_id":"problem-prime-gaps","slug":"prime-gaps","title":"How small can prime gaps be?","question":"How small can gaps between consecutive primes be, infinitely often? In particular, is liminfₙ(pₙ₊₁ − pₙ) = 2?","question_notation":{"schema_version":"mathematical-text-v1","segments":[{"kind":"text","text":"How small can gaps between consecutive primes be, infinitely often? In particular, is "},{"kind":"math","text":"liminfₙ(pₙ₊₁ − pₙ) = 2","latex":"\\liminf_{n\\to\\infty}(p_{n+1}-p_n)=2","display":true},{"kind":"text","text":"?"}]},"scope":"The primes pₙ are listed in increasing order. H₁ = liminfₙ(pₙ₊₁ − pₙ) measures the smallest gap recurring arbitrarily far out. A bound H₁ ≤ B does not bound every gap or prove twin primes unless B = 2.","scope_notation":{"schema_version":"mathematical-text-v1","segments":[{"kind":"text","text":"The primes pₙ are listed in increasing order. "},{"kind":"math","text":"H₁ = liminfₙ(pₙ₊₁ − pₙ)","latex":"H_1=\\liminf_{n\\to\\infty}(p_{n+1}-p_n)","display":true},{"kind":"text","text":" measures the smallest gap recurring arbitrarily far out. A bound H₁ ≤ B does not bound every gap or prove twin primes unless B = 2."}]},"aliases":["Bounded prime gaps","Twin prime conjecture","Bounded gaps between primes"],"fields":["Number theory"],"msc":["11N05","11N36"],"topics":[],"background":"graduate","scale":"major conjecture","depth":"maintained","source_entry_ids":["prime-gaps:entry:polymath:v1","prime-gaps:entry:212:v2","prime-gaps:entry:246-lean:v1","prime-gaps:entry:186-lean:v1"],"status_report_ids":["prime-gaps:report:target-open:v1"],"editorial":{"collection_id":"openmath-pilot","collection_title":"OpenMath pilot collection","reviewer":"OpenMath source curation","state":"partly_resolved","scope":"Source comparison and page curation only; independent mathematical review is pending.","rationale":"Finite recurring-gap bounds are established in the cited literature, while H₁ = 2 remains unresolved. The selected 2026 preliminary draft states an unconditional bound of 212; the 186 formal result has explicit input assumptions.","decided_on":"2026-10-13","review_due_on":"2027-01-13","report_ids":["prime-gaps:report:target-open:v1"],"independent_mathematical_review":"pending"},"literature":[{"title":"Variants of the Selberg sieve, and bounded intervals containing many primes","url":"https://arxiv.org/abs/1407.4897v2","note":"Main bounded-gap results and introduction"},{"title":"A new bound for small gaps between primes","url":"https://primegaps.axiommath.ai/bgp212.pdf","note":"Theorem 1.1; introduction’s prior bounds; Appendix A, Formal certificate by AxiomProver"},{"title":"PrimeGapsLib: a formal deduction of the 246 bound","url":"https://github.com/AxiomMath/PrimeGapsLib/tree/1faa7b14e82ddebc2772dfb9153922f01b106477","note":"README main results; PrimeGaps/Bounded246.lean"},{"title":"Prime gaps at most 186: a conditional Lean development","url":"https://github.com/openai/PrimeGaps186/tree/61340d0b74163003b32756bb16e91d9209a5e330","note":"README input axioms and verification; PrimeGaps186.lean"}],"formalizations":[{"title":"Lean: 246 from Bombieri–Vinogradov","url":"https://github.com/AxiomMath/PrimeGapsLib/blob/1faa7b14e82ddebc2772dfb9153922f01b106477/PrimeGaps/Bounded246.lean","note":"Complete as an implication with the stated premise. This is the public 246 artifact, not the later reported 212 certificate.","target":{"id":"claim-prime-gaps-bv-implies-246","version":1},"proof_status":"reported_complete","source_entry_ids":["prime-gaps:entry:246-lean:v1"],"declaration":"bombieriVinogradov_implies_frequently_prime_gap_le_246","source_commit":"1faa7b14e82ddebc2772dfb9153922f01b106477","alignment":"staff_linked","checked_on":"2026-10-13"},{"title":"Lean: 186 with three input axioms","url":"https://github.com/openai/PrimeGaps186/blob/61340d0b74163003b32756bb16e91d9209a5e330/PrimeGaps186.lean","note":"Complete as a conditional deduction. The formal input names are PrimeGap186.kloosterman3_bound, PrimeGap186.kloosterman2_correlation_bound and PrimeGap186.physical_integral_bounds; they remain assumptions, not discharged proof obligations.","target":{"id":"claim-prime-gaps-186-conditional","version":3},"proof_status":"reported_complete","source_entry_ids":["prime-gaps:entry:186-lean:v1"],"declaration":"PrimeGap186.primeGapLiminf_le_186","source_commit":"61340d0b74163003b32756bb16e91d9209a5e330","alignment":"staff_linked","checked_on":"2026-10-13"}],"related":[{"slug":"prime-infinitude","title":"Infinitely many primes","relation":"prerequisite","note":"An infinite supply of primes does not establish infinitely many bounded gaps."}],"tasks":[],"insights":[{"id":"prime-gaps-approach","title":"Sieve weights, distribution estimates and exact certificates","summary":"The 212 argument improves a sieve construction descended from Stadlmann’s work and verifies rational inequalities. Different formal artifacts certify different deductions and inputs.","review":"pending","kind":"approach","source_entry_ids":["prime-gaps:entry:polymath:v1","prime-gaps:entry:212:v2","prime-gaps:entry:246-lean:v1","prime-gaps:entry:186-lean:v1"],"claims":[{"id":"claim-prime-gaps-bound-212","version":2},{"id":"claim-prime-gaps-bv-implies-246","version":1},{"id":"claim-prime-gaps-186-conditional","version":3}],"limitation":"The public 246 repository cannot be substituted for the 212 paper’s reported certificate."},{"id":"prime-gaps-impact","title":"Smaller recurring gaps, with the twin-prime target still open","summary":"The 212 paper’s assertion would improve the unconditional recurring-gap bound in the selected literature. It gives arbitrarily large prime pairs at that distance, without controlling all successive gaps.","review":"pending","kind":"impact","source_entry_ids":["prime-gaps:entry:212:v2"],"claims":[{"id":"claim-prime-gaps-bound-212","version":2}],"scenario":{"id":"claim-prime-gaps-bound-212","version":2},"limitation":"The manuscript is a preliminary draft; independent OpenMath review is pending. A bound larger than two does not prove twin primes."}],"coverage_gaps":["Independent mathematical review and local execution of the cited formal proofs are pending."],"checked_on":"2026-10-13"},"sources":[{"work":{"authors":["D. H. J. Polymath"],"kind":"research_paper","publication":"published","publication_note":"Peer-reviewed historical result.","ai_role":"not_reported","ai_note":"No AI contribution is asserted by this source record.","artifacts":[],"published":{"value":"2014"}},"id":"prime-gaps:source:polymath:v1","source_id":"prime-gaps-polymath","title":"Variants of the Selberg sieve, and bounded intervals containing many primes","owner":"D. H. J. Polymath","url":"https://arxiv.org/abs/1407.4897v2","subject_scope":"The published Polymath8b argument establishes an unconditional recurring prime gap at most 246; the twin-prime target remains out of reach.","revision":"2014","content_sha256":null,"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":null,"rights":"metadata-link","license":"Original document rights remain with its authors.","terms_url":"https://arxiv.org/abs/1407.4897v2","attribution":"D. H. J. Polymath","rights_note":"OpenMath supplies original paraphrases and links; no proof text is republished.","check_interval_days":90},{"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:v2","source_id":"prime-gaps-212","title":"A new bound for small gaps between primes","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},{"work":{"authors":["Axiom Math","PrimeGapsLib contributors"],"kind":"research_project","publication":"project","publication_note":"Public formal source; build and independent mathematical review are separate checks.","ai_role":"self_reported","ai_note":"Axiom Math’s formalization work concerns proof translation and certificates; no independent discovery credit is assigned from the repository alone.","artifacts":[{"kind":"formal_code","title":"PrimeGapsLib: a formal deduction of the 246 bound — pinned source","url":"https://github.com/AxiomMath/PrimeGapsLib/tree/1faa7b14e82ddebc2772dfb9153922f01b106477","version":"1faa7b14e82ddebc2772dfb9153922f01b106477","assessment":"not_executed","note":"Public source inspected for statement and assumptions; this proof project has not been executed by OpenMath."}],"published":{"value":"2026-08-18"}},"id":"prime-gaps:source:246-lean:v1","source_id":"prime-gaps-246-lean","title":"PrimeGapsLib: a formal deduction of the 246 bound","owner":"Axiom Math, PrimeGapsLib contributors","url":"https://github.com/AxiomMath/PrimeGapsLib/tree/1faa7b14e82ddebc2772dfb9153922f01b106477","subject_scope":"The public revision proves prime-gap bounds of 246 assuming Bombieri–Vinogradov and includes numerical certificates. It does not contain the 212 formalization reported in the later paper.","revision":"1faa7b14e82ddebc2772dfb9153922f01b106477","content_sha256":"3c8edc561d416edcef84fe56f53fb2570abd9a837bb2de67766a3b2b279675ab","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-08-18","rights":"metadata-link","license":"Original document rights remain with its authors.","terms_url":"https://github.com/AxiomMath/PrimeGapsLib/tree/1faa7b14e82ddebc2772dfb9153922f01b106477","attribution":"Axiom Math, PrimeGapsLib contributors","rights_note":"OpenMath supplies original paraphrases and links; no proof text is republished.","check_interval_days":90},{"work":{"authors":["OpenAI","PrimeGaps186 contributors"],"kind":"research_project","publication":"project","publication_note":"Public formal source; build and independent mathematical review are separate checks.","ai_role":"self_reported","ai_note":"The project is an OpenAI formal development. Its explicit assumptions and certificate work are recorded separately from an unconditional mathematical improvement.","artifacts":[{"kind":"formal_code","title":"Prime gaps at most 186: a conditional Lean development — pinned source","url":"https://github.com/openai/PrimeGaps186/tree/61340d0b74163003b32756bb16e91d9209a5e330","version":"61340d0b74163003b32756bb16e91d9209a5e330","assessment":"not_executed","note":"Public source inspected for statement and assumptions; this proof project has not been executed by OpenMath."}],"published":{"value":"2026-09-02"}},"id":"prime-gaps:source:186-lean:v1","source_id":"prime-gaps-186-lean","title":"Prime gaps at most 186: a conditional Lean development","owner":"OpenAI, PrimeGaps186 contributors","url":"https://github.com/openai/PrimeGaps186/tree/61340d0b74163003b32756bb16e91d9209a5e330","subject_scope":"The endpoint derives a gap bound of 186 from two unproved-in-Lean exponential-sum estimates and an unproved-in-Lean physical integral input. A separate numerical certificate does not discharge those axioms.","revision":"61340d0b74163003b32756bb16e91d9209a5e330","content_sha256":"be1e3ec09817391ee634f23c624b498fc0e5563f1c30ad1fbfadf57ae4bacb3b","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-02","rights":"metadata-link","license":"Original document rights remain with its authors.","terms_url":"https://github.com/openai/PrimeGaps186/tree/61340d0b74163003b32756bb16e91d9209a5e330","attribution":"OpenAI, PrimeGaps186 contributors","rights_note":"OpenMath supplies original paraphrases and links; no proof text is republished.","check_interval_days":90}],"entries":[{"id":"prime-gaps:entry:polymath:v1","source_version_id":"prime-gaps:source:polymath:v1","item_id":"polymath","url":"https://arxiv.org/abs/1407.4897v2","wording":"The published Polymath8b argument establishes an unconditional recurring prime gap at most 246; the twin-prime target remains out of reach.","wording_kind":"paraphrase","locator":"Main bounded-gap results and introduction","supersedes":null},{"id":"prime-gaps:entry:212:v2","source_version_id":"prime-gaps:source:212:v2","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":"prime-gaps:entry:212:v1"},{"id":"prime-gaps:entry:246-lean:v1","source_version_id":"prime-gaps:source:246-lean:v1","item_id":"246-lean","url":"https://github.com/AxiomMath/PrimeGapsLib/tree/1faa7b14e82ddebc2772dfb9153922f01b106477","wording":"The public revision proves prime-gap bounds of 246 assuming Bombieri–Vinogradov and includes numerical certificates. It does not contain the 212 formalization reported in the later paper.","wording_kind":"paraphrase","locator":"README main results; PrimeGaps/Bounded246.lean","supersedes":null},{"id":"prime-gaps:entry:186-lean:v1","source_version_id":"prime-gaps:source:186-lean:v1","item_id":"186-lean","url":"https://github.com/openai/PrimeGaps186/tree/61340d0b74163003b32756bb16e91d9209a5e330","wording":"The endpoint derives a gap bound of 186 from two unproved-in-Lean exponential-sum estimates and an unproved-in-Lean physical integral input. A separate numerical certificate does not discharge those axioms.","wording_kind":"paraphrase","locator":"README input axioms and verification; PrimeGaps186.lean","supersedes":null}],"reports":[{"id":"prime-gaps:report:target-open:v1","entry_id":"prime-gaps:entry:polymath:v1","state":"partly_resolved","source_label":"Bounded gaps established; twin primes remain unresolved","scope":"H₁ = 2 remains unresolved despite finite upper bounds.","source_date":null,"observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/1407.4897v2","supersedes":null},{"id":"prime-gaps:report:246:v1","entry_id":"prime-gaps:entry:polymath:v1","state":"resolved","source_label":"Unconditional H₁ ≤ 246","scope":"Published Polymath8b bound.","source_date":null,"observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/1407.4897v2","supersedes":null},{"id":"prime-gaps:report:212:v2","entry_id":"prime-gaps:entry:212:v2","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":"prime-gaps:report:212:v1"},{"id":"prime-gaps:report:246-conditional:v1","entry_id":"prime-gaps:entry:246-lean:v1","state":"resolved","source_label":"Formal deduction from Bombieri–Vinogradov","scope":"The implication to the 246 bound, not a Lean proof of its analytic premise.","source_date":null,"observed_on":"2026-10-13","evidence_url":"https://github.com/AxiomMath/PrimeGapsLib/tree/1faa7b14e82ddebc2772dfb9153922f01b106477","supersedes":null},{"id":"prime-gaps:report:186-conditional:v1","entry_id":"prime-gaps:entry:186-lean:v1","state":"resolved","source_label":"Conditional formal endpoint for 186","scope":"The implication from the three stated input axioms.","source_date":null,"observed_on":"2026-10-13","evidence_url":"https://github.com/openai/PrimeGaps186/tree/61340d0b74163003b32756bb16e91d9209a5e330","supersedes":null},{"id":"prime-gaps:report:earlier:v2","entry_id":"prime-gaps:entry:212:v2","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":"prime-gaps:report:earlier:v1"},{"id":"prime-gaps:report:twin-target-open:v1","entry_id":"prime-gaps:entry:polymath:v1","state":"reported_open","source_label":"Twin primes remain unresolved","scope":"H₁ = 2 remains unresolved despite finite upper bounds.","source_date":null,"observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/1407.4897v2","supersedes":null}]},"status":{"state":"partial","label":"Partly resolved","extent":"general_case","summary":"Finite recurring-gap bounds are established in the cited literature, while H₁ = 2 remains unresolved. The selected 2026 preliminary draft states an unconditional bound of 212; the 186 formal result has explicit input assumptions.","basis":"editorial","attributed_to":"OpenMath pilot collection · OpenMath source curation","as_of":"2026-10-13","progress_label":"Conditional result proved","progress_claim_ids":["claim-prime-gaps-bound-70000000","claim-prime-gaps-bound-600","claim-prime-gaps-bound-246","claim-prime-gaps-bound-240","claim-prime-gaps-bound-212","claim-prime-gaps-186-conditional","claim-prime-gaps-bv-implies-246"],"remaining":"Establish recurring gaps of two, or independently validate and strengthen the selected bounded-gap results and their formal evidence.","views":["open","partial"],"knowledge_categories":["Bounds established","Conditional results"]}},"selected_context":{"assessment_history":[{"report_id":"prime-gaps:report:earlier:v2","source_id":"prime-gaps-212","source_version_id":"prime-gaps:source:212:v2","source_title":"A new bound for small gaps between primes","source_label":"Historical bounds recorded in the paper","state":"resolved","scope":"Zhang, Maynard and Stadlmann bounded-gap results.","observed_on":"2026-10-13","evidence_url":"https://primegaps.axiommath.ai/bgp212.pdf","entry_id":"prime-gaps:entry:212:v2","supersedes":"prime-gaps:report:earlier:v1"}],"reader_guide":{"reading":[],"definitions":[],"proofs":[],"bounds":[{"id":"prime-gaps-bound-240-bound-detail","claim":{"id":"claim-prime-gaps-bound-240","version":2},"quantity":"H₁","direction":"upper","value":"240","conditions":"Unconditional bound for gaps between consecutive primes occurring infinitely often.","comparison_group":"prime-gap-unconditional","date":{"value":"2026"},"source_entry_ids":["prime-gaps:entry:212:v2"]}],"witnesses":[],"contributors":null,"scopes":[]},"problem_id":"problem-prime-gaps","slug":"prime-gaps","title":"How small can prime gaps be?","publication_version":6,"relationship":{"claim":{"id":"claim-prime-gaps-bound-240","version":2},"relation":"bound","relationship_note":"An unconditional upper bound on the recurring gap, attributed to Stadlmann; it does not imply every gap is this small.","result":"proved","report_ids":["prime-gaps:report:earlier:v2"],"independent_review":"pending"},"assessments":[{"report_id":"prime-gaps:report:earlier:v2","source_id":"prime-gaps-212","source_version_id":"prime-gaps:source:212:v2","source_title":"A new bound for small gaps between primes","source_label":"Historical bounds recorded in the paper","state":"resolved","scope":"Zhang, Maynard and Stadlmann bounded-gap results.","observed_on":"2026-10-13","evidence_url":"https://primegaps.axiommath.ai/bgp212.pdf","entry_id":"prime-gaps:entry:212:v2","supersedes":"prime-gaps:report:earlier:v1"}],"connections":[],"related_claims":[{"id":"claim-prime-gaps-bound-70000000","version":2,"slug":"prime-gaps-bound-70000000","title":"Gaps at most 70,000,000, infinitely often"},{"id":"claim-prime-gaps-bound-600","version":2,"slug":"prime-gaps-bound-600","title":"Gaps at most 600, infinitely often"},{"id":"claim-prime-gaps-bound-246","version":2,"slug":"prime-gaps-bound-246","title":"Gaps at most 246, infinitely often"}],"progress":[{"method":"mathematical_argument","claim_id":"claim-prime-gaps-bound-240","aspect":"H₁ ≤ 240","summary":"Julia Stadlmann’s 2026 work improved the distribution estimates used by the sieve.","remaining":"The target H₁ = 2 is not established.","overlaps_with":["claim-prime-gaps-bound-70000000","claim-prime-gaps-bound-600","claim-prime-gaps-bound-246"],"overlap_note":"Nested results concern the same prime-gap limit; they are not separate portions of a solved problem.","category":"bound"}],"tasks":[],"statements":[{"statement":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 70000000; in other words H₁ ≤ 70000000.","statement_notation":{"schema_version":"mathematical-text-v1","segments":[{"kind":"text","text":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 70000000; in other words "},{"kind":"math","text":"H₁ ≤ 70000000","latex":"H_1\\le70{,}000{,}000"},{"kind":"text","text":"."}]},"id":"claim-prime-gaps-bound-70000000","slug":"prime-gaps-bound-70000000","version":2,"kind":"bound","title":"Gaps at most 70,000,000, infinitely often","assumptions":["Consecutive positive primes.","No additional conjectural hypothesis in the cited mathematical result."],"scope":"An unconditional upper bound on the recurring gap, attributed to Zhang; it does not imply every gap is this small.","source_entry_ids":["prime-gaps:entry:212:v2"],"formal_declarations":[],"relation":"bound","relationship_note":"An unconditional upper bound on the recurring gap, attributed to Zhang; it does not imply every gap is this small.","result":"proved","report_ids":["prime-gaps:report:earlier:v2"],"independent_review":"pending"},{"statement":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 600; in other words H₁ ≤ 600.","statement_notation":{"schema_version":"mathematical-text-v1","segments":[{"kind":"text","text":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 600; in other words "},{"kind":"math","text":"H₁ ≤ 600","latex":"H_1\\le600"},{"kind":"text","text":"."}]},"id":"claim-prime-gaps-bound-600","slug":"prime-gaps-bound-600","version":2,"kind":"bound","title":"Gaps at most 600, infinitely often","assumptions":["Consecutive positive primes.","No additional conjectural hypothesis in the cited mathematical result."],"scope":"An unconditional upper bound on the recurring gap, attributed to Maynard; it does not imply every gap is this small.","source_entry_ids":["prime-gaps:entry:212:v2"],"formal_declarations":[],"relation":"bound","relationship_note":"An unconditional upper bound on the recurring gap, attributed to Maynard; it does not imply every gap is this small.","result":"proved","report_ids":["prime-gaps:report:earlier:v2"],"independent_review":"pending"},{"statement":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 246; in other words H₁ ≤ 246.","statement_notation":{"schema_version":"mathematical-text-v1","segments":[{"kind":"text","text":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 246; in other words "},{"kind":"math","text":"H₁ ≤ 246","latex":"H_1\\le246"},{"kind":"text","text":"."}]},"id":"claim-prime-gaps-bound-246","slug":"prime-gaps-bound-246","version":2,"kind":"bound","title":"Gaps at most 246, infinitely often","assumptions":["Consecutive positive primes.","No additional conjectural hypothesis in the cited mathematical result."],"scope":"An unconditional upper bound on the recurring gap, attributed to Polymath8b; it does not imply every gap is this small.","source_entry_ids":["prime-gaps:entry:polymath:v1"],"formal_declarations":[],"relation":"bound","relationship_note":"An unconditional upper bound on the recurring gap, attributed to Polymath8b; it does not imply every gap is this small.","result":"proved","report_ids":["prime-gaps:report:246:v1"],"independent_review":"pending"},{"statement":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 240; in other words H₁ ≤ 240.","statement_notation":{"schema_version":"mathematical-text-v1","segments":[{"kind":"text","text":"For every real X, there are consecutive primes p < q with p ≥ X and q − p ≤ 240; in other words "},{"kind":"math","text":"H₁ ≤ 240","latex":"H_1\\le240"},{"kind":"text","text":"."}]},"id":"claim-prime-gaps-bound-240","slug":"prime-gaps-bound-240","version":2,"kind":"bound","title":"Gaps at most 240, infinitely often","assumptions":["Consecutive positive primes.","No additional conjectural hypothesis in the cited mathematical result."],"scope":"An unconditional upper bound on the recurring gap, attributed to Stadlmann; it does not imply every gap is this small.","source_entry_ids":["prime-gaps:entry:212:v2"],"formal_declarations":[],"relation":"bound","relationship_note":"An unconditional upper bound on the recurring gap, attributed to Stadlmann; it does not imply every gap is this small.","result":"proved","report_ids":["prime-gaps:report:earlier:v2"],"independent_review":"pending"}],"entries":[{"id":"prime-gaps:entry:polymath:v1","source_version_id":"prime-gaps:source:polymath:v1","item_id":"polymath","url":"https://arxiv.org/abs/1407.4897v2","wording":"The published Polymath8b argument establishes an unconditional recurring prime gap at most 246; the twin-prime target remains out of reach.","wording_kind":"paraphrase","locator":"Main bounded-gap results and introduction","supersedes":null},{"id":"prime-gaps:entry:212:v2","source_version_id":"prime-gaps:source:212:v2","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":"prime-gaps:entry:212:v1"}],"sources":[{"work":{"authors":["D. H. J. Polymath"],"kind":"research_paper","publication":"published","publication_note":"Peer-reviewed historical result.","ai_role":"not_reported","ai_note":"No AI contribution is asserted by this source record.","artifacts":[],"published":{"value":"2014"}},"id":"prime-gaps:source:polymath:v1","source_id":"prime-gaps-polymath","title":"Variants of the Selberg sieve, and bounded intervals containing many primes","owner":"D. H. J. Polymath","url":"https://arxiv.org/abs/1407.4897v2","subject_scope":"The published Polymath8b argument establishes an unconditional recurring prime gap at most 246; the twin-prime target remains out of reach.","revision":"2014","content_sha256":null,"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":null,"rights":"metadata-link","license":"Original document rights remain with its authors.","terms_url":"https://arxiv.org/abs/1407.4897v2","attribution":"D. H. J. Polymath","rights_note":"OpenMath supplies original paraphrases and links; no proof text is republished.","check_interval_days":90},{"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:v2","source_id":"prime-gaps-212","title":"A new bound for small gaps between primes","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}]}}}