>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.