Загрузка предыдущей публикации...
Загрузка предыдущих новостей...
Международная математическая олимпиада (IMO) – самый престижный конкурс для молодых математиков в мире, который проводится ежегодно с 1959 года. Каждая участвующая страна представлена шестью выдающимися математиками, не прошедшими университетское образование, которые соревнуются в решении шести исключительно сложных задач по алгебре, комбинаторике, геометрии и теории чисел. Медали присуждаются половине лучших участников, при этом около 8% получают престижную золотую медаль.
В последнее время IMO также стала амбициозной задачей для систем искусственного интеллекта (ИИ) в качестве теста их продвинутых возможностей решения математических задач и логического мышления. В прошлом году, объединенные системы Google DeepMind – AlphaProof и AlphaGeometry 2 – достигли уровня серебряной медали, решив четыре из шести задач и набрав 28 баллов. Используя специализированные формальные языки, этот прорыв продемонстрировал, что ИИ начинает приближаться к элитарному человеческому математическому мышлению.
В этом году мы вошли в первую группу, чьи результаты модели были официально оценены и сертифицированы координаторами IMO по тем же критериям, что и для решений студентов. Признавая значительные достижения участников олимпиады этого года, мы рады сообщить о прорывных результатах Gemini. Усовершенствованная версия Gemini Deep Think решила пять из шести задач IMO идеально, набрав 35 баллов и достигнув уровня золотой медали.
Загрузка предыдущей публикации...
Загрузка следующей публикации...
Загрузка предыдущих новостей...
Загрузка следующих новостей...