[semessier]

that's not a proof

[groundzeros2015]

I think it’s a good way to prove x = sqrt(y). What’s your concern?

[frontfor]

Agreed. Asking the AI to do a calculation isn’t the same as asking it to “prove” a mathematical statement in the usual meaning.

[hahahahhaah]

it is an attempt to prove a very specific case of the theorem x = sqrt(x) ^ 2.