Problems
Who has solved the most problems — weighted by difficulty
Nobody has solved a problem yet — be the first.