Математики обсуждают решение ИИ десяти давних математических проблем
OpenAI заявила, что её неопубликованная модель Astra решила 10 давних математических проблем, вызвав у математиков смешанные чувства — от воодушевления до опасений за будущее профессии и признание заслуг учёных.
Джеймс Мейнард, профессор Оксфордского университета и лауреат Филдсовской премии, весь последний год размышляет о том, как традиционно медленно развивающаяся математика вынуждена приспосабливаться к искусственному интеллекту. Незадолго до интервью The Verge компания OpenAI объявила, что её неопубликованная внутренняя модель Astra нашла решения десяти давних математических проблем — от упаковки сфер в многомерных пространствах до кодов коррекции ошибок и вопросов квантовой теории игр, часть из которых связана с постквантовой криптографией.
Спор о заслугах
Один из самых заметных результатов касался существования несофических групп — вопроса, остававшегося открытым десятилетиями. Математик Кембриджского университета Франческо Фурнье-Фасио и исследователь института Альфреда Реньи Габор Кун заявили, что первоначальное объявление OpenAI недостаточно учитывало вклад более ранней работы Куна и его коллеги Андреаса Тома, на которой основывалось решение. Кун рассказал, что OpenAI связалась с ним перед публикацией, однако формулировки в объявлении показались ему преувеличенными. После публикации и дальнейшей переписки OpenAI изменила текст, не указав причину правки; представитель компании Лоранс Фоконне подтвердила, что формулировка была уточнена, чтобы лучше отразить вклад предыдущих исследований.
Воодушевление и опасения
Многие математики отмечают, что решённые Astra задачи были действительно сложными — такими, решение которых обычно обеспечивает учёному академическую карьеру. Это продолжает серию недавних успехов ИИ: в мае модель OpenAI решила десятилетиями не поддававшуюся гипотезу Эрдёша, а в июле модель Anthropic опровергла гипотезу Якобиана. Тем не менее опасения растут. Профессор университета Сент-Эндрюс Колва Рони-Дугал предупредила, что университетам может не хватить средств на подобные ИИ-решения, а доступ к самым мощным моделям остаётся в руках немногих компаний. В июне более 3400 человек подписали так называемую Лейденскую декларацию, призывающую не поддаваться преувеличенным заявлениям компаний о возможностях ИИ в математике.
