3 ms·
Prime Gaps at Most 186
- ks2048 1mo agoContext - 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 https://en.wikipedia.org/wiki/Twin_prime [1] https://arxiv.org/abs/2608.31126 https://arxiv.org/abs/2608.31126
- 1283751 1mo ago[dead]
- dang 1mo agoRelated ongoing thread: GPT-6 Astra - https://news.ycombinator.com/item?id=49554643 https://news.ycombinator.com/item?id=49554643 (see also https://news.ycombinator.com/item?id=49555621 https://news.ycombinator.com/item?id=49555621 from there)
- topsrek 1mo agosee also https://github.com/openai/LongGapsBetweenPrimes https://github.com/openai/LongGapsBetweenPrimes
- tusimi 1mo agowho knew the primary utility of pure math would be to juice pre-ipo valuations ¯\_(ツ)_/¯
- thirtygeo 1mo agoKeep going
- quuxplusone 1mo agoWhat 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 1mo agoit'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 1mo agoI think it is talking about the existance of close primes, rather than the densitiy of close primes.
- ramon156 1mo agoblegh, 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.
- marysminefnuf 1mo 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 1mo 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.