Comment by schrodinger
17 hours ago
It’s not. Intent matters.
Imagine there's a very advanced crossword club where anybody can join and take a stab at these crosswords for the love of solving puzzles. Many of them are so difficult that no one's been able to solve them yet, but we know they're all solvable.
One day, someone comes along with a super advanced crossword solver application, and it makes easy work of these crosswords. They run it on a few to prove how powerful it is, and then the community says, "Oh wow, that's cool, but please don't run it on any more of our advanced crosswords because they're very hard for us to come up with, and we really enjoy solving them by hand."
That's really what this compares to. I wouldn't call that gatekeeping; just respect. Respect for the game, respect for people's desire to have these hard problems to continue to work on, solving by hand.
If the company with the super advanced crossword solver then continues to use it and publish the results, they're effectively stealing the crosswords from this community. Soon, all the puzzles will be solved, leaving nothing left for the community to work on for fun.
That doesn't sound like gatekeeping to me. That just sounds like someone asking "Please be respectful and leave the remaining puzzles for us to solve by hand.” A simple plea not to be an asshole.
We don't give mathematicians research positions to solve crosswords for fun. We want something back. We want theories and results that will advance our civilization.
We have people who want to fill those positions because there are enough people who find it rewarding enough. Take away reasons why they would find it rewarding and you will have fewer theories and results that will advance our civilisation.
And yes, fun counts. Nobody said this had to be only a hardship.
Money doesn't work that way though. There are plenty of jobs people would like to get paid to do, that doesn't mean someone needs to psy them to do it.
I'm well aware that if at some point AI is good enough to replace me as a software engineer then I won't have a job. I don't expect a company to continue to pay me simply because I enjoy it if there are cheaper options out there.
Math is no different.
1 reply →
This is really the critical thing: the fun is the incentive. (Or at least the dominant incentive in math, historically.) As economists like to say, the overarching lesson in economics is that incentives matter. Reduce the incentives and participation will decrease.
Perhaps that won't matter if we enter an era where AI participants are the main participants who matter for discovery-level mathematics. But it would likely be what economists would see as a market failure if only a small oligopoly of AI participants, closely held behind closed doors, is able to fill that intellectual role.
I think you are missing the point of the main criticism. It is not about not wanting results in terms of proofs.
New theories and insights are typically created while working out proofs. If proofs now suddenly fall out of the sky (cause LLMs create them) then that work is not done which means the substrate on which new theories and questions and conjectures used to be grown disappears. It's in that sense that the math community (and thereby society as a whole) will lose something.
It's similar to how software engineering will need to find a solution to train their next generation. Current generations have all been through manual steps of designing things from scratch and writing them by hand. That's what allows your 10x engineers to understand whether what their LLM tools are doing is good and how to massage those tools to do the right thing. A junior engineer who has only ever used LLMs to write code and create architectures does not just not have that experience but also won't acquire it. You can't just say "we don't pay them to have fun and learn, we pay them to produce results". In the short term that is the case, but in the long term you as a company and we as a community will lose out.
I'm not saying don't use AI tooling. I'm saying that this is a hard problem which we yet to have to find solutions and approaches to. As a software community as well as as society in general.
"A junior engineer who has only ever used LLMs to write code and create architectures does not just not have that experience but also won't acquire it."
My ego tends to agree, that how can they be ever competent, if they have not endured the same hardships as I had crunching trough problems and getting allmost lost in the details.
But I rather suspect, they will turn out fine. I know LLMs are great for me to learn and I think the young generation will learn what they need to learn to get the job done.
3 replies →
If a modern Gauss, Von Neumann, and Ramanujan appeared and started dropping proofs from the sky, would people be saying the same things? And if they could live forever, so they wouldn't need to train their replacements?
7 replies →
The only thing potentially stopping these models from also outputting new theories along the way is the goal they were given.
I have to assume OpenAI is only prompting to solve problems, presumably they could also prompt to not interesting new theories or paths of research found along the way as well.
2 replies →
I think the crosswords framing is a little silly, but I have to wonder what comes when we use our technology to optimize the fun and interesting parts out of every job. There's only so many years of my life I can dedicate to back-and-forths with a chatbot. What if we advance our glorious civilization but our jobs just get more and more thoughtless and miserable?
I don't know about you, but my job has become a lot more fun ever since it's become a lot more back-and-forth with the robot. It does all the tedious things for me. It gathers data. It creates prototypes. It makes the mechanical code changes that I want. It allows me to talk with it for a design discussion, and then my design simply appears. I ask it for monitoring dashboards and they simply appear. It records what we talked about, which is something that I never do.
Largely I thought that this is what you do once you're established in math (or any field) anyway. You have some ideas, but the details are kind of too tedious for you to work out, so you give it to grad students/postdocs. Senior engineers have some ideas, but the details are tedious to work out, so you give them to junior engineers.
Now, obviously in the meantime, there's the question of how do we train the next generation? Or do we need to train the next generation? And maybe while we work that out the answer becomes more shadowing/apprenticeship instead of farming out easy tasks.
I think that's where people hope some kind if UBI or "universal high income" will save the day. Just don't think too hard about how it would actually be paid for, or how we can all have high income when that's a relative measure and we're all given the same amount of table scraps.
2 replies →
Then work part time, and enjoy your higher wealth to have fun in free time. Don't demand to have your cake and eat it too.
We're going to have a very different perspective on purpose going forward with these results. This has crossed a rubicon where human output itself is going to be completely outclassed by machines and we will have to find meaning elsewhere in life.
Then you don't understand the process at all. You will get something back, you will get an immense amount back. But (almost always) not directly. A mathematician will not suddenly solve a theorem that will enable a cure for cancer or better solar panels or whatever. But working in mathematics will build the gradual understanding that will enable those practical breakthroughs to take place. It's also the most important part of how the people that create those technical breakthroughs will be trained.
This is a really confusing take.
If someone can solve open problems in mathematics then they should do so, isn't it as simple as that?
They should let the public use the models as well, but I guess they have no real moral imperative to do so.
But asking them to stop solving problems is just weird.
If your only measure of advancing is getting an answer, but not building the capability to understand it, then civilization has advanced.
It’s not a human focused civilization, which is where the issue comes up.
As an example: A constant issue I am seeing with AI productivity is that the most productive use of AI is when it is paired with more experienced users, while AI also does more work for entry level workers, if not replacing them entirely. It has become a question where will the future buffer of experienced seniors come from.
This is an example of where simply chopping down trees for today, doesn’t make civilization better off tomorrow.
AI is producing more content than ever before, but our ability to understand and verify it is not keeping pace.
We don’t know if these are unsolvable problems at this stage. Society could come up with workarounds and solutions to these issues in several years.
The request to stop, is part of the process by which the issues are debated and solutions found. It doesn’t mean their position is weird or moot.
If someone gets the answer sooner than you, that doesn't inhibit you developing your understanding of the answer privately the same way you would have done if they hadn't got the answer. I don't see how anybody loses by the answer being discovered sooner.
10 replies →
What is preventing these crossword solvers from not looking at the advanced crossword solutions?
Mathematicians and academics in their ivory towers are forgetting that everything is getting automated. They want to carve out fun problem solving niches that's fine but who's going to fund that? If they want to be funded by the society/civilization their argument can't be leave advanced fun problems for their hobby.
Here's a fun quote:
https://proofsandprompts.com/2026/09/10/open-letter-about-th...
>Participation in an event so closely associated with Anthropic and OpenAI could plausibly negatively impact the future reputations of participants.
Given how much power advisors etc have over students in academia, interpret it as you wish.
Its worth noting though that you are comparing a profession with a hobby.
People go to said crossword group to enjoy the process of solving the puzzles. It doesn't actually matter if they have been solved yet or not, case in point the NY Times puzzles are enjoyed by more than just the first to solve them.
Professional mathematicians are ultimately being paid to solve the problems for a (hopefully) practical reason. Its always excellent when a person enjoys the process of the work they are paid to do, but ultimately they are still paid to do the work. I really hope your argument isn't that we should collectively be funding mathematicians to solve problems simply doe the love of the game.
> Professional mathematicians are ultimately being paid to solve the problems for a (hopefully) practical reason.
They are paid for the same reasons the NEA pays artists: out of a sense of obligation to demonstrate elite culture. The track record of practicality of pure math after WWII is essentially 0.
While I don't disagree, I think any justification for why we should fund mathematics and why we should protect the work they are doing from being solved without them should be grounded in results.
Similarly I wouldn't expect a good argument could be made that AI tools should be prevented from creating art because we want to continue funding artists.
If the goal of said funding is just to let them spend their time doing it then it doesn't matter that AI is doing it as well.
Classic alignment problem.
Despite nobody at openAI thinking of themselves as an asshole; despite society urging openAI not to be an asshole; despite the fact that being an asshole is entirely unnecessary even to accomplish whatever objective they are setting out to accomplish; despite everyone at openAI loudly declaring: we are not assholes!
They are still assholes.
reddit comment
This is maybe the lowest-quality comment on a thread full of them. Do better.
On the contrary, I found it a nice piece of rethoric to reflect on how misaligned incentives can overrule each individual's preferences in order to induce the group to take the opposite path.
It's done in jest but I think I am accurately pointing out the interesting parallels between what these companies say they are doing (aligning models) and what they are not doing (aligning themselves).
If you listen to them, and you don't have to listen very hard to hear it, basically everyone at these labs is telling us that this technology is extremely dangerous and should be slowed down or paused entirely. Yet, they, the only entities with the power to actually do anything about it, are not acting AT ALL as if that's the case. They are all barrelling forward as quickly as possible. RSI, THE number one risk according to these guys, is being adopted at breakneck pace up and down the stack, from designing silicon, to training, to inference.
It's ridiculous and insane and I believe can be accurately summed up as, they are being assholes, because if they are actually right about this we are all gonna die. At the very least, and far more likely, every fun creative expressive human thing that is machine legible will be replaced by a torrent of machine slop. It's not "benefiting humanity." These mathematicians are telling you it's not benefiting humanity. It sucks.
Alignment problem.
This analogy is silly because (a) math is not primarily for entertainment, (b) we aren't going to run out of math proofs, and (c) results build on top of other results, having more results proven makes all math more powerful and useful.
Hmmm but in the case of math, while some of it is "just puzzles" there often turns out to be practical applications, even if they are not obvious at first. Number theory was considered the epitome of pure math with no practical applications for centuries, now our modern society is built on it (public key crypto).
If the crosswords were purely games that would be no problem. These crosswords seem to power physics, chemistry, engineering and science applications. These professions would not mind it too much.
Blah blah blah. They are free to do their own mathematics and/or spend time on polishing/reviewing proofs dumped by ai. But they don't get to make demands like don't test math on proprietary models. Idiots.
Math doesn't belong to academics. We don't pay them to work on problems for fun. They will just need to re-evaluate where the value their provide is. It won't be solving problems anymore. Hopefully it will be making them understandable by others at least till AI can't do that as well.
"They will just need to re-evaluate where the value their provide is."
That is fine to say when it is not your field. I guarantee you feel different when it is the thing you care about, that gives you joy, that defines your status. Think about how many sheldon-equivalents insist on being called Dr. (non medical)
It is part of what people use to define themselves. Its going to hurt. There may even be a Bulterian Jihad
Not our field? Most of us are programmers here.
It is clear to me that any competent person with a little patience can now build software better than what I used to build by hand.
> Think about how many sheldon-equivalents insist on being called Dr. (non medical)
Why do physicians insist on calling themselves Dr. (medical)?
No, you dislike maths to the point you prefer paying others to do it. Actual mathematicians are largely doing it for fun, but are now effectively saying "stop destroying our fun or we'll stop doing maths", and you will have to do the maths yourself.
Well, they do they?
Whole sections of the economy are being upheaved by AI, and there is no reason to make a special case for the mathematicians anymore than for the illustrators, developers, translators, HR, etc.
3 replies →
I actually really like math and I can't wait for the day LLMs not only solve difficult problems but can also explain the solutions to me.
Mathematicians do a terrible job here. They use inconsistent symbols they don't even explain. They often obfuscate the main idea just to make the paper longer. If you are not part of a small club you are not meant to understand it. I think this is a terrible approach and I am eagerly waiting for AI to do a better job!
But won't new humans take their place that will be the ones who enjoy deciphering AI solutions?
It just seems that this class of mathematicians is being "disrupted".
The field is changing and a new class of mathematicians will take their place.
This happens all the time in fields as technology disrupts them.
A new class of individuals, with different motivations, take the place of the old guard.
I'm sure the motivations of individuals involved in designing and manufacturing cars changed as Henry Ford introduced the factor line.
But that old crop of humans either adapted or retired.
But, plenty of humans took their place with new motivations and automotive technology continued to progress.
I personally feel math will indeed move faster as a result of these breakthroughs. And the humans that take the place of the old guard will have different passions and motivations than the current group.
Maybe the new group will be productivity motivated rather than motivated by the love of tinkering with a single problem for years.
1 reply →
There's no way to spin this that doesn't make it sound like assholes being gatekeepers.
Here's a fun quote:
https://proofsandprompts.com/2026/09/10/open-letter-about-th...
>Participation in an event so closely associated with Anthropic and OpenAI could plausibly negatively impact the future reputations of participants.
Given how much power advisors etc have over students in academia, interpret it as you wish.
I’m sorry; but if mathematicians are in it because puzzle club is fun, then they should go join the fucking puzzle club and stop impeding scientific progress.
Science isn’t some passive busywork thing where you tie your hands behind your back because it isn’t fair on others to solve all the neat problems - or at least it shouldn’t be.
If your idea of science is leather patches on tweed suits and the quiet ticking of a clock while you do crosswords, then this is an argument in favour of letting the AI do the work so you can focus on your sudoku book in your slippers.