alt Hacker NewsAuthor probably doesn't want to show the prompt because they are now trying to find a bunch of other counter-examples with the same prompt
Author probably doesn't want to show the prompt because they are now trying to find a bunch of other counter-examples with the same prompt
The reasoning trace would be far more interesting, and that's not exposed.