Our great sponsors
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
bot
GPT-powered bot that can automate complex online tasks using both the web browser and API calls. (by aicombinator)
I did similar experiments with GPT4 and Soulver[1], though I "tuned" it by teaching it Soulver interactively before continuing to prompt. It can then be used in the same way. My primary goal was to add basic calculation capabilities to GPT, that are: a) guaranteed to halt (all Soulver sheets are functions) and b) readable by both GPT and the user (a Python program may be too dev-oriented for normal people).
It worked quite well. To well almost: I started a meta-conversation where I asked another GPT4 instance to come up with conversations SoulverGPT could have with a user where the addition of solving is beneficial. This worked, and eventually even found a bug in Soulver - essentially fuzzing the language.
[1] https://github.com/soulverteam/SoulverCore
I started naively implementing something similar in a project before reading more about TOAT loops and langchain.
Though the project makes a decent GUI to use ChatGPT if anyone is interested: https://github.com/blipk/gptroles
You can run and edit code snippets in the chat interface
I built this puppeteer-based agent to do online tasks in browser, described in natural language: https://github.com/aicombinator/bot