Prime Gaps at Most 186

news.ycombinator.com

saved by: 0 people
related read on: openai/PrimeGaps186: Conditional Lean formalization and n... discussion

GPT-6 Astra related HN threads