Это не современная проблема. Доказательства с ошибками обнародовались во все времена.
Великий Пуанкаре однажды ошибся, решая задачу о движении трех тел. Он даже получил за решение денежную премию, а потом позднее потратил всю премию, чтобы выкупить все номера журнала с ошибкой.
Готлоб Фреге написал трехтомник по основаниям математической логики. И уже когда книга была сверстана, получил от Б.Рассела письмо, из которого понял, что в ней были принципиальные, неустранимые ошибки. Фреге смог только вставить замечание, книгу так и издали.
Работы на переднем крае науки обычно не понятны большинству. Должно пройти много времени, чтобы математическое сообщество их "переварило" и "усвоило". По ходу первые доказательства обычно сильно сокращаются и упрощаются. А иногда в них обнаруживаются ошибки -- это нормальное явление в науке.
Современная проблема -- компьютерные доказательства. Они иногда опираются на программы столь сложные, что их выполнение не может быть проверено вручную одним человеком или группой людей -- жизни не хватит.
В математическом сообществе отношение к компьютерным доказательствам неоднозначное. Одни им не доверяют, другие с энтузиазмом разрабатывают автоматизированные системы доказательств.
Самое первое известное компьютерное доказательство -- теоремы о четырех красках Хакена и Аппеля. Позднее в нем обнаружились ошибки, постепенно их исправляли, находили новые... Оригинальное доказательство Хакена и Аппеля так никогда и не довели до ума, другие люди создали новое.
это просто занудство 80-го левела
математика,как я понимаю,инструмент одновременно изъящный и в то же время сомнительный-недоказуемо-корректно ли использовать его во многих случаях познания реальности...