OpenAI создаёт математический консультативный совет: ИИ решил более 100 открытых задач

OpenAI объявила о создании математического консультативного совета. В него войдут профессиональные математики, которые будут помогать оценивать и направлять работу систем искусственного интеллекта (ИИ) при решении научных задач. Параллельно компания сообщила, что её модели справились более чем со 100 открытыми математическими проблемами — то есть задачами, которые до этого не имели опубликованного решения.

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

Совету предстоит решать, какие задачи стоит предлагать моделям, как интерпретировать полученные результаты и насколько они соответствуют принятым в математическом сообществе стандартам строгости. Это важно, потому что автоматически сгенерированное доказательство может выглядеть убедительно, но содержать скрытую ошибку. Участие математиков должно снизить такие риски и сделать процесс более прозрачным.

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