“Our systems solved one problem within minutes and took up to three days to solve the others.”
DeepMind scored 28 of 42, one point short of gold. Human contestants get two 4.5-hour sessions. The machine got up to three days, and humans translated the problems into formal language before it started. The two combinatorics problems went unsolved. A silver medal with a translator and eight times the clock is a different competition.