Hacker News Reader

But all of these proofs are unreadable and seemed to have hallucinated in a bunch of irrelevant stuff, making them not especially useful.

I agree with you.

The problem is getting the funding orgs to care.