Comment by BrazenWord on Harry Potter and the Methods of Rationality discussion thread, part 9 · 2012-02-28T12:18:21.590Z · LW · GW

HPEV was likely thinking of Merlin, but a much simpler test would be to call back Pierre de Fermat.

Granted, there wouldn't be a solid "no" if the remarkable proof were faulty, and perhaps you would be better off having a mathematical novice do the summoning just to be certain.