@tao@mathstodon.xyz What if people got credit for both posing the problem, and also finding the solution? So that every problem always has a problem definer and solution finder pair that gets credit?