Who is funding this? Sounds like a fun experiment but that’s a huge amount of compute if I understand correctly.
Post-money people with side interests are what built the current western civilization.
Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
41–50 of 119 posts
Re: Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
#42Who is funding this? Sounds like a fun experiment but that’s a huge amount of compute if I understand correctly.
[deleted]
Re: Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
#43Re: Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
#44I'm not sure how to interpret this part: "each running its own GPT-5.6 instance". GPT-5.6 is a closed source model and this seems to be a personal project and not something done by OpenAI.
yeah, is it API or codex?
Poor wording on my end, thanks for flagging. I pull the OAuth refresh token from each Codex account into a custom broker, which mints short-lived access tokens per request and load-balances across the pool.
Re: Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
#45Have people tried these on Millenium problems.. letting it run all night? You never know.
yeah, im currently running the system on navier-stokes (making real progress).
Unfortunately P vs NP, on the other hand, is going to have to wait for GPT 7
Re: Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
#46I didn't know people could just have GPT running on their own hardware. How does one...do that? Do you have a special relationship with OpenAI and they lock down your servers or something?
I think they meant they just ran a different context per invocation, not that they hosted the model themselves.
apologies, bad wording/explanation. As addressed in another comment: "Poor wording on my end, thanks for flagging. I pull the OAuth refresh token from each Codex account into a custom broker, which mints short-lived access tokens per request and load-balances across the pool."
Re: Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
#47I was studying Erdos problems by only taking ChatGPT 5.5 outputs and just asking it to keep on attempting to solve it by asking it to go further. I haven't started doing this with chatgpt 5.6 I have some partial results here https://chatgpt.com/g/g-p-69f03400f420819192418b18ca90ffee-d... What was really interesting is that during the process it was able to find lemmas or theorems that might be related or relevant to…
I haven't played around with Aristotle at all, thanks for bringing it up & (also your codebase, thesisus, is very solid!)
Re: Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
#48Very interesting, on many levels: first, the raw additional compute / search harness is worth reading about; huge numbers of Lean 4 theorems, thousands of vCPUs available for spreading out search, embedding databases of proofs, all very interesting. Second, the proofs -- I understand the Lean 4 proofs to be refereed by Fable, and generated by Chat 5.6 Sol. Unlike the leaked proof of the Cycle Double Cover Conjecture…
This reminds me of certain simple but addictive video games: "What are these virtual coins good for?" "You can buy better equipment" "Why do you need this equipment?" "To get more virtual coins of course!"
Re: Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
#49Re: Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
#50Earlier quoted context omitted.
This is a self funded weekend project for me. It's not associated with any employer (:
> dedicated 60-vCPU server How many of these are you paying for out of pocket??
When I looked into this a year ago, it was like €60/mo through Hetzner auction. Might be more now but even if it's double or triple it's not that crazy for a hobby.
If you built yourself out of used parts you could do it for under a grand back then too.