Н. Светлов писал(а): 11.05.2022, 17:41
В противном случае CONOPT4 уже вполне можно было бы считать сильным ИИ. Все три подпункта п.3 налицо
Э-эээ, я же специально сформулировал три подпункта очень неконкретно. Я ведь даже не указал, на каком языке задаются ограничения, которым должно удовлетворять искомое решение. А язык здесь определяет всё -- и круг решаемых задач, и требования к реализованному в ИИ алгоритму комбинаторного поиска.
CONOPT4, насколько я понимаю, позволяет формулировать ограничения в виде нелинейных неравенств. Можно ли свести постановку любой задачи, которую способен решить человек, к системе нелинейных неравенств? Я не знаю ответа на этот вопрос, но подозреваю, что даже если и можно, то всё равно нет никакой гарантии, что любая посильная человеческому мозгу задача уместится в 100000 неравенств, которые способен осилить CONOPT4.
Поэтому CONOPT4, скорее всего, попадает в категорию
сверхчеловеческих слабых ИИ. (Напомню, что слабый ИИ решает ограниченный круг задач, но при этом вполне может в решении этих задач превосходить человека.)
Н. Светлов писал(а): 11.05.2022, 17:41
Другой threshold, за которым ИИ, в моём понимании, становится сильным, — это решение задач синтеза (проектирования). Например, дано: сталь, бензин. Задача: спроектировать ДВС. Хоть какой-нибудь.
Здесь, мне кажется, ты сильно забегаешь вперёд, потому что для проектирования двигателя нужно очень много информации о реальном мире, которую просто невозможно руками сформировать. Т.е. сначала сильный ИИ должен быть раскручен, а потом запущен в интерактивном режиме для самостоятельного сбора этой информации.
Я был бы счастлив, если бы удалось подготовить для сильного ИИ базовые сведения из математики и программирования, достаточные для того, чтобы он смог совершенствовать свой программный код в процессе раскрутки.
Н. Светлов писал(а): 11.05.2022, 17:41
В некоторой мере твой п.4 предполагает решение задач синтеза (или хотя бы их специфического подкласса). Разрешимы ли они в границах архитектуры фон Нёймана — вопрос открыт. Мне кажется, что нет.
Я раньше тоже думал, что нет. Но успехи AlphaZero внушили мне надежду (возможно, напрасную), что интеллектуальные возможности человека сильно переоценены, и многие решаемые человеком задачи вовсе не требуют такой уж мощности оборудования, как представлялось раньше. Удивительно, но факт -- программа AlphaZero обыгрывает любого человека в го, шахматы и другие настольные игры, будучи запущенной на обыкновенном ноутбуке!