I kid, of course, but I do wonder where the use of local "maximum" comes from, what is maximum there? Why do you not see this as a landscape of hills and valleys where marbles with certain energies may indeed get stuck in deep enough holes... Of course, I just assume and picture gravity pointing down in that landscape, but hey. I'm human, I feel it is expected of me.
Wherever we can recognise a problem we can solve it.
And plenty of things, eventually solvable, can create major problems that could both be avoided and the problem solved by taking a much better path.
Having technology and the ability to safely and sanely use the technology needs to progress together at a similar rate. The failure to do this is even a reasonable and common solution to the Great Filter. Jared Diamonds book “Collapse” has ample examples of cultures that wiped themselves completely out via not having this balance, so it’s not simply a theory.
It works this way with research, with most following the current trends, and some curious souls searching around for other ideas, be they contrarians, dreamers, or just convinced of some strange truth. But if we're right, signs tend to slowly begin to point their way, and we can shift the whole hulking edifice of science towards their point of view.
The problem of llms is that while they may be able to find a shorter route, we can't follow them unless we understand the route. So the forces that slowly begin to change everyone's behavior are lost
> AI offers the potential of enhancing and accelerating genuine mathematical study and understanding. Mathematics as a profession will need to adapt to these changes in several ways. However, whether these changes ultimately benefit the field or have a destructive effect will in large part be determined by the decisions of the humans in control of this new technology.
And unfortunately mathematics is much more fundamental to human endeavor than this.
This is the 'stochastic' part of 'stochastic gradient descent,' and it's as important for human minds as it is for ANNs. These math wizards seem to be stuck in a rut of their own digging.
Pro tech people: technology removes bottlenecks. Sometimes we use those bottlenecks as a side effect to build muscle and so on. But removing bottlenecks gives us much higher degrees of freedom. It is up to us to coordinate and make use of the technology.
Anti tech people: bottlenecks are fundamentally useful. They should remain and technology shouldn't remove those so easily. Humans cannot coordinate as well when the bottlenecks are removed, so lets not remove them so quickly.
> … the push by AI companies to solve mathematical problems as a benchmark is detrimental to the science of mathematics, and to the mathematical community. The goals of the AI companies and the goals of the mathematical community are severely misaligned.
That's literally all there is to it - they don't believe in the rearrangement.
1) Coordination is hard, and 2) "us" is a hopelessly nebulous term that appears inclusive but is almost always exclusive.
I think people would have said the creation of social media platforms like Facebook was neither good or bad, but rather it was "up to us to coordinate and make use of".
But did our society really have a say over how Facebook and other social media sites were able to embed themselves in our everyday lives? I would argue the answer is no.
I think you've set up a false dichotomy. I'd propose to you the middle ground that a lot of us are concerned that VC-backed AI slop is "solving" problems in indigestible ways that hollow out the core. This applies in OSS as well as mathematics.
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.