What is the shortest known on the board game played between GM rated players that ended with a checkmate? "Shortest" does not mean the game has to be very short.

Note: Edited this question twice clarifying some ambiguity.