ArXivMath and BrokenArXiv: Harder Problems and Revised Grading | Dark Hacker News