Erdos problems are easier to state, thus they make a great benchmark for the first year of AI mathematics.