⚡️Google системно движется к цели. Новая ИИ-модель получила серебряную медаль в Международной математической олимпиаде (IMO)
Каждый год страны отправляют своих лучших молодых математиков пройти двухдневный тест из 6 задач.
Несколько лет назад математическим системам ИИ удалось решить 1 из 100 задач.
В этом году Google DeepMind создал ИИ систему для решения задач IMO этого года, которая объединила 2 системы: AlphaGeometry 2, улучшенную версию системы AlphaGeometry, и AlphaProof - новую систему, основанную на обучении с подкреплением, для формальных математических рассуждений.
Результаты. В течение недели соревнований эта система смогла полностью решить 4 из 6 задач на IMO в этом году, набрав 28 баллов.
AlphaProof создана на доработанной версии Gemini, а также использует систему Lean.
Каждый год страны отправляют своих лучших молодых математиков пройти двухдневный тест из 6 задач.
Несколько лет назад математическим системам ИИ удалось решить 1 из 100 задач.
В этом году Google DeepMind создал ИИ систему для решения задач IMO этого года, которая объединила 2 системы: AlphaGeometry 2, улучшенную версию системы AlphaGeometry, и AlphaProof - новую систему, основанную на обучении с подкреплением, для формальных математических рассуждений.
Результаты. В течение недели соревнований эта система смогла полностью решить 4 из 6 задач на IMO в этом году, набрав 28 баллов.
AlphaProof создана на доработанной версии Gemini, а также использует систему Lean.