login sign up

GitHub - openai/PrimeGaps186: Conditional Lean formalization and numerical certificate for prime gaps at most 186.

github.com
saved by
1 person
related read on
GPT-6 Astra from the discussion
discussions · 1
Prime Gaps at Most 186 51 pts · 11 comments · Sep 2026 51 pts · 11 comments · Sep 2026
0 people saved or upvoted this
from the discussion · 3
GPT-6 Astra openai.com openai.com
2 people saved or upvoted this
Bounded gaps between primes arxiv.org arxiv.org
0 people saved or upvoted this
Twin prime - Wikipedia en.wikipedia.org en.wikipedia.org
0 people saved or upvoted this
related HN threads · 1
GPT-6 Astra 2279 pts · 2081 comments · Sep 2026 2279 pts · 2081 comments · Sep 2026
0 people saved or upvoted this