Борис Конев и Алексей Лисица, математики из университета Ливерпуля, поручили компьютеру решение несоответствия Эрдеша – математической задачи, доказать которую человек пока что не в силах. Компьютер ее решил, однако проверить полученное доказательство невозможно: оно занимает 13 Гб, что на 2 Гб больше, чем объем всех англоязычных ресурсов Wikipedia.
Теперь перед учеными стоит нелегкий выбор. Следует ли им отказаться от результатов работы из-за того, что их нельзя проверить вручную? Но вслед за этим возникает вопрос – а не придется ли вообще отказаться от использования компьютерных программ, в математике в частности и в науке – в целом?
Другой вариант – принимать результаты, выданные компьютером, как факт. Не только сейчас, но и в будущем: ведь неразрешенных проблем еще много, и чем они сложнее – тем объемнее будет их решение.
Добавить комментарий