[sold]

If you ask Mathematica whether x^n + y^n = z^n has solutions for n>2 and x,y,z>0, the system will simplify it to "False", displaying knowledge of Fermat's last theorem. This is taken from documentation (last example in http://reference.wolfram.com/language/ref/FullSimplify.html).

I asked about x^n + 1 = z^n, which is a simpler special case with y=1. The system no longer recognized it to be False. So the theorem was programmed as thoughtless pattern matching. I think one day computers might become authentic "creative" tools for mathematicians (as opposed to "computational" tools), but Mathematica's philosophy seems to be a dead end in this regard.

[taeric]

To be fair... I would imagine you could catch more than a few humans with the same trick. Specifically folk that might recognize the textbook Fermat's theorem, and miss the special case.

(Sadly, I can offer no data point, as I probably wouldn't have recognized either case...)

[judk]

y=1 isn't just a special case, it is an absolutely trivial case that is easily shown to have only a degenerate solution.

[taeric]

Apologies, I did not mean special as in edge or hard. I meant simply that it was a specific case of the same thing.

Regardless, I don't think that changes my point.