Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Robust Computer Algebra, Theorem Proving, and Oracle AI   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
addressing the value alignment and AI control problems, is a superintelligent
AI system that only answers questions. The aim of this manuscript is to survey
contemporary research problems related to oracles which align with long-term
research goals of AI safety. We examine existing question answering systems and
argue that their high degree of architectural heterogeneity makes them poor
candidates for rigorous analysis as oracles. On the other hand, we identify
computer algebra systems (CASs) as being primitive examples of domain-specific
oracles for mathematics and argue that efforts to integrate computer algebra
systems with theorem provers, systems which have largely been developed
independent of one another, provide a concrete set of problems related to the
notion of provable safety that has emerged in the AI safety community. We
review approaches to interfacing CASs with theorem provers, describe
well-defined architectural deficiencies that have been identified with CASs,
and suggest possible lines of research and practical software projects for
scientists interested in AI safety.

2
The categories of this paper are: math
3
The categories of this paper are: physics
10
The categories of this paper are: q-bio
32
The categories of this paper are: atom-ph
19
The categories of this paper are: eess
33
The categories of this paper are: plasm-ph
30
The categories of this paper are: q-alg
6
The categories of this paper are: astro-ph
34
The categories of this paper are: chem-ph
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an
14
The categories of this paper are: math-ph
9
The categories of this paper are: nlin
36
The categories of this paper are: cmp-lg