What is the difference between the hammer price and the final price?
The hammer price is the sum at which the bidding in the room ends. The final price is higher, because the buyer's premium — the auction house's commission — is added to it. When you read about records, the figure is usually the final price, premium included.