Prime Gaps at Most 186
github.com
Prime Gaps at Most 186
1–10 of 13 posts
Re: Prime Gaps at Most 186
#2Context - 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
Re: Prime Gaps at Most 186
#3[dead]
Re: Prime Gaps at Most 186
#4Related ongoing thread:
GPT-6 Astra - https://news.ycombinator.com/item?id=49554643
(see also https://news.ycombinator.com/item?id=49555621 from there)
Re: Prime Gaps at Most 186
#5Re: Prime Gaps at Most 186
#6who knew the primary utility of pure math would be to juice pre-ipo valuations ¯\_(ツ)_/¯
Re: Prime Gaps at Most 186
#7who knew the primary utility of pure math would be to juice pre-ipo valuations ¯\_(ツ)_/¯
Keep going
Re: Prime Gaps at Most 186
#8What 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.
Re: Prime Gaps at Most 186
#9blegh, 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.
Re: Prime Gaps at Most 186
#10What 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.
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