ОКО ПЛАНЕТЫ » Наука и техника » Новости науки и техники » Поворотный момент в истории человечества: Компьютер создал математическое доказательство, которое не в состоянии проверить ни один человек
Поворотный момент в истории человечества: Компьютер создал математическое доказательство, которое не в состоянии проверить ни один человек
Похоже, мы вплотную подходим к ключевой точке развития человеческой цивилизации. Мало того, что созданные нами машины обыгрывают лучших представителей человечества в шахматы, а роботы-хирурги с успехом заменяют человека при выполнении рутинных операций. Вот и ещё в одной сфере деятельности, которая считается привилегией титанов мысли – в математике – машина обошла нас.
Два математика из Ливерпульского университета, Великобритания, Алексей Лисица и Борис Конев, придумали интересную проблему – если компьютер приводит доказательство математической задачи, которое слишком велико для изучения, то как судить, насколько оно верное?
В своей статье, учёные описывают написание и запуск компьютерной программы для решения малой части задачи, известной как задача несоответствия Эрдеша.
Мы не будем вдаваться в математические дебри, только заметим, что математики, решая задачи, порой исписывают целые тома своими нетривиальными доказательствами. Любой, прошедший курс высшей математики, может это подтвердить.
Вполне понятно их стремление переложить на надёжные плечи машин генерацию наиболее приземлённых частей своего творчества.
Конечно, математиков терзали смутные сомнения, что когда-нибудь, в один из не самых прекрасных дней, компьютер будет работать очень долго, а результат его работы будет очень велик. И вот этот день настал.
Результат работы программы Лисицы и Конева поражает воображение – файл с текстом доказательства занимает объём в 13 гигабайт!
Это на два гигабайта больше, чем полный объём информации Википедии.
Теперь перед научным миром стоит диллема: либо принимать на веру доказательства, созданные машинами, как факт (хотя мы не в состоянии их проверить), либо отказаться от их использования, ограничивая тем самым наши возможности.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь. Чтобы писать комментарии Вам необходимо зарегистрироваться либо войти на сайт под своим именем.
» #4 написал: L_po (23 февраля 2014 20:58) Статус: |
Предполагаю, что обработка шла не на обычном, а на суперкомпьютере. Поэтому, хотя ребята имеют и российские фамилии, Россия, по всей видимости, не может предоставить им необходимую техническую базу для их изысканий. На данном этапе эта работа пока никак не угрожает нашим государственным интересам.
» #1 написал: knp912 (21 февраля 2014 13:27) Статус: |
"Два математика из Ливерпульского университета, Великобритания, Алексей Лисица и Борис Конев" - а что в России места двум парням не нашлось? Поменять мегатонну собчачек, аналь...,прошу прощения-навальных, немцовых и прочего фуфла на этих двоих. РАН обязать проработать и предложить процедуру обмена.
» Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации. Зарегистрируйтесь на портале чтобы оставлять комментарии
Материалы предназначены только для ознакомления и обсуждения. Все права на публикации принадлежат их авторам и первоисточникам. Администрация сайта может не разделять мнения авторов и не несет ответственность за авторские материалы и перепечатку с других сайтов. Ресурс может содержать материалы 16+
Статус: |
Группа: Гости
публикаций 0
комментариев 0
Рейтинг поста:
А выражение - ученик превзошел учителя на пустом месте возникло?
Статус: |
Группа: Посетители
публикаций 0
комментария 1433
Рейтинг поста:
Статус: |
Группа: Гости
публикаций 0
комментариев 0
Рейтинг поста:
Статус: |
Группа: Посетители
публикаций 0
комментариев 308
Рейтинг поста: