Теорема с перевернутыми основанием и показателями (n^x+n^y=n^z неразрешимо при n>=3) слишком легко доказывается чтобы доказательство не влезло на поля :)
На собеседовании в google (facebook, microsoft, etc.) обычно не задают задач на «знать формулу» или «знать алгоритм», только на «придумать формулу» и «придумать алгоритм». И никто не будет просить разработать самому алгоритм распознавания образов, задачи рассчитаны на 15-30 минут времени человека с головой и базовыми знаниями.
По вашей ссылке человек пытается доказать что уравнение y^2 = x(x + a^p)(x — b^p) не задает эллиптическую кривую в координатах (x, y), в то время как уравнения в такой форме задают эллиптические кривые по определению.
Вместо стирания данных после 10 попыток, могли бы сделать экспоненциальное замедление: пусть каждая следующая попытка подобрать код проверяется в 2 раза дольше предыдущей.
Насколько я понимаю, квантовая физика утверждает что это не так.