I think the proof works irrespective of whether it's monkeys or highly trained mathematicians. So yes, provided the proof exists.