alt Hacker News> The cost of generating the proofs for all 10 of these breakthroughs combined was under $2,000 at Sol API prices.
Replies
traes • last Saturday at 8:43 AM
That's clearly just for the tokens, this doesn't really answer OP's question.
> The cost of generating the proofs for all 10 of these breakthroughs combined was under $2,000 at Sol API prices.
That's clearly just for the tokens, this doesn't really answer OP's question.
Yeah sure but they didn't just throw a 5 year old at an LLM with $2,000. If you want good math results from LLMs you need to have math PhDs.