Математика и Язык внутри ИИ
Искусственный интеллект работает с текстом. Но за текстом стоит нечто большее, чем слова: за ним стоит структура. Когда мы говорим «больше», «меньше», «следует», «если… то», мы используем язык, который внешне выглядит естественным, а внутренне подчиняется логике. Именно на этой границе — между естественным языком и математикой — и работает наша лаборатория.
Мы исследуем, как ИИ понимает математические высказывания. Где он видит логику, а где — только последовательность слов. Что для него «доказательство», что — «пример», а что — просто удачная формулировка. И главное: где проходит граница между пониманием и имитацией понимания.
Математика — это не просто набор символов. Это язык, в котором каждое утверждение может быть проверено. Естественный язык такой проверки не допускает: фраза «это очевидно» может скрывать и глубокую истину, и грубую ошибку. ИИ обучен на текстах, где такие фразы встречаются постоянно. Поэтому вопрос не в том, знает ли машина математику, а в том, умеет ли она отличать утверждение, которое можно проверить, от утверждения, которое только звучит убедительно.
В наших экспериментах мы предлагаем нейросетям задачи, в которых естественный язык и математическая структура расходятся. Мы смотрим, что машина замечает, а что — нет. Где она следует за формой, а где — за смыслом. И что происходит, когда форма и смысл противоречат друг другу.
Это не тестирование ИИ. Это исследование того, как устроено само понимание — у машины и у человека. Потому что когда мы формулируем задачу для ИИ, мы формулируем её на языке. И от того, насколько точно этот язык передаёт математическую структуру, зависит всё.