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.
The general public is not interested in the mathematical details, it is interested in the fact this is unique. And it is no longer unique.
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.
So far I only found decent discussions about it in Chinese.
https://www.zhihu.com/question/2070336637360518307/answer/20...