Тьюринг и Гёдель: обзор двух взглядов на ИИ из прошлого, где победитель был один

Недавняя статья на Хабре представляет собой сравнительный анализ взглядов на искусственный интеллект (ИИ) двух выдающихся ученых XX века: Алана Тьюринга и Курта Гёделя. Автор статьи, Саша Шутай, начинает с краткой биографии каждого ученого, подчеркивая их сходства и отличия. Мы собрали для вас основные тезисы, для подробного ознакомления вы можете обратиться к ссылке в источнике. Тьюринг. Материалист, верил, что мозг — это машина, и, следовательно, можно создать эквивалентную ему машину Тьюринга. Предложил тест Тьюринга как способ определения того, достигла ли машина уровня человеческого интеллекта. Считал, что ИИ можно создать, обучив «разум ребенка» — машину, которая умеет учиться. Гёдель. Мистический склад ума, верил в платонизм и существование Бога. Доказал теорему о неполноте, утверждающую, что в любой достаточно сложной теории будут утверждения, которые невозможно ни доказать, ни опровергнуть. Считал, что человеческий разум не сводится к алгоритму и его нельзя полностью описать в рамках машины Тьюринга. «Полнота по Тьюрингу — критерий того, что вычислительная система способна решить любую разумную задачу. Неполнота по Гёделю — свойство любой достаточно сложной теории, из-за которого в ней нельзя ни доказать, ни опровергнуть некоторые утверждения», — пишет Шутай. Статья также затрагивает проблемы современного ML: случайность, переобучение, «отравление данных», машину Гёделя — проект вычислительного устройства, основанного на строгом доказательстве и формальном выводе, циклы подъема и спада в истории ИИ, гипотезу Пенроуза о квантовой природе сознания. Несмотря на то, что в 2024 году подход Тьюринга к ИИ кажется более «правильным». Так, Шутай пишет, что компьютеры, вычислительно эквивалентные машине Тьюринга, обучаются так, как предполагал Тьюринг, и уже проходят тест Тьюринга. Кроме того, каждое новое открытие в нейрофизиологии склоняет чашу весов в сторону точки зрения «человек = машина». Но не все так однозначно, автор статьи предостерегает от самоуспокоенности. Теорема Гёделя и другие факторы указывают на возможные ограничения существующих методов.