Если помнить Рэй Курцвейл обещал приход сингулярности уже в 30-х годах этого столетия.
Кажется, уже появляются первые предвестники: двое наших бывших соотечественников, Алексей Лисица и Борис Конев, работающие в Ливерпульском университете, приступили к расчету проблемы несоответствия Ардеша.
Проблема считается нерешенной, и запущенная исследователями программа справилась с задачей.
Но! Проблема в том, что сами доказательства решения занимают 13 ГБ (опять же, текстовый файл журнала, который по сути является доказательством, занимает 13 ГБ) и их трудно проверить.
Возникает простой вопрос: можем ли мы доверять решению компьютера, если не можем проверить его расчеты? 
Многие СМИ сочли этот случай своего рода рубиконом — границей, за которой ряд научных расчетов становятся «непроверяемыми».
Да, для их проверки можно запустить другую программу, работающую по другим алгоритмам, но тоже работающую по несколько схожей логике.
И тогда возникает рекурсивный вопрос — можем ли мы доверять проверке решения, если мы и его не можем проверить? Собственно, здесь и добавить нечего.
Если вас интересуют детали математического эксперимента и названия программ, то здесь есть хорошее объяснение на русском, но здесь – оригинальное исследование на английском языке.
Теги: #математика #Алгоритмы #сингулярность #вычисления #Большие данные #Алгоритмы #Большие данные #математика
-
Водородный Показатель (Рн)
19 Oct, 24 -
Брак Htc Hd2
19 Oct, 24 -
Миниатюрный Внешний Диск От Freecom
19 Oct, 24 -
Новый Qip 8094 Опять Порадовал
19 Oct, 24 -
Хабракино: Главная
19 Oct, 24
