logoalt Hacker News

napoleoncomplextoday at 6:03 PM11 repliesview on HN

This is the second ChatGPT shared conversation I've seen today that is truly fascinating.

The first one was someone proving another conjecture false by just repeatedly saying "keep going" to ChatGPT: https://x.com/DmitryRybin1/status/2079904005652893709

What a world we live in.


Replies

minimaxirtoday at 7:03 PM

> just repeatedly saying "keep going" to ChatGPT

For posterity, this indeed works for most problems where an agent might give up. LLMs don't inherently know something is impossible.

The phrase I tend to use in my harder prompts to automate this with a sane loop breaker:

> **REPEAT THIS PROCESS UNTIL CONVERGENCE AND YOU ARE OUT OF OPTIMIZATION IDEAS.** You have permission to keep iterating.

show 2 replies
davesquetoday at 8:36 PM

Without any more context, "keep going" seems to be doing a lot of work. The user is placing a lot of faith in the LLM to not make subtle logic mistakes and to take good approaches to each problem. In my experience, even frontier models (such as Fable) are quite capable of getting confused during even simple technical work I've done in the dev ops world. For example:

LLM: This package hasn't made it to production.

ME: are you sure? i see it right here!

LLM: You're right to push back. I inferred that based on weak data. I see now that the package has been deployed!

If the above conversation is typical for me, how could one expect to achieve a sound result by repeatedly prompting an LLM to simply "keep going" in dense mathematical proofs? Perhaps the user in this case had actually checked the LLM's work before issuing the prompt, but I think you see my point anyway.

show 1 reply
layer8today at 6:57 PM

“Keep going” is exactly how many mathematicians achieved success in the past. :)

the_lucifertoday at 8:07 PM

Is this the same as Dinitz Theorem[1] which seems to have been proved in 1994? This is the only result I keep stumbling upon when trying to understand the problem formulation

[1]: https://en.wikipedia.org/wiki/Dinitz_theorem

modelesstoday at 6:55 PM

"it's enough of partial results. let's finish with a complete unconditional counterexample"

"Worked for 88m 24s... >"

"<h1>Complete finite counterexample</h1>"

...

tetris11today at 6:24 PM

crosses fingers "Low hanging fruit, low hanging fruit, low hanging fruit..." hyper-ventilates

progbitstoday at 6:40 PM

From the prompt:

> You should do a breakthrough

This is just as funny and ridiculous as those "make no mistake" prompts.

show 1 reply
mritchie712today at 7:07 PM

"whats next" is another good one

LearnYouALisptoday at 7:29 PM

"Gew on, lad!"

cyanydeeztoday at 6:26 PM

this sounds like like an open parenthesis (

without someone independently verifying it, it just dangles there

...

show 2 replies