I wonder what the total cost of this research was, including the salary for their mathematicians and engineers.

kingstnap 2 hours ago | parent | next [-]

Why would you factor in salary unless they had to baby it through. You would only count the hours for setting up the harness and prompt and checking the result.

Training the model is going to be amortized over other uses.

	▲	emil-lp an hour ago \| parent [-]
		> Why would you factor in salary Say that it turned out that the total cost of the proof of the Erdős unit-distance conjecture was $50 million. Then the question really becomes: yes, these models are capable of proving important mathematical results, but at a very high cost. Is it worth it? If a mathematician applied for a research grant of $50M USD for proving the same thing, they would have been laughed out of the bank. What's more is that when you have a research grant, you train PhDs and postdocs, you hire new staff, and you disseminate. That is, you get much more value for the money spent. I'm just curious what the cost is.

▲

traes 5 hours ago | parent | prev | next [-]

Given that OpenAI pays their employees with stock surely a breathtaking number, but not a very meaningful number now that the infrastructure is in place and the models are trained. AI could never get better and it would still be incredibly disruptive.

▲

z7 5 hours ago | parent | prev [-]

> The cost of generating the proofs for all 10 of these breakthroughs combined was under $2,000 at Sol API prices.

https://x.com/polynoamial/status/2083470822258467194

	▲	traes 5 hours ago \| parent [-]
		That's clearly just for the tokens, this doesn't really answer OP's question.