В середине мая в Калифорнии прошла закрытая встреча тридцати ведущих математиков со всего мира. Учёные собрались, чтобы проверить, насколько хорошо новый искусственный интеллект умеет решать сложные задачи.
Их соперником стал чат-бот на базе модели o4-mini, созданной компанией OpenAI. Эта модель обучена не только предсказывать слова, но и логически рассуждать, как настоящий математик. По словам одного из участников встречи, профессора Кена Оно, некоторые коллеги были в шоке: бот смог решить задачи, которые обычно под силу только экспертам.
Ранее, по заказу OpenAI, некоммерческая организация Epoch AI разработала 300 уникальных математических задач, которые ещё не публиковались. Большинство ИИ-моделей справились менее чем с 2% этих задач. Однако o4-mini показал совершенно другой уровень и сумел решить некоторые из них.