ArXivMath and BrokenArXiv: Harder Problems and Revised Grading

5 points | by bluepeter 6 hours ago