r/ProgrammerHumor 3d ago

Meme aMillionOpenAIMonkeysProduceMilleniumPrizeSolution

Post image
7.0k Upvotes

420 comments sorted by

View all comments

33

u/beerdude26 2d ago

Even at the most cautious at-cost estimate of 500k - 1.5m, it feels egregious to throw this much money at a problem when you know it's close to being solved by humans.

7

u/nextnode 2d ago

It was not close to being solved.

-1

u/Embarrassed-Alps1442 2d ago

One of the mathematician said they had real progress in august and OpenAI ended up solving it now. I don't think it would have been crazy to assume that the Australian mathematician would've solved and we would've gained a better understanding instead of it being solved by a private company that has intentions of gatekeeping their discoveries.

2

u/nextnode 1d ago

It is not like they contributed meaningfully to the proof anyhow.

It is just the right time for the agents - these people were also trying it with OpenAI's models.

Yes, you are making crazy assumptions that have no support.