Why even redefine the proof env when the one from amsthm works.
In order to make it bold you can just use
\usepackage{xpatch}\xpatchcmd\proof{\itshape}{\bfseries}{}{\typeout{Patch of proof failed}}The \\[2mm] at the end I'd skip, that is not a good idea.