Why can't OpenAI publish whatever it wants. And the math community can use it or not use it. Fundamentally OpenAI's solutions are high signal - they are incentivised to not deliberately mislead people. Let the individuals in math community choose to read it or understand it? If OpenAI wants to publish something, let them do it in the current channels using peer review using whatever time is required.
What's wrong with this? The math community thinks this will destroy previously unwritten ways of prestige allocation and remove incentives that used to exist. I say that the community can rearrange and allocate prestige and time in different ways to maximally use the technology.
But many folks just won't be motivated to attack or help digest solved problems because there's less extrinsic value in doing so. Tao and others argue that it's this human effort that finds human-relatable abstractions which spurn further investigation. Take the humans out of the loop, and they'll stay there, is the argument as I understand it.
“Don’t help me solve my problems because it removes the incentive to be in this field” is how I hear it. Honestly.
I would say the incentives HAVE to change because of new found capabilities.
Imagine accountants asking companies to reconsider producing calculators because we used to value accountants for how well they did arithmetic!!
Edit: my main point is that the math community has full agency to do what it wants with new found tech. Instead, asking to change external entities like OpenAI to be careful with releases is a strange thing to do. Why not change yourself and adapt?
You're describing an improvised surgery on a living organism. Developing a complex system involving humans that is productive and doesn't collapse is extremely hard, so if it ain't broke don't fix it.
Why can’t the letter say “guys new tech dropped. We need to reorganise. Understanding is crucial” instead of asking OpenAI to change their process.
OpenAI did nothing wrong, being a Fields medalist does not give anyone a monopoly on the truth.
I'm pointing out that the way Mathematics works as a discipline is that a new proof builds on existing proofs. If we have a bunch of machine-generated proofs, then a human Mathematician has to decide whether to reference any relevant machine proof that has been put out there.
If, as you suggest, human Mathematicians 'choose to ignore' a machine proof, then another human decides not to, what then? Mathematics bifurcates into 'pure human' proofs and 'mixed machine-human' or maybe 'pure machine'?
Imagine accountants saying the same thing against calculators. They had to adapt. So do mathematicians. So do I in software development.
Then consider that "just adapt" could be "adapt or die", and that maybe, just maybe there is no way to adapt to well-funded corporations churning out millions of proofs a minute.
I don't know, maybe AI companies have "agency" to not break everyone else's stuff, just to get more funding and a higher share price?
The "math community" is not an isolated entity that is free from the confines of society. It's made up of lots of people who coexist in a system that requires you to assert your right to live.
Furthermore, the "math community" is overwhelmingly supported by outside donations to keep it running. That's not to say people don't practice math for the fun of it, but that if you're researching problems like Navier-Stokes, you almost certainly are being paid by another party to do so. But those parties may hold new forms of technology over the professional mathematicians head in the name of "productivity", or they may even believe in light of this tech that paying a human to practice math is no longer worth it.
Therefore, mathematicians find themselves coerced by the market to adopt new tools in order to get by, even if the mathematical community largely finds it distasteful.
If the math community was previously not entirely aligned with what society was expecting, and these changes threaten that previous arrangement, that sounds like a "you" problem for math, not a problem for OpenAI.
If they can't align with society's needs and demands then some creative destruction is coming their way.