ИИ Google DeepMind завоевал серебро на Международной олимпиаде по математике