ArXivMath and BrokenArXiv: Harder Problems and Revised Grading

5 points | by bluepeter 7 hours ago