Решение математической задачи, предложенное компьютером, заняло13 Гб

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

Теперь перед учеными стоит нелегкий выбор. Следует ли им отказаться от результатов работы из-за того, что их нельзя проверить вручную? Но вслед за этим возникает вопрос – а не придется ли вообще отказаться от использования компьютерных программ, в математике в частности и в науке – в целом?

Другой вариант – принимать результаты, выданные компьютером, как факт. Не только сейчас, но и в будущем: ведь неразрешенных проблем еще много, и чем они сложнее – тем объемнее будет их решение.

Оцените Статью:

1 Звезда2 Звезды3 Звезды4 Звезды5 Звезд (Пока оценок нет)
Загрузка...
Еще одного голосового ассистента разрабатывает Facebook

В скором времени конкуренцию Алексе, Сири и Google Ассистенту составит голосовой помощник, разработанный Facebook. Компания ...

Intel представила UWP-версию Центра управления графикой для Windows 10

При установке пакета драйверов видеокарты в систему традиционно устанавливается фирменная Панель управления графикой. Компания Intel ...

Intel представит новую видеокарту на CES 2019?

Цены в магазинах постепенно возвращаются к норме, но текущая ситуация на рынке видеокарт по-прежнему выглядит ...

AdGuard: 20 миллионов человек скачали опасные адблокеры

На каждую доверенную программу в интернете найдется хотя бы одна подделка. Как сказано в отчете ...

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *