Open Research Index

AxiomMath/PrimeGapsLib

Evan Chen, Sidharth Hariharan, Kenny Lau, Bhavik Mehta, Ken Ono, Ashvin Swaminathan, Jesse Thorner, Yunzhou Xie

Palomar Registrypalomar/PALOMAR-2026-08-18-000002Aug 18, 2026math.NTscore 0

`PrimeGapsLib` is an evolving codebase aimed at housing results about gaps in primes. The flagship result thus far is that pairs of primes are separated by at most 246 infinitely often, conditional on the Bombieri-Vinogradov theorem. The 246 proof was generated collaboratively between human formalisers at Axiom Math and AxiomProver, their in-house theorem proving system. Community feedback and contributions are welcome!

SourceRepositoryJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/palomar/PALOMAR-2026-08-18-000002
curl -X POST /api/v1/records/palomar/PALOMAR-2026-08-18-000002/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-08-18-000002/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'