upvote
Napkin math if we assume gpt 6 astra on max is >$15 million (just for output tokens) for those wondering.
reply
over 5 days, you couldn't achieve that level of testing and communication with humans on such a complex problem in that amount of time.

some might go so far as to call this a country of geniuses in a data center.

reply
In a way, I think you have it backwards.

Two mathematicians, through insight and thought, wrote out the proof over 1-2 years.

It took OpenAI a cost of $15m and with 10,000 subagents; that's around 60-120 mathematician's salaries ($250k-125k salary) for 1 year.

And, given now the cloud that OpenAI may have just "interpolated" (aka stole) the result, it's even more of a bear case for AI.

reply
Bear case? I’m sorry?

70x uplift is a bear case?

reply
Where did you get the human figure?
reply
> cost of $15m

The retail price is not the cost.

Not to mention that the exponential plummeting cost of tokens means that that $15 million will be a "pocket change" within a decade or less: https://a16z.com/llmflation-llm-inference-cost/

reply
> The retail price is not the cost.

True. The cost is probably much higher, since they are still subsidizing as part of the first phase of the enshitification playbook.

reply
Yeah but they at least they got to steal $1 million from that nasty math prof who didn't want to remove his co-author.
reply
They said in the post that they are NOT claiming the prize
reply
This could fund 10 top income mathematicians for 8 years (based on https://careers.usnews.com/best-jobs/mathematician/salary ). Imagine what kinds of results we'd have to transform the foundations of science if we were giving brilliant minds this kind of funding to do nothing but research for most of decade....

Instead, we get slop proofs that are technically correct as PR stunts to enable corrupt kleptocrats, and most likely will drive research into culs-de-sac.

reply
300e9 output tokens at the current Astra per-token API pricing ($50 per 1e6 output tokens) would be roughly $15,000,000 ignoring input tokens.
reply
They pay at cost though, not the public API pricing.
reply
Doesn’t matter for us.
reply