That's how quickly your perception shifts when you are inside of a real, fundamental technological shift. If some similar computer program figured out the same improved bound just 6 years ago there would have been numerous blog posts, experts interviews and NYTimes, WaPo op-eds about some computer working on the Riemann hypothesis. Now that we are in the middle of it it's going to be a footnote at best.

Right? I just learned about this and searched it on hacker news wondering why I didn't see it earlier.

Any human mathematician would be thrilled to prove a result like this, and it's not even big news anymore that an LLM can do it.