| ▲ | semessier 4 hours ago | |
that's not a proof | ||
| ▲ | groundzeros2015 3 hours ago | parent | next [-] | |
I think it’s a good way to prove x = sqrt(y). What’s your concern? | ||
| ▲ | frontfor 3 hours ago | parent | prev [-] | |
Agreed. Asking the AI to do a calculation isn’t the same as asking it to “prove” a mathematical statement in the usual meaning. | ||