Napkin math if we assume gpt 6 astra on max is >$15 million (just for output tokens) for those wondering.

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.

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.

> 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/

> 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.

Bear case? I’m sorry?

70x uplift is a bear case?

Where did you get the human figure?

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.

They said in the post that they are NOT claiming the prize

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.

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.

They pay at cost though, not the public API pricing.

Doesn’t matter for us.