Even though this is an amazing result, I am a bit disappointed, but not surprised, that most of these problems are equation/inequality problems. Those kinds of

Even though this is an amazing result, I am a bit disappointed, but not surprised, that most of these problems are equation/inequality problems. Those kinds of problems are among the easiest for computers; most inequalities like that can be solved with S.O.S and the likes. If it can solve the combinatorics section on the IMO, I would certainly be impressed.