3 ms·

> solve an unsolved math proof Yes actually, although there are some philosophical objections to computer assisted proofs: https://en.wikipedia.org/wiki/Four_c

• mhermher 7y ago
  That's just grunt work that still had to be stitched together by a human.
  • ben_w 7y ago
    But it was previously unsolved, which is your exact objection to the other example I gave.