upvote
This will be the reality of math soon. Complicated proofs will only be checked completely by AI.
reply
That doesn't actually answer any questions, but I doubt mathematicians are entirely thrilled about the prospect of having their field automated, even if they still get paid.
reply