3 ms·
True but this kind of stories conjure up the classic idea of the human computer :). Practical use is cool like the google self-driven car I'm not sure if it's a
by christkv 16y ago
True but this kind of stories conjure up the classic idea of the human computer :). Practical use is cool like the google self-driven car I'm not sure if it's a learning system (does anyone know ?). I figure deduction to be the truly hard part to do. Like deducting the laws of geometry by observation or something similar. But hey I'm an amateur on this :)
- arethuza 16y agoResearchers have built AI programs that were claimed to have rediscovered some basic results in maths: http://en.wikipedia.org/wiki/Automated_Mathematician http://en.wikipedia.org/wiki/Automated_Mathematician That line of symbolic/formal AI seems to have pretty much died out (or at least not going anywhere very quickly), consider: http://en.wikipedia.org/wiki/Cyc http://en.wikipedia.org/wiki/Cyc