Hacker GitHub

← All repos

openai/PrimeGaps186

View on GitHub ↗ ★ 170 Lean

Conditional Lean formalization and numerical certificate for prime gaps at most 186.

6 mentions on Hacker News by 6 people: 1 story, 5 comments · first 2026-09-03 · latest 2026-10-12

Mentions per year 6 mentions · busiest year 2026 (6)
20082026
AllStoriesComments NewestTopOldest
  1. See https://github.com/openai/PrimeGaps186
    comment by stabbles · 2026-10-12 · in Terence Tao: Math 2.0 [pdf]
  2. With very little review: https://github.com/openai/PrimeGaps186/blob/main/formalizati... "No independent human semantic review. Whole-file sorry counts and a complete auxiliary-declaration audit are not established; separate declaration…
    comment by 1283751 · 2026-09-03 · in GPT-6 Astra
  3. …/docs.github.com/en/get-started/writing-on-github/wor... ) edit: my comment was on the submission for https://github.com/openai/PrimeGaps186 but seems to have been moved to the main Astra submission
    comment by nateb2022 · 2026-09-03 · in GPT-6 Astra
  4. Such a result should be considered worthless: the proof is 10MB of Lean. ( https://github.com/openai/PrimeGaps186 ). I can't think of a single mathematical proof being anywhere close to ten million characters. For all you know, 90% of the…
    comment by well_ackshually · 2026-09-03 · in GPT-6 Astra
  5. https://github.com/openai/PrimeGaps186
    comment by htrp · 2026-09-03 · in GPT-6 Astra