Comment by lanstin

Lacking a rigorous way to verify truth, I would be pretty wary of using it for truly important things without a human to validate.

And math research is a non-CS application, for the pedants :)