One Cyc application aims to help students doing math at a 6th grade level, helping them much more deeply understand that subject matter... Unlike almost all other educational software, where the computer plays the role of the teacher, this application of Cyc, called MathCraft, has Cyc play the role of a fellow student who is always slightly more confused than you, the user, are about the subject.
This is from 2017. I haven't seen anything like this using LMs in 2017 and I suspect it is still hard for LLMs today.
Cyc is the huge reasoning engine. You can call it Prolog, if you want. I won't.
Quote:
This is from 2017. I haven't seen anything like this using LMs in 2017 and I suspect it is still hard for LLMs today.Cyc is the huge reasoning engine. You can call it Prolog, if you want. I won't.