Any pro mistakes found?

[Darren Cook <darren@xxxxxxxxxxxxxx>]

Though interesting, mathematical endgame theory is not actually that useful
in real games.

However I was wondering if the theory has managed to find mistakes in any
high level professional games. Ie. real-life games, rather than carefully
constructed problem positions.

For that matter, are there any examples of computer analysis of endgames
that have found better moves than the pros actually played?

Darren