Можем ли мы доверять решению компьютера, если не можем его проверить?

сегодня в 16:51

Если помните, Рей Курцвейл обещал приход сингулярности уже в 30 годах этого века. Похоже, что первые предвестники уже появляются: два бывших наших соотечественника, Алексей Лисица и Борис Конев, работающие в Ливерпульском университете, запустили на расчет задачу несоответствия Эрдеша. Задача считается неразрешенной, и программа, запущенная исследователями с задачей справилась. Но! Проблема в том, что доказательства решения сами по себе занимают 13 Гб (еще раз, текстовый лог-файл, по сути и являющийся доказательством, занимает 13 Гб) и с трудом поддается верификации. Отсюда напрашивается простой вопрос – можем ли мы доверять решению компьютера, если не в состоянии проверить его выкладки?

Многие СМИ рассмотрели в этом случае некий рубикон – границу, за которой целый ряд научных вычислений переход в разряд «непроверяемых». Да, для их проверки можно запускать другую программу, работающую на других алгоритмах, но тоже работающую по в чем-то сходной логике. И тут же возникает рекурсивный вопрос – можно ли доверять проверке решения, если мы тоже не можем его проверить?

Собственно, добавить тут нечего. Если вам интересны подробности математического эксперимента и названия программ, то тут есть хорошее объяснение на русском, а тут – оригинал исследования на английском.

Свежий взгляд

на бег

протестируй кроссовки

нового поколения

Стань

первоиспытателем!

Скачай Windows Server 2012 R2

и выиграй почетную футболку!

Скачать

Автоматизированное

продвижение сайтов

• 50% экономии на ссылках


• Запуск проекта за 10 минут


• Вывод и удержание в ТОП 10

Подробнее

Новый 3G-планшет Login 2

2790 р.^*

^*Условия акции на www.megafon.ru

Подробнее

Разрабатываешь

приложения для бизнеса?

Участвуй в конкурсе

Только зарегистрированные пользователи могут оставлять комментарии. Войдите, пожалуйста.

This entry passed through the Full-Text RSS service — if this is your content and you're reading it on someone else's site, please read the FAQ at http://ift.tt/jcXqJW.