> I expected more/better from folks who digest mathematical proofs and Arxiv papers for funsies

Hate to break it to you, but the real hard problems are in the humanities.