Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

e.g. Douglas Lenat's Automated Mathematician [1]... there are probably newer, better examples.

[1] http://en.wikipedia.org/wiki/Automated_Mathematician



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: