logoalt Hacker News

bryan0yesterday at 11:49 PM2 repliesview on HN

I'm not sure what's crazier: AI improving a lower bound on RH, or AI improving a lower bound on RH and it not even making the front page of HN.


Replies

jcfreitoday at 10:07 AM

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.

magneticnorthtoday at 5:35 AM

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.

show 1 reply