Сегодня DeepMind анонсировал, что автоматическая система смогла завоевать серебрянную медаль (и чуток не дотянула до золота) на IMO – самой известной международной математической олимпиаде. ☺️ Я помогал ребятам с данными на Lean и с базовой математической моделью, базирующейся на Gemini 1.5.