Prime Gaps at Most 186

(github.com)

50 points | by simonpure a day ago ago

12 comments

  • ks2048 a day ago ago

    Context - according to Wikipedia [0], just a few days ago someone posted a proof of a bound of 240 [1].

    [0] https://en.wikipedia.org/wiki/Twin_prime [1] https://arxiv.org/abs/2608.31126

  • dang a day ago ago
  • ramon156 a day ago ago

    blegh, both the code comments and readme reek of verbose claude puke.

    > The registered Lean build passed without errors or warnings.

    thanks. i like it when my proofs do not error.

    Edit: just saw this was published under openai, yikes.

  • quuxplusone a day ago ago

    What is this AI-generated gobbledygook actually trying to say? That there are infinitely many pairs of primes p,q with q=p+186?

    The first equation under "The result" seems to be saying they found an infinite sequence of primes whose density is forever greater than 1/186, which doesn't match my understanding of how prime density works.

    • adgjlsfhk1 a day ago ago

      it's saying that there is an infinite list of pairs of primes p,q such that |p-q|<=186. the syntax they're using is arguably bad, but standard

    • ks2048 a day ago ago

      I think it is talking about the existance of close primes, rather than the densitiy of close primes.

  • marysminefnuf 16 hours ago ago

    ??? this is unreadable lol. i feel like i understand the math behind it but the writing is so unintelligible that i dont even care about the results.

    • palmotea 14 hours ago ago

      > ??? this is unreadable lol. i feel like i understand the math behind it but the writing is so unintelligible that i dont even care about the results.

      Who cares, partially no one understands advanced math, and even fewer will one we replace mathematicians with AI.

      This just proves that OpenAI is awesome, the value of brains is dropping precipitously, and Sam Altman needs to be made into a trillionare.

  • topsrek a day ago ago
  • tusimi a day ago ago

    who knew the primary utility of pure math would be to juice pre-ipo valuations ¯\_(ツ)_/¯

  • 1283751 a day ago ago

    [dead]