> Across all attempted problems, the agents sent 4.9 million messages and used about 300 billion output tokens

Don't even try to do the math on how much that would cost at normal API prices. And we don't even know how much more expensive this internal-only model would be!

▲

hmate9 8 hours ago | parent | next [-]

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

▲

lanthissa 8 hours ago | parent | next [-]

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.

▲

denverllc 8 hours ago | parent [-]

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.

▲

baq 6 hours ago | parent | next [-]

Bear case? I’m sorry?

70x uplift is a bear case?

▲

Kotlopou 7 hours ago | parent | prev | next [-]

Where did you get the human figure?

▲

jiggawatts 4 hours ago | parent | prev [-]

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

	▲	abathologist an hour ago \| parent [-]
		> 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.

▲

abathologist an hour ago | parent | prev | next [-]

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.

▲

pred_ 8 hours ago | parent | prev [-]

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.

	▲	novia 8 hours ago \| parent [-]
		They said in the post that they are NOT claiming the prize

▲

gcr 8 hours ago | parent | prev [-]

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.

▲

SJMG 7 hours ago | parent [-]

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

	▲	baq 6 hours ago \| parent [-]
		Doesn’t matter for us.