> a human mathematician would aspire to
Some do. But there's also the notion that a clever trick is a bad explanation.
Hmmm... seems to me that if you can find a solution without creating the desired explanation - then that's a problem with the original question - not the solution itself.
And discovering a bad question leads to the correct question. No?
Is this what the prompt means by proof strength gap, or is that something else entirely? (Sorry not a mathematician.)
Hmmm... seems to me that if you can find a solution without creating the desired explanation - then that's a problem with the original question - not the solution itself.
And discovering a bad question leads to the correct question. No?