You'll be disappointed. In proofs like this, you don't get a number that has some deep meaning attached to it; you get a number from running horribly-complicated calculations on the best-known horribly-complicated approximation method. There's no beauty here, and 186 has no real relationship with the primes. We'll undoubtedly lower this limit further with better techniques (although 2, the probably-true value, might never be reached).
Also, your "surprise" might be because you don't quite understand the distribution of the primes. If you just model them as random events that occur with probability 1/log(n), which is the distribution we know from the Prime Number Theorem, then a little math shows you would expect infinitely many twin prime pairs. They don't get rare fast enough for close pairs not to keep showing up. (Sadly, this probabilistic argument is NOT a proof.)
SnapDragon
27d ago
And I guess Squirtle is the official Hufflepuff-approved choice?
SnapDragon
27d ago
Astra does sound impressive based on OpenAI's own press releases ... but so did GPT5, which ended up underwhelming a bit, but we'll see. I'm sure it still represents steady progress.
I was not impressed at all with the ARC-AGI-3 benchmark. It didn't really represent a task that humans could do and AI can't; it was built around a funky scoring system that exploited some differences between humans and AI. And the "baseline" was set by the best scorers, not the average human scorers. Lots of very unscientific choices there. So since I thought AIs failing it was meaningless, I also think AIs passing it is meaningless.
I'm not sure I even care that much about when people ring the bell and declare "AGI is here". In my book, it kind of already is - but it doesn't match what it looked like in my mind where AIs can just do human stuff interchangeably. They're superhuman in some ways, subhuman in (a shrinking number of) other ways. You just have to experiment and find the ways that it can work for you.
SnapDragon
27d ago
I mean, I would too. I would prefer to be able to write as much software as I want and be able to run it myself, so that puts me at a lower level of regulation than farm products.
No, I think that'd leave a lasting mark.
More options
Context Copy link