Comment by Mackenzie Karkheck (mackenzie-karkheck) on DARPA Digital Tutor: Four Months to Total Technical Expertise? · 2020-07-12T17:32:02.606Z · LW · GW

The KB system being used by DARPA is cyc.com. It's the oldest, largest and as far as I'm aware best of classical AI systems. I believe you can research with it for free, but it may be expensive to deploy commercially.

Why AP History vs. Mathematics? Why not predicate calculus which is regarded as a requisite for developing such systems?