N. Hay

Robust Computer Algebra, Theorem Proving, and Oracle AI

2017

In the context of superintelligent AI systems, the term “oracle” has two meanings. One refers to modular systems queried for domain-specific tasks. Another usage, referring to a class of systems which may be useful for …