logoalt Hacker News

Garlefyesterday at 9:19 PM2 repliesview on HN

> a human mathematician would aspire to

Some do. But there's also the notion that a clever trick is a bad explanation.


Replies

qarl2yesterday at 9:23 PM

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?

show 1 reply
calfyesterday at 11:33 PM

Is this what the prompt means by proof strength gap, or is that something else entirely? (Sorry not a mathematician.)