arXiv:1309.4501cs.AI
This paper describes a program that solves elementary mathematical problems, mostly in metric space theory, and presents solutions that are hard to distinguish from solutions that might be written by human mathematicians. The program is part of a more general project, which we also discuss.
Linked by 3 identifiable commenters in 3 comments across 3 threads, from Mar 2015 to Apr 2022. Found in 2 HN submissions from Sep 2013 to Oct 2013. Open submission discussions.
The presentation briefly mentioned simulating the brain, but I think what's more likely to succeed is mimicking the mind at a high level of abstraction (i.e. a level we can study with introspective or even linguistic methods rather than neuroscience). There's some precedent for…
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
Connected through shared HN threads, not inferred similarity or a recommendation.
This is not his first rodeo. https://arxiv.org/pdf/1309.4501.pdf
trenchgunView on HNParent context