inventing new theories is the interesting part.

finding new conjectures is the second interesting part

"instant "true/false" responses to novel questions."

Fair enough. Then we can add ordering and analyzing theorems with the help of AI as a third activity, admittedly the least interesting one.