In mathematics at least the answer appears to be yes:
A computer has solved the longstanding Erdős discrepancy problem! Trouble is, we have no idea what it’s talking about — because the solution, which is as long as all of Wikipedia’s pages combined, is far too voluminous for us puny humans to confirm.
A few years ago, the mathematician Steven Strogatz predicted that it wouldn’t be too much longer before computer-assisted solutions to math problems will be beyond human comprehension. Well, we’re pretty much there. In this case, it’s an answer produced by a computer that was hammering away at the Erdős discrepancy problem.
…it may not be necessary for humans to check it. As Gil Kalai of the Hebrew University of Jerusalem, Israel, has noted, if another computer program using a different method comes up with the same result, then the proof is probably right.