Я справді не розумію, навіщо це говорити, але чи можемо ми всі перестати вдавати, що помилка математичного доказу є за своєю суттю більш катастрофічною, ніж багований рядок коду? Звісно. Деякі — так. Я б поставив (метафорично!!! що у медіанній опублікованій математичній статті > жодних багів. Без заперечення.