Response to adarsops:
We actually proved it, the proof was just a bit earlier.
The proof was that since no human is perfect, it would be impossible for a human to find a perfect answer.
The arbiter just decided to throw a strawman argument afterwards.