一个公务员给全人类留下的数学难题