← Back to context

Comment by hmate9

17 hours ago

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.

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.

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.