Ученых насторожили успехи ИИ в математике  Оригинал

Через неделю после того, как специализирующаяся на искусственном интеллекте компания OpenAI попала в заголовки газет с доказательством, созданным ИИ, новое “заявление” 16 экспертов вызывает опасения, что технология угрожает математике как дисциплине, пишет The New York Times.

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

На днях группа из 16 математиков, проконсультировавшись с коллегами и математическими организациями по всему миру, опубликовала Лейденскую декларацию об искусственном интеллекте и математике. По словам Урсулы Мартин, одного из авторов, математика и специалиста по информатике из Оксфорда, эта декларация призвана “сформулировать тему для обсуждения будущих направлений”.

Эти усилия, отмечает The New York Times, были предприняты в связи с тем, что модели искусственного интеллекта попали в заголовки газет благодаря успешным результатам в математике исследовательского уровня. В конце мая компания OpenAI, создавшая ChatGPT, объявила, что одна из ее моделей опровергла известную математическую гипотезу 80-летней давности в области комбинаторной геометрии.

Эта гипотеза является одной из примерно 1200 задач, которые поставил венгерский математик Пал Эрдёшм. В то время как некоторые из этих...