2 ms·
>the kind that actually works I'm pretty sure computer algebra systems and automatic theorem provers work quite well. The CPU you wrote this comment on was dev
by mepian 3y ago
>the kind that actually works
I'm pretty sure computer algebra systems and automatic theorem provers work quite well. The CPU you wrote this comment on was developed using the other kind of AI that supposedly doesn't work: https://en.wikipedia.org/wiki/ACL2 https://en.wikipedia.org/wiki/ACL2
- astrange 3y agoThey don't have the property of "working but still being called AI". Traditionally AI is the things that doesn't work, and then once it works it becomes software engineering.