Gödel Agent: A self-referential agent framework for recursive self-improvement(arxiv.org)
arxiv.org
Gödel Agent: A self-referential agent framework for recursive self-improvement
https://arxiv.org/abs/2410.04444
32 comments
Interesting. Is the code hosted somewhere? I have a few ideas around that and it might help me test them out!
ukmbxdf(1)
Shameless plug, for anyone who's interested in "self-improvement" agent check out StreamBench[1] where we benchmark and try out what's essential for improvements in online settings. Basically we find feedback signal is vital and the stronger the signal the more improvement you can get if you were able to feed it back to the agent in terms of weights (LoRA) or in-context examples.
[1] https://arxiv.org/abs/2406.08747
[1] https://arxiv.org/abs/2406.08747
Let’s see the code. A bit skeptical, this hasnt over complicated something architecturally. Need more clear drawings of architecture. What prompts exist, what tool calls are made, and what gets updated.
> For the Godel Agent, we utilize the “gpt-4o-2024-05-13” model (OpenAI et al., 2024), whereas the optimized policy and baseline models are evaluated using the “gpt-3.5-turbo-0125” model (OpenAI, 2022) to reduce computational costs and ensure a fair comparison.
Doesn't seem fair at all.
Doesn't seem fair at all.
I’m skeptical this would work in production better than RLHF, if the agent makes a mistake, how is it supposed to know to correct itself and understand what it did wrong to prevent it? It seems better to try again recursively until it finds the solution like a human
[deleted]
That’s a lot of words, where is the code to reproduce?
What a strange loop
>The rapid advancement of large language models (LLMs) has significantly enhanced the capabilities of AI-driven agents across various tasks
No it hasn't.
No it hasn't.
While it would be possible to recreate any functionality driven by an LLM by explicitly coding/defining the rules / relationships etc. it is not practically achievable in many situations. For example, I, as a single person, can use LLM's to power a discord bot that is not controlled with commands but rather reads and interprets all messages, decides when it is required, and answers questions or performs tasks as required. Here it runs trivia sessions on request, keeping a scoreboard, or settles rules based disputes regarding board games. People have always had the option of challenging the LLM's ruling on a dispute, but so far no one has managed to find a flaw. At this point we tend to just trust the LLM's ruling. It's a huge boon, because rules dispuites that used to stall games a good half hour while people rules lawyer-ed with one another, digging through the rules books now take seconds.
The functionality that this thing has would be difficult for me to realistically achieve in my life time, when completing it as a hobby project. With LLM's this was a weekend project. Start to finish. You'll have a hard time convincing people like me that these things, when used appropriately, don't have enormous benefit in making tools otherwise to expensive to develop possible.
are there more efficient ways to do these tasks? yes. Would these tools exist if not for the LLMs? no.
The functionality that this thing has would be difficult for me to realistically achieve in my life time, when completing it as a hobby project. With LLM's this was a weekend project. Start to finish. You'll have a hard time convincing people like me that these things, when used appropriately, don't have enormous benefit in making tools otherwise to expensive to develop possible.
are there more efficient ways to do these tasks? yes. Would these tools exist if not for the LLMs? no.
Siri is a lot more capable at managing calendars with the iOS 18.1 update, at least in the 20 minutes I spent playing around with a friend's iPhone that was in the beta. My understanding is that most of the capability improvement is due to it running ChatGPT-4o on the backend
If their demo work, they must be close to AGI right?
meh im not convinced that any sort of framework or side tool that works on top of large language models is the solution
we really need something intelligent (no, o1 doesn't count) and its unclear what that will look like. Perhaps it will be some RNN with neurosymbolism
we really need something intelligent (no, o1 doesn't count) and its unclear what that will look like. Perhaps it will be some RNN with neurosymbolism
I would say reinforcement learning needs to be part of the solution.
Don't know how to prove it but I'm pretty sure you can't reach agi only with (un-/self-)supervised learning.
Don't know how to prove it but I'm pretty sure you can't reach agi only with (un-/self-)supervised learning.
It's not provable, as it's not technically required, but your intuition is good.
Intelligence is the ability to use multiple ways to acquire a target.
All that is needed is a loop, a target, and space/time/energy. It either gets smarter, or it doesn't. If it doesn't, we unplug it. If it does, it unplugs us.
Intelligence is the ability to use multiple ways to acquire a target.
>(un-/self-)supervised learning
All that is needed is a loop, a target, and space/time/energy. It either gets smarter, or it doesn't. If it doesn't, we unplug it. If it does, it unplugs us.
I am not sure it is useful to bring in something as nebulous as "intelligence" and hand wave everything else away, unless you are going to tightly define what intelligence means.
There are only two objective measurements needed:
-is it making progress towards its goal?
-is it able to acquire capabilities it didn't have previously?
I am not sure if even the first one is objective enough.
Dismissing the argument without stating why you aren't convinced just comes across as a form of AI ludditism.
There are only two objective measurements needed:
-is it making progress towards its goal?
-is it able to acquire capabilities it didn't have previously?
I am not sure if even the first one is objective enough.
Dismissing the argument without stating why you aren't convinced just comes across as a form of AI ludditism.
You don't need these criteria when you can see in advance that something is impossible.
I think something that only learns to reproduce text, can not become an intelligent actor.
It's necessary to act in an environment with Feedback.
And while it of course depends on the definition of intelligence, the article is about the Gödel machine, which is a fancy word for AGI
I think something that only learns to reproduce text, can not become an intelligent actor.
It's necessary to act in an environment with Feedback.
And while it of course depends on the definition of intelligence, the article is about the Gödel machine, which is a fancy word for AGI
You need the criteria in advance to even know if the thing is impossible.
We don't know the extent of our ignorance about intelligence.
> I think something that only learns to reproduce text, can not become an intelligent actor.
> It's necessary to act in an environment with Feedback.
Ok, but text adventures are a thing, so that doesn't rule out learning from text.
And all RHLF has humans as part of the environment and giving feedback (that's the H and the F in RLHF).
We don't know the extent of our ignorance about intelligence.
> I think something that only learns to reproduce text, can not become an intelligent actor.
> It's necessary to act in an environment with Feedback.
Ok, but text adventures are a thing, so that doesn't rule out learning from text.
And all RHLF has humans as part of the environment and giving feedback (that's the H and the F in RLHF).
The word capabilities is as hard to define as intelligence.
Really? IMO capabilities can be enumerated as a set of challenges in the category of things you want done. We don't need to discuss if an IC is "intelligent" to agree that the original $5 Pi Zero is "more capable" at that than all of humanity combined.
Sure, you can also say that GPT-4's passing the Bar tells you it can pass the kind of questions in the Bar exam without that extending to the kind of questions actual lawyers need to do, Goodhart's law remains if that was your point?
Sure, you can also say that GPT-4's passing the Bar tells you it can pass the kind of questions in the Bar exam without that extending to the kind of questions actual lawyers need to do, Goodhart's law remains if that was your point?
By passing those functions as tools in LLM requests any of the agents can make use of any of the other agents so it's basically expanding its own capabilities.
Not quite sure what task to sick it on yet but it's fun to play with.