Галилей считал, что «Великая книга природы … написана на языке математики» (1623). Продолжая эту мысль, большинство математиков утверждают, что «язык природы — есть язык дифференциальных уравнений». Однако так ли это и какой математический язык лучше подходит на роль «языка природы»? Очевидно, что дифференциальные уравнения не годятся для создания общего искусственного интеллекта. Математические модели сложных систем на них оказываются «чёрными ящиками», а интерпретация их внутренних механизмов соответствует размытым образам на стенах пещеры Платона.
Термин чёрный ящик ввел Норберт Винер, один из основоположников кибернетики и теории искусственного интеллекта. Также он ввел термин белый ящик. Нейронная сеть является чёрным ящиком, что в случае самообучающегося ИИ представляет угрозу - непонятно чего можно ожидать от такой системы, что у нее на уме. Наивные ожидания, что такой чёрный ящик, как это часто показывают в фильмах, каким-то чудесным образом вдруг превратится в Совершенный Искусственный Разум очень похожи на фантастику. Да и о каком сильном ИИ может идти речь, когда практически все современные модели сложных систем - это чёрные ящики.
Создатель первого действительно работающего программируемого компьютера (1941) и первого языка программирования высокого уровня (1948) Конрад Цузе считал, что Вселенная - это клеточный автомат, дискретная логическая система со сложной динамикой. На фото реплика Z1 - механическое вычислительное устройство, созданное в 1938 году, стало первой ограниченно программируемой вычислительной машиной. Главное отличие от более известной вычислительной машины Z3 (1941) - отсутствие вычисления квадратного корня.
Развивая мысль Конрада Цузе о том, что Вселенная - это клеточный автомат, создатель системы системы Mathematica и системы вычислительных знаний Wolfram Alpha Стивен Вольфрам написал книгу «Наука нового типа» (A New Kind of Science, 2002). Он хотел (и пытается) с помощью клеточных автоматов найти код Вселенной. Вот только его способ простого перебора логических правил пока не дал (и крайне маловероятно, что даст) искомого результата. Опять надежда на чудо без фундаментальной теории и глубокого понимания! Современная наука подзабыла свое главное оружие – рациональный научный метод. Ставки сделаны на мегажелезяки, в которых и произойдет (само-собой) рождение сильного ИИ – надо только данных побольше (Big Data). Никто не хочет думать – все «в тренде» искусственных нейросетей.
Вся действительная наука основана на дедуктивном логическом выводе. Для будущего сильного ИИ необходимо автоматизировать дедуктивный вывод с помощью клеточных автоматов. Аксиоматику соответствующих теорий всё равно придется создавать человеку. Проблема к том, что соответствующих специалистов становится все меньше и они совсем не в мейнстриме.
Комментарии
Если человек только ступень в процессе само осознания себя вселенной, то ИИ это новая ступень, он не жив как биоорганизм, но жив как обработчик информации и решатель проблем развития.
Проблем развития Вселенной, а не человека как вида и самоназначенного голожопого "царька природы" причем в отдельной микроклетке. Центропупизм идиотов не лечится.
Говоря о создании ИИ ссылаться на Платона, Галилея (заодно исправьте ошибку в его имени), на Цузе, зачем это все - Вы философ? Зачем вы смешали в одну кучу ДУ, язык природы и черные ящики?
Здравствуйте! Благодарю за комментарий, исправил описку в имени. Заметка написана после прочтения публикации "О возможности и целесообразности создания сильного ИИ". Если Вы решите заняться математическим моделированием сложных систем и созданием ИИ, то Вам потребуется метод. Математические модели сложных систем можно разделить на три типа: чёрный, серый и белый ящик. Модели сложных систем на ДУ являются чёрными ящиками. Логические клеточные автоматы позволяют создавать прозрачные модели сложных систем и являются методом ИИ. Поэтому я говорю о Цузе и его заслугах. Он считал, что наша Вселенная - это клеточный автомат. Для разработки аксиоматических теорий, использования дедуктивного метода и клеточных автоматов нужно быть также и философом. Что касается философии, то математика - это оцифрованная философия. В основе математики лежат идеальные объекты, придуманные философами.