6 ms·
that's not a proof
by semessier 8mo ago
that's not a proof
- frontfor 8mo agoAgreed. Asking the AI to do a calculation isn’t the same as asking it to “prove” a mathematical statement in the usual meaning.
- groundzeros2015 8mo agoI think it’s a good way to prove x = sqrt(y). What’s your concern?
- hahahahhaah 8mo agoit is an attempt to prove a very specific case of the theorem x = sqrt(x) ^ 2.