> First, the problems were manually translated into formal mathematical language That is more than half the work of solving them. Headline should read "AI solv

> First, the problems were manually translated into formal mathematical language That is more than half the work of solving them. Headline should read "AI solves the simple part of each IMA problem at silver medal level"