← Back to context Comment by semessier 10 hours ago that's not a proof 3 comments semessier Reply groundzeros2015 9 hours ago I think it’s a good way to prove x = sqrt(y). What’s your concern? frontfor 9 hours ago 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 4 hours ago it is an attempt to prove a very specific case of the theorem x = sqrt(x) ^ 2.
frontfor 9 hours ago 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 4 hours ago it is an attempt to prove a very specific case of the theorem x = sqrt(x) ^ 2.
I think it’s a good way to prove x = sqrt(y). What’s your concern?
Agreed. Asking the AI to do a calculation isn’t the same as asking it to “prove” a mathematical statement in the usual meaning.
it is an attempt to prove a very specific case of the theorem x = sqrt(x) ^ 2.