[math-fun] Unsolved number theory problem