Comment by sva_
4 years ago
Now try to make a computer prove that there are no natural numbers a,b,c; so that a^n + b^n = c^n for any n > 2.
4 years ago
Now try to make a computer prove that there are no natural numbers a,b,c; so that a^n + b^n = c^n for any n > 2.
I guess it depends on the outcome your worried about. Super intelligence or machines that replace the average office worker.
Shifting the goal posts a bit, aren't we?