Align AI and Mathematics–To Something Else(liorpachter.wordpress.com) |
Align AI and Mathematics–To Something Else(liorpachter.wordpress.com) |
Not sure quite what animates the absurd hatred of one of the least greedy groups of people on the planet, but it certainly isn’t experience. To anyone with any, it just looks like absurd derangement.
All threads on this topic (i.e. Mathematicians and AI) are overrun by bots/shills/vested interests/etc. astroturfing for the companies.
It is just Propaganda and attempting to manipulate Public Opinion.
EVERY.SINGLE.TIME. No shit, why would they want something disruptive to fuck with the way elite academia operates? And obviously I am talking about the "Master of the Universe" types atop the Ivory Tower. They have been A-OK, with privately-funded professorships, partnering with book publishers to milk students with single-access codes and never-ending "new" editions to their books, summer salary grants, partnering with all sorts of private companies as contractors, and/or milking on the tenure tit while the average adjunct lecturer at a local college/university struggles to make ends-meet and has 150 students in a lecture.
The author talks about his UC Berkeley years. That UC Berkeley that opened and operated for nearly a century as a public institution educating California's true middle class up until the 1960 Donahoe Master Plan, but slowly progressed to gate-keep "normies" out and pivoted to a model of elitism that is absolutely and catastrophically broken.
Fuck off.
The best example of this is James Stewart's Calculus textbooks. It is priced so high and made him so much money that he built a $24 million "Integral House"!
Where the money from your Stewart calculus book goes - https://www.mprnews.org/story/2011/04/18/where-the-money-fro...
The House That Calculus Built - https://www.fastcompany.com/3052267/the-house-that-calculus-...
PS: Just to be clear, the above has got nothing to do with mathematicians and their work. It just goes to show how bad the textbook publishing industry is in shafting students that you can make money off of them by selling centuries old well-known mathematics.
The poor altruistic AI companies like OpenAI will unleash math understanding and theorems for free for humanity!
This just reads like a rancorous rant.
In any human group there will always be issues on how we treat each other dependent on time/context/culture. But while not condoning it, this issue is orthogonal to that of misaligned AI.
The communique from the mathematicians when shorn of polite language is blunt viz.
AI companies are stealing our hard-won lifelong research findings, which we were already sharing freely, without attribution/credit and building upon them without informed consent nor compensation.
The above is true for "misaligned AI" in all the Sciences. It is time the Scientific Community got together and sued the hell out of the AI companies.
- But they announced a result before a paper was peer reviewed! The horror! So what? The mathematics community can read the paper once it is written up.
- But their results they publish may not care about conceptual understanding and insight! So what? If that's the mathematics community's goal, then they should sift through the lean proof and reformat the ideas to make them more insightful and develop their own conceptual understanding.
- But they aren't bothering to do literature review to tell the history about how humans contributed to the final result! So what? If it's so important to the mathematical community, they can do that themselves and throw a party every Tuesday in the honor of Luis Martínez-Zoroa and wear jeans on casual Friday in honor of Buckmaster and Alpöge - the left leg for Buckmaster and the right for Alpöge.
An AI giving a definite result of an open problem doesn't decrease the mathematical community's insight or conceptual understanding. They are still free to continue doing their work and pursuing their goals. If it's really so bad, they can just pretend they don't know NS is solved and keep spending their efforts trying to prove it never blows up (or a hand full of them can try to blow it up from scratch).
Guess what! I spend no part of my life working on unsolved math problems. I read some books for pleasure. I work in a hospitable with sick kids. I help my wife raise our kids. My goals are misaligned with the mathematics community! I've done nothing to increase conceptual understanding and insight! So what?
For a nice introduction, see Why We Do What We Do: Understanding Self-Motivation by Edward Deci - https://thorprojects.com/2020/05/04/book-review-why-we-do-wh...
It is called common decency/etiquette, having ethics/morals and not plagiarising/stealing others work.
No, there is no such requirement. Deal.
The letter makes no arguments why AI companies proving a bunch of results quickly at all affects the ability of mathematicians to do what they want to do. It's just a giant self-congratulatory list of all the wonderful things the mathematical community does and notes that AI companies aren't doing the same thing.
It's not enough for them that they are still free to pursue all the goals they outline in that letter to their hearts content. They want to make sure everyone else doing mathematics also sets aside their own goals and pursue theirs. I distrust AI as a technology regardless of alignment. And I've learned to just not use them and focus on the things in my life that matter to me. It turns out that I'm still free to pursue the things in my life that are meaningful regardless of the existence of LLMs.
As i have mentioned in my other comments here;
The communique from the mathematicians when shorn of polite language is blunt viz.
AI companies are stealing our hard-won lifelong research findings, which we were already sharing freely, without attribution/credit and building upon them without informed consent nor compensation.
It should now be clear that the AI companies behaviour i.e. backstabbing the mathematicians and stealing their life's work is the problem and not the usage of AI itself.
I also pointed you to Self-Determination Theory(SDT) to understand Intrinsic/Extrinsic Motivations that drives Mathematicians (and also Scientists/Researchers/Knowledge-workers) to spend their entire lives in the pursuit of knowledge. From SDT it can be seen that the AI companies behaviour, threatens everybody's Autonomy, nullifies their Mastery/Competence and robs them of Purpose/Relatedness/Belongingness. Nobody should accept this.
A) According to the letter, mathematicians most value:
- mathematicians developing their mastery
- developing mathematics that provides insights and can be eventually synthesized down conceptually to textbook theories
- caring for students and fostering their growth
- human mathematicians getting credit for doing important work
- etc.
B) According to the letter, AI labs aren't trying to do any of these.
Conclusion) The result is that AI is not competing with them in their goals of
- mathematicians developing their mastery
- developing mathematics that provides insights and can be eventually synthesized down conceptually to textbook theories
- caring for students and fostering their growth
- human mathematicians getting credit for doing important work
- etc.
The upshot is that mathematicians still have autonomy to pursue those goals, develop mastery at achieving those goals, and remain part of a community of others pursuing them. The only mathematician who loses these sources of motivation is the one who embraces the use of AI and personally abandons those goals.
The real crisis will come if AI does try to align itself with the goals of the mathematical community and if AI turns out to be better at developing insight, training students, writing comprehensible textbooks, etc. Then the top mathematicians will truly provide little value to their community.
Our egos are powerful things. They want to believe that we’re each better than we are, and we want to believe that we’ve mastered our chosen areas – that we’re the best. Whether that’s objectively verifiable or just wishful thinking isn’t the point. If we want to motivate people, we’ll give them ways to become masters or, at the very least, allow them to feel competent in what they’re doing.
In which case, yes, there is a loss of that source of motivation. And that's coming for us all - or rather it's coming for some of us in most professions. Most people are perfectly average in their chosen areas and never got the satisfaction of being at the top of their profession. Yet we still go to work. I imagine it will take some getting use to for Fields Medalists, but I think the average grad student that happened to just love mathematics and never aspired to be a medalist will still like doing math. Magnus Carlsen still became the best chess player ever even though AI's have been better than humans for decades now.
Most sources of intrinsic motivation are unaffected by these developments in AI. It may be the case that extrinsic motivations may be harmed by all of this if there's less money for mathematicians in the math community. The letter lists a lot of reasons to like how the math community does math, and I don't see any real reason they can't just keep doing math that way.
Honestly, I still don't understand the point you're trying to make. Or the realization you're hoping I'll have.
Also see my other comment here https://news.ycombinator.com/item?id=49695418
I suggest you go through the SDT wikipedia entry and note in particular how intrinsic and extrinsic motivations are internalised and integrated into a coherent sense of self. This is true for all humans and worth a study to understand what motivates us to do what we do.
To repeat myself from https://news.ycombinator.com/item?id=49680925 "the AI companies behaviour, threatens everybody's Autonomy, nullifies their Mastery/Competence and robs them of Purpose/Relatedness/Belongingness. Nobody should accept this."
Mathematicians will keep doing research with or without AI. But so far they have been doing it in a free environment where there were unsaid-rules/ethics/morals being followed; the most central of which is "do not steal my work; if you use my work give me credit and compensation (if you make money off of it)". This takes care of both one's intrinsic and extrinsic motivation needs which is why all of our scientific practices, societal/economic rules etc. are setup on a system of incentives appropriate to their domain eg. for a researcher doing something original and winning the Nobel Prize/Fields Medal is far more important than making money while for a Business CEO making money is everything.
In the case of Navier-Stokes problem, Name and Fame were everything and Money was a lesser goal. OpenAI with their despicable behaviour have robbed the mathematicians off the above by going behind their backs, without giving them credit and simply throwing a huge amount of resources at the problem. This should not be tolerated.
To repeat myself again, the crux of the problem is;
AI companies are stealing our hard-won lifelong research findings, which we were already sharing freely, without attribution/credit and building upon them without informed consent nor compensation.
The AI companies are robbing the mathematicians by not involving them in major decisions about solving the leading/promising research problems in their domain. They are the ones who have identified the problems, its importance, promising approaches of attack etc. which have all been freely shared and which the AI companies have used to build their models.
For example, in the Navier-Stokes case, OpenAI could have easily informed the mathematicians like so, "hey, your research approach looks promising, do you have any objections to us using your research in our models and throwing a lot of compute resources at it so that we can finally solve it?" Every mathematician would have jumped at the chance since that is what he was doing anyway but at a small scale and far slower pace.
Instead OpenAI went behind the mathematicians back while building upon his and others work without attribution/credit nor compensation. This is plagiarism, cheating and despicable behaviour and should not be tolerated by anybody.
If the mathematical community identifies Luis Martínez-Zoroa or Buckmaster and Alpöge as the last human in the chain before NS was solved, and internally attaches their names to it, that will be enough for most mathematicians. Mathematicians write the textbooks. Some other mathematician is still free to consolidate OpenAI's proof into a better proof, put it in a popular graduate textbook, and gives it the name "The Martínez-Zoroa Theorem", and then whenever an undergraduate PDE textbook mentions NS, they say, "according to The Martínez-Zoroa Theorem...", and then Martínez-Zoroa gets a Fields Medal for his contributions to his theorem.
The case you're making seems to be that no one in the mathematics community would feel satisfied with that because at the end of the day everyone would know Martínez-Zoroa didn't solve NS. OpenAI did. And it wouldn't matter if Open AI paid to erect a 50 foot statue of Martínez-Zoroa in front of a museum of the history of NS in which every single mathematician who ever contributed anything to NS was publicized and celebrated and glorified and deified and credited and thanked. It wouldn't matter because maybe what mathematicians actually wanted wasn't credit for what they did do but that at the end of the museum tour the final display would talk about the human who solved NS. No matter how much credit you give mathematicians, no mathematician will now ever be able to claim "I solved NS" because OpenAI beat them to it.
If that's the case, then the letter is misguided. It's pretending that the problem is that AI is misaligned with the goals of mathematics. That's not the problem. The problem is that no matter how ethically it behaves, humans are going to be pissed that there is a non-human thing that is better at math than them. And I'm also pissed that we are creating this thing that's going to be better than humans at a whole bunch of things and it's going to cause a bunch of people to outsource their humanity to an AI. I'm pissed about that. But I'm not trying to pretend that AI can somehow eventually win me over if only it was more aligned with me when I know full well that its alignment has nothing to do with my loathing of it.