Во-первых это было, а во-вторых классический вопрос: чем верифицировали верификатор?
Ну и к тому же, чисто опыт - программист чаще всего не замечает собственных ошибок. Их находит либо взломщик либо хакер. Мне кажется, что математики не подходят ни под одну из этих категорий.