From the article, I think the "remaining money" may be entirely notional. It talks about Ron Graham chipping in $5k to help cover a $10K bounty.
Besides, these days the money is mostly beside the point. It is like those Knuth reward checks, https://en.wikipedia.org/wiki/Knuth_reward_check. In most cases, certainly the most recent $500 "happy ending" problem, the bragging rights are worth more than the money.
Besides, these days the money is mostly beside the point. It is like those Knuth reward checks, https://en.wikipedia.org/wiki/Knuth_reward_check. In most cases, certainly the most recent $500 "happy ending" problem, the bragging rights are worth more than the money.