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-C

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 :)