Таня Клоуден и я разместили на arXiv нашу препринтовую статью «Mathematical methods and human thought in the age of AI» («Математические методы и человеческое мышление в эпоху искусственного интеллекта»). Это полная версия статьи, подготовленной для будущего издания «Blackwell Companion to the Philosophy of Mathematics».
Я редко пишу эссе философского характера длиной в статью (пожалуй, последнее было в 2007 году), но, учитывая актуальный интерес к искусственному интеллекту и формализации в математике, которые начали поднимать всё более фундаментальные вопросы о природе, цели и практике математики (или о том, какими они должны быть), это показалось своевременной возможностью написать об этом.
Другие математики, похоже, пришли к такому же выводу. Посмотрите, например, на статью Авигада или статью Коммелина, Джамника, Очигаме, Таэльмана и Венкатеша, которые вышли за последние несколько недель.
Наша первоначальная версия значительно превысила допустимый объём и вышла за рамки философии математики, затронув более широкие философские и этические вопросы об искусственном интеллекте в целом. В предстоящем издании будет опубликована упрощённая версия статьи, но мы решили сделать оригинальную более длинную версию доступной на arXiv.