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