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 5 hours ago | parent | next [-]

Bear case? I’m sorry?

70x uplift is a bear case?

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

Where did you get the human figure?

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