数学家自创公式中14次乐透头大奖，被FBI盯上…