Здравствуйте, DEMON HOOD, Вы писали:

DH>людям очевидно что AxB = BxA

Если ты об умножении, то это совсем не очевидный факт. Многие математики говорят, что даже то, что A=A нужно доказывать.
Хотя если первокласник построит в воображении простую модель умножения яблок на корзины, то он может сделать такой вывод, основывась на небольших наглядных A и B. Из геометрии и площадей, например, но я бы не сказал что это очевидно.
Впрочем сложно сказать, насколько первокласники вникают в этот вопрос. Возможно, они просто удовлетворяются простейшим решением, которое им дает учитель.

DH>но ты не сможешь написать алгоритм для компьютера который бы пришёл к такомуже выводу.
DH>компьютер должен перебрать все варианты. бесконечное количество вариантов за бесконечное время.

Тут соглашусь, данный вывод компьютер сейчас сделать не сможет. Ни перебором, ни нейросетями.
Вроде есть работы по программам, доказывающим мат. теоремы по правилам формальной логики. Но это конечно совсем не настоящий ИИ, а просто программы.

DH>То что человеку ответ интуитивно понятен — может быть объяснено тем, что в мозгу находится суперпозиция всех вариантов и её коллапс — даёт ответ.

Интуиция бывает разная. Как минимум стоит разделить интуицию на основе аналогичного опыта (современные нейросети), интуицию на основе воображения и общих выводов(как с умножением яблок на число корзин), и логические рассуждения.

DH>то-есть за один такт мозгового процессора просчитываются все (бесконечное количество ) варианты, что для классического компьютера недостижимо в принципе.
Действительно, мозг не просчитывает все в отличие от компьютера, а использует более интеллектуальные рассуждения.

Здравствуйте, DEMON HOOD, Вы писали:

DH>людям очевидно что AxB = BxA

Если ты об умножении, то это совсем не очевидный факт. Многие математики говорят, что даже то, что A=A нужно доказывать.
Хотя если первокласник построит в воображении простую модель умножения яблок на корзины, то он может сделать такой вывод, основывась на небольших наглядных A и B. Из геометрии и площадей, например.
Впрочем сложно сказать, насколько первокласники вникают в этот вопрос. Возможно, они просто удовлетворяются простейшим решением, которое им дает учитель.

DH>но ты не сможешь написать алгоритм для компьютера который бы пришёл к такомуже выводу.
DH>компьютер должен перебрать все варианты. бесконечное количество вариантов за бесконечное время.

Тут соглашусь, данный вывод компьютер сейчас сделать не сможет. Ни перебором, ни нейросетями.
Вроде есть работы по программам, доказывающим мат. теоремы по правилам формальной логики. Но это конечно совсем не настоящий ИИ, а просто программы.

DH>То что человеку ответ интуитивно понятен — может быть объяснено тем, что в мозгу находится суперпозиция всех вариантов и её коллапс — даёт ответ.

Интуиция бывает разная. Как минимум стоит разделить интуицию на основе аналогичного опыта (современные нейросети), интуицию на основе воображения и общих выводов(как с умножением яблок на число корзин), и логические рассуждения.

DH>то-есть за один такт мозгового процессора просчитываются все (бесконечное количество ) варианты, что для классического компьютера недостижимо в принципе.
Действительно, мозг не просчитывает все в отличие от компьютера, а использует более интеллектуальные рассуждения.