lean artifact · pending
Artifact ↗Source authenticated
A new bound for small gaps between primes:
, improving Stadlmann's of three days earlier and the of Polymath8b that had stood since 2014. The twin prime conjecture, , is untouched. Held the record for hours at most: OpenAI's paper claiming is dated 30 August, four days before this one, though its Lean development appeared on 2 September.
Exact FrontierDelta
Prior state unknown→proved
Scope and record
Occurred: Sep 3, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-assisted. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: A new bound for small gaps between primes: $H_1 \le 212$ · Prime gaps at most 212
Confidence: Not scored
Registry verification: lean checked · preprint · partial
Attribution
VibeMathed
registry · event recorded by
AxiomProver
model · ai model contributor · Axiom Math
François Charton
human · human collaborator
Letong Hong
human · human collaborator
Kenny Lau
human · human collaborator
Ken Ono
human · human collaborator
Guillaume Remy
human · human collaborator
Ho Chung Siu
human · human collaborator
Ashvin A. Swaminathan
human · human collaborator
Jesse Thorner
human · human collaborator
Yunzhou Xie
human · human collaborator
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Ashvin A. Swaminathan
VibeMathed record: A new bound for small gaps between primes: evidence for this event
This event attributed to Jesse Thorner
This event attributed to Guillaume Remy
This event attributed to Kenny Lau
PrimeGapsLib, the Lean library evidence for this event
This event attributed to Yunzhou Xie
A new bound for small gaps between primes: evidence for this event
This event attributed to Ken Ono
Stadlmann's 240, the bound this improves on evidence for this event
Blueprint of the 246 formalisation this builds on evidence for this event
, improving Stadlmann's of three days earlier and the of Polymath8b that had stood since 2014. The twin prime conjecture, , is untouched. Held the record for hours at most: OpenAI's paper claiming is dated 30 August, four days before this one, though its Lean development appeared on 2 September. parent of this event
This event attributed to François Charton
A new bound for small gaps between primes: parent of this event
This event attributed to AxiomProver
This event attributed to Letong Hong
This event attributed to Ho Chung Siu
Act on this frontier