← Back to context

Comment by draxen

6 hours ago

>1. How much did it cost?

>2. Would an equivalent allocation to incentivize human effort have borne the same results?

Unlike their initial massive brute-force run that solved the Navier–Stokes Millennium Prize Problem, most of their subsequent breakthrough results in mathematics have come from a single prompt to a single AI agent, using approximately 3 hours of ChatGPT Pro-equivalent thinking compute per result on average.

5 comments

draxen

Reply
gewetensleegte  3 hours ago

> most of their subsequent breakthrough results in mathematics have come from a single prompt to a single AI agent, using approximately 3 hours of ChatGPT Pro-equivalent thinking compute per result on average.

but that would mean anyone could do it, right?

then why are these results coming from OpenAI all the time?

are you saying they're just better at prompting?

gewetensleegte  3 hours ago

> solved the Navier–Stokes Millennium Prize Problem

as far as I know they still haven't claimed the prize, but rather stopped just short of it

they produced a Lean certificate for a math problem, but it's not "solving a Millennium Prize Problem" until they get a human readable version approved and published in a Math journal.

that's the rules for the Milennium Prize Problems.

I would personally sooner say they ruined the Navier-Stokes Millennium Prize Problem, because the last part is important. Nobody in fluid dynamics research has any use for the result specifically because the breakdown singularity happens at a scale smaller than molecules, and they were dealing with that already. The Millennium Prize Problems exist to encourage mathematics, not to pull the rug on it.

  • zamadatix  1 hour ago

    They will never claim the prize for any Millennium Prize problems because the blowback for asking for the prize would be 10x worse than anything they've received about the proof efforts so far. This leads to the joke about the Clay Institute continuing to be on track to never having to pay out the prize money (after the previous drama of the first problem fully solved by humans resulting in the same).

    As a result, I also doubt they'll ever bother to submit these to a journal when they already have the attention and ongoing review of leading mathematicians from around the world.

    Perhaps the most salient part of the Millenium puzzles though is the 2 year acceptance period, where we give a time for that review and consensus (the part that matters, not journals or prize claims) to settle before claiming it solved.