There have been quite a few; Gowers himself (mentioned in the article) is working on one: "A fully automatic problem solver with human-style output" M. Ganesa

There have been quite a few; Gowers himself (mentioned in the article) is working on one: "A fully automatic problem solver with human-style output" M. Ganesalingam, W. T. Gowers http://arxiv.org/abs/1309.4501 http://arxiv.org/abs/1309.4501