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 2 days 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 2 days 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 2 days ago [-]
I think it is talking about the existance of close primes, rather than the densitiy of close primes.
marysminefnuf 2 days 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 1 days 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.
[0] https://en.wikipedia.org/wiki/Twin_prime [1] https://arxiv.org/abs/2608.31126
GPT-6 Astra - https://news.ycombinator.com/item?id=49554643
(see also https://news.ycombinator.com/item?id=49555621 from there)
> 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.
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.
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.