⚡️Google системно движется к цели. Новая ИИ-модель получила серебряную медаль в Международной математической олимпиаде (IMO)

Каждый год страны отправляют своих лучших молодых математиков пройти двухдневный тест из 6 задач.

Несколько лет назад математическим системам ИИ удалось решить 1 из 100 задач.

В этом году Google DeepMind создал ИИ систему для решения задач IMO этого года, которая объединила 2 системы: AlphaGeometry 2, улучшенную версию системы AlphaGeometry, и AlphaProof - новую систему, основанную на обучении с подкреплением, для формальных математических рассуждений.

Результаты. В течение недели соревнований эта система смогла полностью решить 4 из 6 задач на IMO в этом году, набрав 28 баллов.

AlphaProof создана на доработанной версии Gemini, а также использует систему Lean.