3 ms·
It's not a theorem prover, it's more like a support system for decision making. They can probably isolate 100k facts from some domain for you if you pay for it
by cess11 2y ago
It's not a theorem prover, it's more like a support system for decision making.
They can probably isolate 100k facts from some domain for you if you pay for it, but their idea is to run inference on millions of "common sense" and everyday facts and have been for decades.
- auggierose 2y agoThat sounds to me like something that will be subsumed by the combination of ITP and AI.
- cess11 2y agoThey've refused to die for many, many years by now. Not sure what you mean by ITP but if it's thrombocytopenia, they claim to have a lot of customers in medicine already.