Anyone else think Terrence Tao has some insight on the Riemann hypothesis he’s currently working on to push the lower bound even further? Or actually prove it? I’m curious because to my knowledge he hasn’t done an exposition breaking down Claude’s proof on his blogpost like he has done with a couple of other AI proofs and counter examples. And no I’m not just referring to terry because he’s the only one that can do it, just because he’s known to breakdown some of these breakthroughs.