4 ms·
An underrated field these days
by stevekintor 9y ago
An underrated field these days
- aidanrocke 9y agoThat's a very good point. I also think there's a difference between Automated Theorem Proving and AGI since entities with high-functioning general intelligence(i.e. AGI) aren't necessarily good at mathematics. ATP is a specific form of AGI in my opinion.