"On average, each result used three hours of ChatGPT Pro thinking compute with that model. Over the course of the evaluation, the model was posed approximately 4,000 problems. Aggregating the output into result families and manuscripts and requiring an appropriate level of significance led to the catalog outlined above."
I will note that this includes the Quasi Riemann Hypothesis. The model that solved NS was significantly dumber and less efficient that OpenAIs more recent math-models and you shouldn't over index on "it's expensive now". AI has advanced so quickly that your <2 month old opinion is out of date by 5+ orders of magnitude!
Being that OpenAI has done most of this on models that are not released, I don't think you have either...
The other thing you're not looking at is mathematics is becoming a means of actual training a model versus just something to try out.
As long as the raw proofs, potentially ai generated, are available a lot of less funded mathematicians can still use them to generate understanding and created new programs to be resolved with new ai aided mathematical experiments.
My assumption (based on perceived human nature) is that the raw proofs will not be made available.
If all of the important credit goes to the person who attached understanding to them, I'd assume those with the money to take the first step will keep the AI proofs secret until they believe they have adequately done the follow-up that will give them the lion's share of any credit.
It was not some great awesome fair thing that math was dominated by some outrageous outliers on the iq spectrum. It's not some great awesome fair thing now either.
I'm not a mathematician at all, so yeah I certainly didn't have a chance.
> It was not some great awesome fair thing that math was dominated by some outrageous outliers on the iq spectrum. It's not some great awesome fair thing now either.
I don't see these as equivalent circumstances. For most people if they get beat by someone smarter or someone stronger, it may be disappointing but they can still respect and admire that they were beat by talent/determination/etc.
Getting beat due to access to money just feels slimy, because at some level we all realize money is not distributed on a meritocratic curve at all, at least not if you are measuring values any well-adjusted person would consider positive.
Rawls had a concept of the "veil of ignorance" which is probably better for thinking about fairness rather than "meritocracy". No one should lose sleep over the fact that the tiny number of corporates with enough capital can now beat out the tiny number of 180 iqs at a task (mostly generating proofs) that is not really valuable.
This is a weird framing. To begin with you didn't need a 180iq to work with math. What AI is doing though is making it so that an even smaller part of the population can work with intellectual, fun jobs and even more wealth gets concentrated to a small elite. That is absolutely something we should lose sleep over.