> It will grow into a full-scale industry and become the true infrastructure of all scientific and technological progress, a foundation that every other field stands on rather than a quiet corner of academia.
Sounds revolting. Everything being turned into the industry is soulless and uninspiring. I know a lot of people worship this future but I for one hate it. I for one don't see the point in creating this intellectual power where there will always, always be someone to abuse it simply because of our instinct to be greedy.
You sound pessimistic and uninspired. What alternative idea do you have besides, "it was better yesterday"? You accuse others of worshipping some dystopia but you just read like a misanthrope to me.
Encourage poeple to have a simpler life by using less technology, maybe? Stop inventing so much stuff and return to stronger, smaller communities? Use less AI? Take a few days away from the internet every week?
I believe in people, not tech. Tech past a certain point just makes things worse and always goes beyond a point of diminishing returns where its innovation becomes a mere arms race.
Let's fight that, not by rejecting tech, but by making OP sound silly. Without citing personal experience. Using vague arguments. Repeating oneself. (Sorry dang!!)
Modern jets turned commercial pilots into bullshit jobbers! But drones turned jet fightin' into a bullshit job! (And you can argue some Ukrainians should Santos-Dumont it in a biplane, turning subsonic drone piloting into a bullshit job
In aviation, it's the parasailers and the wingsuiters who find most meaning in what they do. That's because planes can't really do what they do. Planes can never do what we really want to do... Which is... Fly like a bird.
LLMs will probably never help us navigate the universe like a god. That's what math promised us!!
(I'm still hoping that some future (bio)Tech will help us fly like a bird, etc, ... That does sound much more likely than Language Light and Magic (LLM))
It will be the exact opposite: In a short period of time, many people will be able to prove or disprove a theorem. The mastery that used to require a decade of extensive study can now be had just by grabbing and applying an llm to the problem.
The notion that mathematics would be over just because it's slightly easier to find proofs is like the idea that astronomy would be over because of telescopes.
Or that chess is over because stockfish can easily beat any human player. Or that warehouses don't need workers now that we have forklifts.
Maaaybe.
On the other hand, proofs was the main thing that distinguished good mathemeticians. It was the way of sorting out who should be a math professor.
It's probably a bit of a blow for math professors. For almost everyone down the "food chain" though - who cares? I'd argue that mathematical thinking is still very useful, even if you offload the heavy lifting to power tools. Math teachers still need to exist. Math tests probably still make sense - you want to incentivise learning, and test to see who the brightest or most studious students are. Math will still be used for physics, economics, etc - no one actually cared about most of the new proofs anyway, it was just a fun tournament to pick math professors with a side effect of generating a bit new knowledge.
At some point, maybe humans don't need to make decisions. We can just sit in VR racks being fed and entertained by AI like we're in The Matrix or Wall-E, as they fill some age-old instruction to make the humans happy and healthy. But until then, humans still need to make decisions, and mathematical thinking makes us better at that.
The process of creating mathematical proofs from scratch is itself a rather high form of art, so I personally care even though I’m not a mathematician, because I enjoy the cultural effects within science. A world without future inspiring stories like Yitang Zhang seems rather dull and gray in my view. And by the way, Stockfish did kill correspondence chess, the form of chess most similar to academic research, chess that was unproctored and untimed.
Kind of an odd statement to make. Even the ICCF (international correspondence chess federation) maintains a relatively decent base of active players and that are many orders of magnitude more playing correspondence chess in local federations or on online sites which all offer correspondence like time controls.
Computers definitely changed it, because now the best players are simply those who are best at dealing with chess engines, but it's still very much alive. The games played there also regularly studied by high level over-the-board players because it provides as close as we can currently get to the objective assessment of things like openings.
For instance it's extremely interesting to see things like the fact that the King's Indian Defense does okay in correspondence in spite of all engines insisting white has a practically decisive edge after about 10 moves in most lines.
The one that gets me is art, specifically sketching.
I sketch, really badly, and I enjoy the process of doing that. The fact that an AI can make a better picture is irrelevant. Photography can do the same. I still enjoy sketching.
But I don't have to make my living from sketching. If I did, I would be more concerned and looking at how that changes.
I can see how both things can be true: mathematics is not "over", but professional mathematicians are looking at the skillset that they have carefully cultivated over their career and realised that those skills are probably not what will serve them best in the years to come. Tomorrow's mathematicians are not probably not going to be the same sort of people as today's mathematicians.
Same as us software devs. Software development isn't "over", by any means, but Software Development as a profession is changing extremely rapidly and the skills that got us this far are probably not the ones we need for the next decade.
> At some point, maybe humans don't need to make decisions. We can just sit in VR racks being fed and entertained by AI like we're in The Matrix or Wall-E, as they fill some age-old instruction to make the humans happy and healthy. But until then, humans still need to make decisions, and mathematical thinking makes us better at that.
RSI will mean that you'll be in the VR rack sooner than you might think, assuming we unlock the good ending.
Lots of ways of life are "over". Including most species.
The change happening now is already significant and isn't slowing.
I am not predicting anything, but it would not be surprising if in 10 years (or less) machines were pushing mathematics forward at a rate that left mathematicians the role of finding ways to translate results to other humans. And it wouldn't be surprising if machines were better at that than mathematicians too.
The faster things go, the more people's horizons seem to shrink. Things are moving fast enough that nobody on Earth knows what 10 years from now will look like.
Not sure why people are stopping at 'AI can do advanced math!' and calling that the field is gonna transform due to LLMs specifically. Pretty much any meta-formulation of math gives you some initial rules and a goal. From natural deduction and sequent calculus to dependent type theory and whatever flavour of category theory you choose, at a sufficiently abstract level, you'll end up with some form of search problem. ATP folks foresaw machines doing automatic proofing for decades, but it seems that noone had enough incentive in pursuing it at the cost of suffering the tediousness of the encoding process. Now AI labs took the opportunity to do something impressive and have shown that it's possible to close the ergonomics gap. But the deeper achievement is the decades of ATP and proof-assistant work that make machine-generated proofs mechanically certifiable in the first place.
I am pretty sure in the next couple of years we'll see more evolved sledgehammers [0], maybe with LLM-like tech playing a role in encoding theorems, that will allow us to prove deeper than we can do manually, then help with the archeology and extraction of learnings from observing the 'trace' of certified proofs. So instead of explore -> understand -> solve, we'll get solve -> compress -> understand.
This piece reminded me, of all things, of Gandhi's essay "Hind Swaraj." He was pretty anti-technological-driven change.
He was anti:
- Machinery replacing handicraft (skill disappeared and poverty followed)
- Labor-saving machines replacing human workers (workers became expendable)
- Doctors replacing consequences (people lost self-control)
- Railways replacing constraint and slowness (harm spread faster)
But he loved the sewing machine.
Gandhi’s test for whether to accept tech-driven change was whether it satisfied primary needs. Interpretation of those needs was certainly not universal. As he wrote: "...it is not the primary need of man to traverse distances with the rapidity of a motor car. The needle on the contrary happens to be an essential thing in life, a primary need.”
That's the airplane in this post. Excitement or fear of the AI airplane is either judged as helping mathematicians (sewing machine) or doing something not quite right (the above machinery/doctor/railway)...
Gandhi’s argument seems flawed. It’s arbitrary to decide the needle is a primary need because it requires delineation of need vs. want. If we took a time machine back every 100 years, that delineation would be quite apparently different at each stop. Yesterday’s luxuries are today’s basic human rights. I probably wouldn’t have to use up much of my remaining thorium to find a century that laughs at the idea of a school being a basic human right.
He also seems backwards on the outcomes of things like what you listed. Those things all raised people out of poverty and serfdom.
It’s interesting, though, to see someone as revered as Gandhi having to add epicycles to his beliefs after having seen the other side of it.
You can expect an argument to stand the test of time, but not a material example, because the speaker is always someone in his circumstances. I'm not saying anything for or against the argument, just that the foundation of your disagreement isn't too solid.
I think ghandi speaks much more from a tone of trying to make you think differently, not necessarily being right or wrong, but making you accept or reject him by making you contemplate for a moment his perspective.
In this case you reaffirmed your view of the world that technology is a vector of freedom, but what is the circumstances of that technology? Because when you think of ghandi as an Indian, and that Indians suffered a humanitarian crisis in the hands of the English empire, I can't help but wonder if the colonizers just created the poison than sold them the medicine
I posted more in another comment on this thread but here’s a PDF of his book. Gandhi says in the “A Word of Explanation” section that he would welcome the natural destruction of hospitals. How is that timeless?
Some of the things he’s advocating seem nonsensical to me.
For example he says it would be a good thing if all railways and hospitals ended up being destroyed.
If all hospitals ended up destroyed what would happen to the people who have bacterial infections? Or have heart attacks? Or need dialysis? Or get necrotizing fasciitis? Or need cancer treatment?
And if all the railways and factories and such are destroyed how do you manufacture medicine and antibiotics and other devices to save lives?
I understand the things I mentioned just now weren’t around in 1908 when Gandhi wrote that essay but who knows what advancements modern AI could bring that we can’t imagine now?
This is a PDF of that Gandhi book. Under the “A Word of Explanation” you find Gandhi saying he would welcome the natural destruction of hospitals and railways.
> what would happen to the people who need treatment…
In this respect Gandhi was essentially on the same page as RFK Jr. He thought people should try to lead healthy lives - diet, hygiene, exercise etc. - but ultimately that nature should take its course.
It previously incorporated the national pride of India, the charkha or spinning-wheel. This is not a sewing machine. A spinning wheel is a machine used to spin textile fibers into yarn.
The author uses airplanes as an analogy. I want to add a few historical facts here:
- First, airplanes in the first 30 years were extremely rough and dangerous. When Dole hosted a contest for the first transpacific flight in 1927, 6 out of 8 teams failed. Ten people died as a result.
- Second, people made a lot of silly predictions about this new technology. The New York Times extrapolated that people would soon start commuting to New York using personal airplanes.
- Third, people made capital investments based on these wild guesses. For example, the architects of the Empire State Building installed a huge spire to prepare for the upcoming age of airborne traffic (intended to be used as an airship docking station!)
The bottom line is that predicting the trajectory of a new technology is often impossible. As a society, we are currently in the experimental phase of LLM-based AI, testing all the possibilities one by one. Who knows which path leads where.
Actually we bet the other way around. History always under estimated technology.
1869
Scientific American
[Major mainstream American science publication]
“When man can make a structure as strong, as rigid, as elastic, as light in proportion to bulk as a goose quill, the problem of flight will be nearly solved.”
1903
The New York Times
[Major mainstream newspaper, 69 days before the Wright brothers’ first powered flight]
“Nature is more successful in applying the law of compensations to the correction of errors of design or development than man has ever been or is ever likely to be.”
> Actually we bet the other way around. History always under estimated technology.
To throw a few more nuggets, being pessimistic about aviation actually paid off. As Buffett famously pointed out in his 1999 talk, there had been zero money made from the aggregate of all stock investments in the airline industry in history.
It was a monumental technological success, but turned out to be a financial bottomless pit.
We are entering an age when intelligence is no longer a scarce resource. Bill Gates believes that in 20 years, we will reach an age of abundance [1]. But the next 20 years will bring tremendous social upheaval as we learn to adapt.
- Only a tightly regulated industry permits you to buy a single-use ticket before the brief upheaval your personal privacy. This isn't a one time scan, it's one for each ticket generally!
- You don't ride airplanes every day, it's a tightly controlled portal to far away. Maybe some "very special" people have job subsidized commuter flights daily, but they're a minority.
Are we suggesting, and supporting, that commercial AI unfolds the way commercial air travel has? Yikes!!!
This is not the future of commercial AI. We need to toss this airplane analogy and use something more accessible.
Radio.
Radio changed the world 100 years ago, now a significant portion of the human population is armed with at least one radio device they use daily.
Side ponder: developing the applications of radio arguably led to a slew of intermediate and sibling developments resulting in the machines we used to build machine learning. Prove me wrong!
If you're still with me, then we can attempt to extrapolate together: if 100 years of radio applications cumulated into the smartphone, then, what will 100 years of AI accumulate to? What is the "smartphone" of AI in the future?
Electricity is to the SoC pocket or desktop computer.
Radio is to the machine learning and LLM.
Smartphone is to, what?
Complete the puzzle and win the prize of enlightenment! The radio analogy is the best way to speculate and extrapolate about our future.
Another automation if you don't like the radio analogy is refrigeration. Remember all the industry of ice workers that were displaced by the refrigerator? What happened to them?
What about all the immigrants that built railroads in America during the 19th century? What happened to them? They settled in the towns that grew the result of the railroad work and hopefully found purpose using the railroads they helped build. You know, if they didn't die first.
All the programmers and engineers who were laid off "because of AI" need to settle in one of the "AI railroad towns" and get to work. The railroad is built, the next one is built automatically, so make your living using the railroad you helped build.
FWIW I have one of these railroad job towns, but, I didn't help build the first railroad.
- if AI is so powerful that it is a superset of human capabilities in that it can not only solve questions but also come up with useful abstractions, then we just simply don't need mathematicians!
- if AI is not that powerful but can automate in-distribution tasks, then that allows mathematicians to explore concepts much faster. Overall positive thing for mathematics
We are obviously in the second camp (at least for now). Your job as a mathematician is to offload as much in-distribution task as possible to the LLM and just focus on the rest.
You sound like a mathematician. I'm with you but OP calls that "betting against the airplane".
Let's fight that by making OP sound silly. Without citing personal experience. Using vague arguments (Sorry dang!!)
Modern jets turned commercial pilots into bullshit jobbers! But drones turned jet fightin' into a bullshit job! (And you can argue some Ukrainians in a biplane are turning subsonic drone piloting into a bullshit job)
In aviation, it's the parasailers and the wingsuiters who find most meaning in what they do. That's because planes can't really do what they do. Planes can never do what we really want to do... Which is... Fly like a bird.
LLMs will probably never help us navigate the universe like a god.
(I'm still hoping that some future biotech will help us fly like a bird, etc, ... That does sound much more likely than Language Light and Magic (LLM))
39 comments
[ 3.9 ms ] story [ 39.3 ms ] threadSounds revolting. Everything being turned into the industry is soulless and uninspiring. I know a lot of people worship this future but I for one hate it. I for one don't see the point in creating this intellectual power where there will always, always be someone to abuse it simply because of our instinct to be greedy.
I believe in people, not tech. Tech past a certain point just makes things worse and always goes beyond a point of diminishing returns where its innovation becomes a mere arms race.
Other sites beckon.
Let's fight that, not by rejecting tech, but by making OP sound silly. Without citing personal experience. Using vague arguments. Repeating oneself. (Sorry dang!!)
Modern jets turned commercial pilots into bullshit jobbers! But drones turned jet fightin' into a bullshit job! (And you can argue some Ukrainians should Santos-Dumont it in a biplane, turning subsonic drone piloting into a bullshit job
https://youtu.be/gBxQixJfOzk )
In aviation, it's the parasailers and the wingsuiters who find most meaning in what they do. That's because planes can't really do what they do. Planes can never do what we really want to do... Which is... Fly like a bird.
LLMs will probably never help us navigate the universe like a god. That's what math promised us!!
(I'm still hoping that some future (bio)Tech will help us fly like a bird, etc, ... That does sound much more likely than Language Light and Magic (LLM))
Maaaybe.
On the other hand, proofs was the main thing that distinguished good mathemeticians. It was the way of sorting out who should be a math professor.
It's probably a bit of a blow for math professors. For almost everyone down the "food chain" though - who cares? I'd argue that mathematical thinking is still very useful, even if you offload the heavy lifting to power tools. Math teachers still need to exist. Math tests probably still make sense - you want to incentivise learning, and test to see who the brightest or most studious students are. Math will still be used for physics, economics, etc - no one actually cared about most of the new proofs anyway, it was just a fun tournament to pick math professors with a side effect of generating a bit new knowledge.
At some point, maybe humans don't need to make decisions. We can just sit in VR racks being fed and entertained by AI like we're in The Matrix or Wall-E, as they fill some age-old instruction to make the humans happy and healthy. But until then, humans still need to make decisions, and mathematical thinking makes us better at that.
Kind of an odd statement to make. Even the ICCF (international correspondence chess federation) maintains a relatively decent base of active players and that are many orders of magnitude more playing correspondence chess in local federations or on online sites which all offer correspondence like time controls.
Computers definitely changed it, because now the best players are simply those who are best at dealing with chess engines, but it's still very much alive. The games played there also regularly studied by high level over-the-board players because it provides as close as we can currently get to the objective assessment of things like openings.
For instance it's extremely interesting to see things like the fact that the King's Indian Defense does okay in correspondence in spite of all engines insisting white has a practically decisive edge after about 10 moves in most lines.
I sketch, really badly, and I enjoy the process of doing that. The fact that an AI can make a better picture is irrelevant. Photography can do the same. I still enjoy sketching.
But I don't have to make my living from sketching. If I did, I would be more concerned and looking at how that changes.
I can see how both things can be true: mathematics is not "over", but professional mathematicians are looking at the skillset that they have carefully cultivated over their career and realised that those skills are probably not what will serve them best in the years to come. Tomorrow's mathematicians are not probably not going to be the same sort of people as today's mathematicians.
Same as us software devs. Software development isn't "over", by any means, but Software Development as a profession is changing extremely rapidly and the skills that got us this far are probably not the ones we need for the next decade.
RSI will mean that you'll be in the VR rack sooner than you might think, assuming we unlock the good ending.
Observational astronomy is the most easily automated field, survey telescopes already scan the skies by automatic schedules.
https://rubinobservatory.org/explore/how-rubin-works/lsst/ca...
The change happening now is already significant and isn't slowing.
I am not predicting anything, but it would not be surprising if in 10 years (or less) machines were pushing mathematics forward at a rate that left mathematicians the role of finding ways to translate results to other humans. And it wouldn't be surprising if machines were better at that than mathematicians too.
The faster things go, the more people's horizons seem to shrink. Things are moving fast enough that nobody on Earth knows what 10 years from now will look like.
I am pretty sure in the next couple of years we'll see more evolved sledgehammers [0], maybe with LLM-like tech playing a role in encoding theorems, that will allow us to prove deeper than we can do manually, then help with the archeology and extraction of learnings from observing the 'trace' of certified proofs. So instead of explore -> understand -> solve, we'll get solve -> compress -> understand.
[0] e.g. https://isabelle.in.tum.de/website-Isabelle2025/dist/Isabell...
He was anti: - Machinery replacing handicraft (skill disappeared and poverty followed) - Labor-saving machines replacing human workers (workers became expendable) - Doctors replacing consequences (people lost self-control) - Railways replacing constraint and slowness (harm spread faster)
But he loved the sewing machine.
Gandhi’s test for whether to accept tech-driven change was whether it satisfied primary needs. Interpretation of those needs was certainly not universal. As he wrote: "...it is not the primary need of man to traverse distances with the rapidity of a motor car. The needle on the contrary happens to be an essential thing in life, a primary need.”
That's the airplane in this post. Excitement or fear of the AI airplane is either judged as helping mathematicians (sewing machine) or doing something not quite right (the above machinery/doctor/railway)...
He also seems backwards on the outcomes of things like what you listed. Those things all raised people out of poverty and serfdom.
It’s interesting, though, to see someone as revered as Gandhi having to add epicycles to his beliefs after having seen the other side of it.
I think ghandi speaks much more from a tone of trying to make you think differently, not necessarily being right or wrong, but making you accept or reject him by making you contemplate for a moment his perspective.
In this case you reaffirmed your view of the world that technology is a vector of freedom, but what is the circumstances of that technology? Because when you think of ghandi as an Indian, and that Indians suffered a humanitarian crisis in the hands of the English empire, I can't help but wonder if the colonizers just created the poison than sold them the medicine
https://www.mkgandhi.org/ebks/hind_swaraj.pdf
I posted more in another comment on this thread but here’s a PDF of his book. Gandhi says in the “A Word of Explanation” section that he would welcome the natural destruction of hospitals. How is that timeless?
For example he says it would be a good thing if all railways and hospitals ended up being destroyed.
If all hospitals ended up destroyed what would happen to the people who have bacterial infections? Or have heart attacks? Or need dialysis? Or get necrotizing fasciitis? Or need cancer treatment?
And if all the railways and factories and such are destroyed how do you manufacture medicine and antibiotics and other devices to save lives?
I understand the things I mentioned just now weren’t around in 1908 when Gandhi wrote that essay but who knows what advancements modern AI could bring that we can’t imagine now?
https://www.mkgandhi.org/ebks/hind_swaraj.pdf
This is a PDF of that Gandhi book. Under the “A Word of Explanation” you find Gandhi saying he would welcome the natural destruction of hospitals and railways.
In this respect Gandhi was essentially on the same page as RFK Jr. He thought people should try to lead healthy lives - diet, hygiene, exercise etc. - but ultimately that nature should take its course.
https://en.wikipedia.org/wiki/Flag_of_India
It previously incorporated the national pride of India, the charkha or spinning-wheel. This is not a sewing machine. A spinning wheel is a machine used to spin textile fibers into yarn.
https://en.wikipedia.org/wiki/Spinning_wheel#Charkha
- First, airplanes in the first 30 years were extremely rough and dangerous. When Dole hosted a contest for the first transpacific flight in 1927, 6 out of 8 teams failed. Ten people died as a result.
- Second, people made a lot of silly predictions about this new technology. The New York Times extrapolated that people would soon start commuting to New York using personal airplanes.
- Third, people made capital investments based on these wild guesses. For example, the architects of the Empire State Building installed a huge spire to prepare for the upcoming age of airborne traffic (intended to be used as an airship docking station!)
The bottom line is that predicting the trajectory of a new technology is often impossible. As a society, we are currently in the experimental phase of LLM-based AI, testing all the possibilities one by one. Who knows which path leads where.
1869 Scientific American [Major mainstream American science publication]
“When man can make a structure as strong, as rigid, as elastic, as light in proportion to bulk as a goose quill, the problem of flight will be nearly solved.”
https://www.scientificamerican.com/article/is-a-flying-machi...
1888 Joseph Le Conte [Prominent American scientist and UC Berkeley professor]
“A flying-machine… is impossible, in spite of the testimony of the birds.”
https://en.wikisource.org/wiki/Popular_Science_Monthly/Volum...
1902 Lord Kelvin [President of the Royal Society and one of the most prominent physicists of his era]
“No balloon and no aeroplane will ever be practically successful.”
https://zapatopi.net/kelvin/papers/interview_aeronautics_and...
1903 The New York Times [Major mainstream newspaper, 69 days before the Wright brothers’ first powered flight]
“Nature is more successful in applying the law of compensations to the correction of errors of design or development than man has ever been or is ever likely to be.”
https://en.wikisource.org/wiki/The_New_York_Times/1903/10/9/...
> Actually we bet the other way around. History always under estimated technology.
To throw a few more nuggets, being pessimistic about aviation actually paid off. As Buffett famously pointed out in his 1999 talk, there had been zero money made from the aggregate of all stock investments in the airline industry in history.
It was a monumental technological success, but turned out to be a financial bottomless pit.
https://www.nytimes.com/2026/08/26/technology/bill-gates-ai-...
Have you utilized an airplane recently?
- Only a tightly regulated industry permits you to buy a single-use ticket before the brief upheaval your personal privacy. This isn't a one time scan, it's one for each ticket generally!
- You don't ride airplanes every day, it's a tightly controlled portal to far away. Maybe some "very special" people have job subsidized commuter flights daily, but they're a minority.
Are we suggesting, and supporting, that commercial AI unfolds the way commercial air travel has? Yikes!!!
This is not the future of commercial AI. We need to toss this airplane analogy and use something more accessible.
Radio.
Radio changed the world 100 years ago, now a significant portion of the human population is armed with at least one radio device they use daily.
Side ponder: developing the applications of radio arguably led to a slew of intermediate and sibling developments resulting in the machines we used to build machine learning. Prove me wrong!
If you're still with me, then we can attempt to extrapolate together: if 100 years of radio applications cumulated into the smartphone, then, what will 100 years of AI accumulate to? What is the "smartphone" of AI in the future?
Electricity is to the SoC pocket or desktop computer. Radio is to the machine learning and LLM. Smartphone is to, what?
Complete the puzzle and win the prize of enlightenment! The radio analogy is the best way to speculate and extrapolate about our future.
Another automation if you don't like the radio analogy is refrigeration. Remember all the industry of ice workers that were displaced by the refrigerator? What happened to them?
What about all the immigrants that built railroads in America during the 19th century? What happened to them? They settled in the towns that grew the result of the railroad work and hopefully found purpose using the railroads they helped build. You know, if they didn't die first.
All the programmers and engineers who were laid off "because of AI" need to settle in one of the "AI railroad towns" and get to work. The railroad is built, the next one is built automatically, so make your living using the railroad you helped build.
FWIW I have one of these railroad job towns, but, I didn't help build the first railroad.
- if AI is so powerful that it is a superset of human capabilities in that it can not only solve questions but also come up with useful abstractions, then we just simply don't need mathematicians!
- if AI is not that powerful but can automate in-distribution tasks, then that allows mathematicians to explore concepts much faster. Overall positive thing for mathematics
We are obviously in the second camp (at least for now). Your job as a mathematician is to offload as much in-distribution task as possible to the LLM and just focus on the rest.
Let's fight that by making OP sound silly. Without citing personal experience. Using vague arguments (Sorry dang!!)
Modern jets turned commercial pilots into bullshit jobbers! But drones turned jet fightin' into a bullshit job! (And you can argue some Ukrainians in a biplane are turning subsonic drone piloting into a bullshit job)
In aviation, it's the parasailers and the wingsuiters who find most meaning in what they do. That's because planes can't really do what they do. Planes can never do what we really want to do... Which is... Fly like a bird.
LLMs will probably never help us navigate the universe like a god.
(I'm still hoping that some future biotech will help us fly like a bird, etc, ... That does sound much more likely than Language Light and Magic (LLM))