[dekhn]

And yet, trained on a large corpora of correct math statements, they produce responses that are more often right than wrong (I am taking this for true- it might not be)- which simply raises more questions about the nature of math.

[haimez]

…or the nature of the question and corpus?