4 ms·
That is interesting. Do you know of any attempt?
by iamcurious 12y ago
That is interesting. Do you know of any attempt?
- jbapple 12y agoThere 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