>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.
How would a single agent work that long, the context window would overflow pretty quickly, no?
> 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.
> 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?
Find me a Grand Unified Theory, make no mistakes