Математики в панике: OpenAI решает задачи, над которыми бились десятилетиями

Профессор Оксфорда и обладатель Филдсовской медали Джеймс Мейнард признался, что последний год провёл в «поисках души». Причина — стремительное проникновение ИИ в математику, область, которая веками считалась неспешной и консервативной. За несколько дней до интервью The Verge OpenAI объявила, что её модели решили 10 задач, над которыми академики бились десятилетиями.

Мейнард, как и многие его коллеги, задаётся вопросом: что останется от профессии математика, если нейросети начнут штамповать доказательства быстрее и точнее людей? Пока технология работает по принципу генеративных моделей — учится на огромных массивах данных и ищет скрытые закономерности, — но уже сейчас это ставит под сомнение традиционные методы исследований.

Ситуация усугубляется тем, что академическая наука теряет доступ к передовым моделям: они всё чаще остаются внутри закрытых лабораторий. Если так пойдёт дальше, математикам придётся не только конкурировать с ИИ, но и договариваться с корпорациями о доступе к инструментам, которые меняют правила игры.