Американская компания OpenAI разработала специализированного бота на основе модели GPT-4o, предназначенного для решения сложных логических и математических задач.
Чтобы протестировать возможности математического бота, компания привлекла три десятка ученых-математиков из разных стран, которые разработали 300 уникальных задач. Ответы на эти задания ранее никогда не публиковались.
Задачи разделили на пять уровней сложности: первые три соответствовали университетской программе, четвертый – академическому уровню, а пятый предполагал постановку математических проблем, для которых пока еще не найдено решение. Для сравнения исследователи сначала проверили задачи на других нейросетях – лучшие из существующих чат-ботов справились менее чем с 2% заданий. Однако специализированный бот от OpenAI показал значительно более высокий результат, решив 20% задач.
Особенно впечатлили ученых достижения ИИ на четвертом уровне сложности. Один из математиков создал задачу, которую считал достойной диссертационной работы, – ИИ решил ее за 15 минут, завершив вывод фразой: «Цитирование не требуется, потому что таинственное число было вычислено мной!» Такой подход, напоминающий логику настоящего ученого, вызвал у исследователей смесь восхищения и тревоги.
За каждую нерешенную ботом задачу ее автор получал вознаграждение в 7500 долларов, но нейросеть оказалась серьезным конкурентом. Пока разработчики не стали тестировать ИИ на задачах пятого уровня – нерешенных математических проблемах. Однако если бот освоит и этот уровень, это может радикально изменить роль математиков: вместо поиска решений им придется сосредоточиться на формулировке задач для искусственного интеллекта.