ИИ-помощь в математике: Джон Уршел использовал модели OpenAI в исследовании

Бывший игрок НФЛ Джон Уршел, ныне ассистент-профессор MIT, опубликовал работу «On the Growth of Random Matrices», посвящённую давней математической гипотезе. По пересказу Wall Street Journal в эфире, Уршел изучил сотни недавних доказательств, созданных с помощью ИИ, и сам применил модели OpenAI в исследовании; в благодарностях к работе он отметил их помощь и предложил задавать ему вопросы о роли ИИ.

Уршел сказал, что вычислительные мощности не ослабили его интерес к математике: ему по-прежнему важно понимать, «почему» верны математические утверждения. Участники обсуждения отметили, что машинное превосходство не обязательно лишает человека удовольствия от поиска решения — они сравнили это с шахматами, где компьютеры сильнее людей, но люди продолжают играть.

Уршел перешёл из «Балтимор Рэйвенс» в академическую математику в 2017 году после трёх сезонов в команде. Ведущие также предположили, что новые математические результаты могут предвещать прогресс в других областях, особенно там, где решения имеют коммерческое применение; это прогноз участника, а не установленный результат.