News for hackers. Stuff that matters.

A comment on Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel.

Re:Solving 20 Erdős Problems with 20 Codex Accounts Running ... by orlandpm on Tuesday July 14, 2026 @09:41PM (#48915229)
Who is funding this? Sounds like a fun experiment but that’s a huge amount of compute if I understand correctly.
[ Parent | on HN ]
Re:Solving 20 Erdős Problems with 20 Codex Accounts Running ... by Choco31415 on Tuesday July 14, 2026 @10:03PM (#48915391)
According to a quick google search:

"He is currently CTO at Xinobi AI, a Japan-based startup developing personal AI agents."

[ Parent | on HN ]
Re:Solving 20 Erdős Problems with 20 Codex Accounts Running ... by colin7snyder on Tuesday July 14, 2026 @11:49PM (#48916067)
This is a self funded weekend project for me. It's not associated with any employer (:
[ Parent | on HN ]
Re:Solving 20 Erdős Problems with 20 Codex Accounts Running ... by orlandpm on Tuesday July 14, 2026 @11:59PM (#48916147)
> dedicated 60-vCPU server

How many of these are you paying for out of pocket??

[ Parent | on HN ]
Re:Solving 20 Erdős Problems with 20 Codex Accounts Running ... by cybertim on Wednesday July 15, 2026 @12:39AM (#48916359)
I own a dedicated 48vCPU with even 160GB RAM.. its not that expensive, check ebay, maybe now with mem prices it will be a bit more steep but as a hobby it's not crazy to think one owns such a piece of hardware. My dual GPU setup was more expensive I think.
[ Parent | on HN ]
Re:Solving 20 Erdős Problems with 20 Codex Accounts Running ... by AussieWog93 on Wednesday July 15, 2026 @02:30AM (#48917000)
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.

[ Parent | on HN ]
Re:Solving 20 Erdős Problems with 20 Codex Accounts Running ... by barrenko on Wednesday July 15, 2026 @01:24AM (#48916588)
Post-money people with side interests are what built the current western civilization.
[ Parent | on HN ]
Re:Solving 20 Erdős Problems with 20 Codex Accounts Running ... by Ar-Curunir on Wednesday July 15, 2026 @01:57AM (#48916773)
No, underpaid nerds have built modern civilization.
[ Parent | on HN ]
Re:Solving 20 Erdős Problems with 20 Codex Accounts Running ... by TOMDM on Wednesday July 15, 2026 @02:33AM (#48917019)
No, the people growing their food built modern civilization.

(Or millions of disconnected stakeholders with different incentives collectively built modern civilization, but who wants to put that on a bumper sticker)

[ Parent | on HN ]
Re:Solving 20 Erdős Problems with 20 Codex Accounts Running ... by abc123abc123 on Wednesday July 15, 2026 @06:36AM (#48918769)
No people procreating built civilization.
[ Parent | on HN ]
Re:Solving 20 Erdős Problems with 20 Codex Accounts Running ... by pfdietz on Wednesday July 15, 2026 @07:13AM (#48919094)
I thought it was Sid Meier.
[ Parent | on HN ]
Re:Solving 20 Erdős Problems with 20 Codex Accounts Running ... by psychoslave on Wednesday July 15, 2026 @06:44AM (#48918823)
Nature created people and the metaphysics in their heads.
[ Parent | on HN ]
Re:Solving 20 Erdős Problems with 20 Codex Accounts Running ... by barrenko on Wednesday July 15, 2026 @07:50AM (#48919419)
Yeah, what did I say?
[ Parent | on HN ]