Kumar Eswaran's proof of RH

Stream: maths

[Martin Fabricius]

Kumar Eswaran claimed to have proof for RH (back in 2016) and an Indian expert commitee concluded after a year long open review process since February 2020 that the proof is correct. I just want to draw attention to this so maybe the Lean community is interested in starting to verify his works:
https://www.researchgate.net/project/Lectures-on-Kumar-Eswarans-proposed-proof-of-the-Riemann-Hypothesis

[Patrick Massot]

If I understand correctly, there is nothing to check here. The error is well-known and has been known for years.

[Kevin Buzzard]

It's not the job of the Lean community to attempt to verify this proof, it's the job of the people who believe the proof to be correct.

[Martin Fabricius]

Yes, I read now something more about this and indeed it seems strange why the expert committee came to this conclusion.

[Eric Wieser]

I ended up reading about this this morning at https://skeptics.stackexchange.com/q/51965, which argues that the expert committee's review suffers from "an apparent lack of understanding of mathematical reasoning" which "[reduces] any credibility the committee might have had otherwise to zero".