Разумеется, мы не примем доказательства, если оно понятно только одному математику. Значит, Зельманов прав? Если доказательство понимает только машина, которая его сгенерировала, можем ли мы доверять такому доказательству?