As a mathematician maybe I am a little more optimistic than this declaration.
I am thinking of Mochizuki's abc conjecture: He worked in relative isolation, and dumped a huge incomprehensible proof on the community (to oversimplify a bit). That's not totally unlike what might happen if AI generates a huge, incomprehensible proof of let's say RH.
Well, what is the result? In the Mochizuki case, it was a lot of skepticism, but it also generated conferences, papers, talks in the hallway, discussions with students, and so on--a flurry of exactly that kind of community process that the declaration says is the main driver of mathematics.
Ultimately we think a fatal flaw was found in Mochizuki's proof, so it didn't lead anywhere in particular. But in our hypothetical "AI lean-verified proof of RH" situation, it would presumably generate substantially more of that community activity we saw in the Mochizuki situation. And if it's correct, that community activity would be productive (expository talks, students given problems to flesh out or generalize, etc).
Maybe mathematics just becomes a little more like other fields--relying on labs with lots of money for compute, digging through a corpus of AI-generated proofs, etc.
The maths community is now in the antithesis phase, synthesis will take a while ;)
Lee Sedol said in an interview that "losing to AI, in a sense, meant my entire world was collapsing. ... I could no longer enjoy the game. So I retired", and I think there will be folks in the mathematical community who would feel the same when the solutions pages to hard problems are suddenly available.
But on the other hand, people learned a lot from chess engines. After decades of chess computers beating humans, there was still a renewed interest in watching Leela beat Stockfish, with many people trying to understand the strategy Leela used.
If your happiness comes from grinding on a problem and making progress, the prospect of having to dig through a corpus of AI-generated proofs might be hard to swallow. But if you're willing to do that, you will still find beautiful things that only so many people can truly appreciate.
Chess is kept afloat by chess players, not by billionaires. If all the billionaire backers stopped sponsoring tournaments, people like me would still play, still pay for chess club memberships, still pay entry fees for tournaments, and still buy chess books, and so on.
Also, you learn to be a better chess player by... playing better players. The widespread availability of chess engines has made flawless opponents available to every player.
If your goals are understanding the game, self improvement, building thinking skills-- this is the best chess has ever been. It's only if your goal is to beat every opponent you can find that chess is in a bad place.
I mean, this is the problem with analogies and trying to use them to prove things, right? People working through problems from an analysis book with their friend (or an LLM) is not the same as research mathematics. People playing in a chess club is not the same as what makes for a good chess tournament. Lumping everything together is just making this branch of the conversation less relevant.
Is this the scenario described in Ted Chiang's short story https://en.wikipedia.org/wiki/The_Evolution_of_Human_Science where scientists are "catching crumbs from the table" trying to decipher the results generated by superhuman intelligence?
It's still an optimistic scenario. Artificial superintelligence may develop hypermathematics of a kind that never will be accesible to human mind, enhanced or not. One can't teach geometry to ants even if you put them on a Moebius strip.
>Maybe mathematics just becomes a little more like other fields--relying on labs with lots of money for compute, digging through a corpus of AI-generated proofs, etc.
Dr. Tao said the same thing. Somehow, this letter came through. He wants to conduct Math competitions where participants who don’t have formal credentials can contribute to mathematical research through AI.
Title: Terence Tao - SAIR Competitions and the Future of Experimental Mathematics
Even before AI we used to say if you write code that you only barely understand, then it will be to complicated to debug. (and/or maintain)
Mochizuki was still one human and it required legions of other humans to unpack and untangle to confirm that it didn't lead to anywhere in particular.
AI is now capable of constructions so complex that no human or human team can unpack. And its ability to increase that complexity is growing while our human ability is stagnant.
meta-AI analysis cannot help. We (software professionals who use AI regularly) already know that if you run into a situation where a Fable/Astra-generated analysis reaches the limits of our comprehension/complexity due to their subjectivity, throwing more AI at the problem doesn't always converge.
There are many reasons to feel optimistic about AI, and ultimately its general ability to help science and mathematics.
I see no reason to feel optimistic about the future of mathematics and AI based on the current path of frontier labs, unless the misalignment Tao is writing about can be reconciled.
It's not just the isolated dumping, it's the fast, isolated, possibly untraceable dumping, without long term support.
It'll basically become slop fatigue if OpenAI starts dumping out proofs faster than the community can keep up, and some turn out to be wrong, never formalize it, don't stay to support it, etc.
I wonder if they will continue to dump proofs, though? Their point has been made, the novelty will wear off, and it maybe won't be a priority use of their resources to spend however many millions on another big proof--they will move on to the next thing to show off I'm sure. At that point, the ones generating proofs will be, I hope, mathematicians (professional and otherwise) that are more interested in the results and community discussion.
(Well that's my hopeful, optimistic take, anyway.)
They aren't going to stop at one, that's for sure. They already claimed they have "made substantial progress" on another millenium problem. Let's say they bag another one (Hodge and/or BSD according to the rumors), if it looks like their internal model could solve P/NP or Riemann Hypothesis, you think they wouldn't take that chance ?
So it wasted everyone's time, thousands of hours of research trying to disprove something said very loudly. What OpenAI is doing is a DoS of the scientific community: wasting your time trying to check if they're not wrong, and claiming glory in the mean time.
That's true, but the story would have unfolded differently if Mochizuki had a lean-verified proof and was correct. I guess baked into my premise is that AI is producing reliable proofs (in the long term at least).
Tao's critique of AI in the field of mathematics reminds me of what French art critic Charles Baudelaire said in the 19th century about photography [0].
Baudelaire argued that photography became a haven for failed painters, the sorts of hacks that could not finish proper training. Photography, as a mechanical rendering of the world, could only record what already existed; it couldn't transform reality the way a painting could.
He also criticized the public's craze for "rushing" into it, and complained that this technical "progress" was weakening the arts.
I have listened quite a few interviews with Tao and I see him being very careful about criticizing AI. He very often emphasizes the usefulness of it. Where he is critical has a lot of merit. One of the points I clearly remember him saying that having AI be able to solve many of the open problems, regardless of how important there are (there are many open problems that are not that important) greatly reduces the problem space for mathematics students to give new problems to work on.
In a parallel thread omnicognate correctly pointed out that for AI companies it's a direct commercial loss to pour all this money into bruteforcing the solutions to these problems, and that a lot of times the solutions by themselves are not directly commercially valuable. They are doing it for stock price, trying to lure in private capital in preparation for IPOs.
Their models are good, but they are not the moat because Chinese models are good too, so what they are doing, in my opinion, is more harm than good. Mathematics is a science by humans for humans.
People aren't ready to discuss AI assisted imagery as art yet. Most discussions lack the nuance that Baudelaire lacks in that critique, which deals with the nature of art and the importance of human intention and input.
Tao doesn't go as far as Baudelaire, but there are some similarities. In particular, Tao has criticized that AI is not being used to create new interesting conjectures, and that the rush to prove old conjectures is not giving human mathematicians enough time to carefully analyze and understand the proofs and the methods used in those proofs.
My answer to both is the same: nothing stops mathematicians from doing both of those things, with or without the help of AI. And we all understand that it will take time to do that. But complaining about the dawn of a new era of advancements seems counterproductive.
Genuine Art versus Mechanism, from 1901, (https://www.jstor.org/stable/25505621) is another article that I read a few years ago that other people might find interesting.
Keep in mind that his critique is very recent, and likely applying to a specific use of AI, as opposed to AI as a whole. If you've been following his Mastodon account, he's been happily using LLMs for math purposes for well over a year.
I'm really tired of these arguments (this and "it's just like calculators").
Photography decimated other forms of visual art, so the concern wasn't wrong. But AI threatens the entirety of human intellectual endeavors. I can make do without oil paintings in my home. I'm not sure I want to live in a future where we make do without brains.
Lots of people still make bad music that other people still manage to enjoy (a lot of it has gone multi-platinum!) even though they're not Mozart or Bach.
We can’t look back with perfect hindsight because both the past and present have deeply ingrained blindspots. They don’t know what it is like to live in a world with perfect edges. We don’t know what it is like to live in a world with no edges. We can read about someone who proclaims that “something will be lost”. We will just think “but I have no need for any of that.” But we don’t even know what it is.
This sounds a lot to me like people in the 90's complaining that computers were destroying chess. Thirty years later, chess is more popular than it ever was, and chess players are better than they ever have been. I wouldn't be surprised if there are now more chess books now than there ever have been. Furthermore, it turns out that a lot of chess books written before computers were just wrong about a lot of things. It turns out having an oracle for the "right" answer in chess, even without an explanation, used properly, allows humans to develop broader, more accurate insights.
The argument here sounds similar. The fear, as I understand this statement to be saying, is that by being given the correct answer, in the form of a 100-page Lean proof, humans will be robbed of the chance to from insights about the structure of mathematics itself. I don't see any reason that humans can't continue to develop insights as they try to digest the 100-page Lean proof into something more manageable; but with more certainty and fewer false starts.
There's an unpopular branch of mathematics which does not have infinities - finiteism.[1] The constructive version of finitism takes the position that there is no such thing as infinity, just arbitrarily large upper bounds. You can have theorems about arbitrarily large numbers, but you never get
1 + 1/2 + 1/4 + 1/8 ... = 2
The benefit of finitism is that it escapes undecidability.
The big objection to finiteism is that it's a lot more work. Infinity swallows many special cases. Proofs get longer without infinity, and most of the special cases are uninteresting. That's not a problem for AIs.
Someone may start up an AI and make it grind through Hilbert's program for putting mathematics on a fully consistent foundation, starting from a finiteism base. This is a huge, unrewarding job. Great for machine work.
This letter is complaining that human understanding has been crucial to advancing of mathematics, and AI companies are not bothering with it. But the promise (and horror) of AI mathematics is that, if it succeeds, human understanding becomes irrelevant. That's the goal. So this letter's message will fall on deaf ears.
Keep in mind employees at AI companies are publicly stating that they believe they're risking a >10% chance of human extinction. They're knowingly risking the lives of every man, woman, and child to continue the work. The lives of their own sons and daughters. A person already rationalizing that isn't going to shed a tear for the careers of mathematicians. Just a bug on the windshield.
Mathematics is about discovering and understanding the logical implications of assumed axioms under various inference rules.
Alternatively, some claim that mathematics is about understanding these implications.
Under the first definition, AI is already, and forevermore will be faster and better at proving theorems. Just like it is better at checkers, chess, and now go.
The author asserts that AI proofs are incomprehensible to humans, and so under the second definition AI is merely a tool to overcome one hurdle on the way to understanding.
So which is it? The author seems to claim the second definition, but bemoan the end of mathematics under the first.
Im surprised about the sentiment in this discussion.
I totally see the problem Terence is describing. We are loosing a lot in understanding and focus if it continues like that. The solution found for Navier Stokes doesn’t have much „real value“ - but what almost always happened in the past when people worked on the difficult problems, these sparked new ideas / new theorems that broadened our knowledge.
Think back at your grad studies, figuring out a proof as homework was hard, sometimes incredibly hard, but while doing it we gained a lot of understanding how things work. Now asking AI for the solution and „just“ getting it, risks our understanding, our creativity and our ability to connect the dots with other territories. I see it in students nowadays, there is much less understanding, much less creativity in finding solutions. I truly think this „short-path“ solution with the „death of struggle is one of the biggest risks with AI already for human development
>Often these solutions are announced in a rush, leaving no time for a proper writeup, the isolation of new methods and ideas, and citing relevant previous work of others.
That's just capitalism seeping through a previously unexplored crack into academia, and attempting to do the only thing capitalism knows to do - maximize profits - with no additional concern.
In internet culture there’s this phrase “Hydrogen Bomb vs Coughing Baby”, meant to highlight the absurd power difference between two combatants.
In almost any scenario even tangentially involving mathematics, twenty-five Fields medallists uniting to denounce something would be a veritable Tsar Bomba.
It should give you pause that here they feel like the ailing infant.
This reads like people lamenting a bygone era and making a desperate attempt to bring it back. I'm sorry. Outside of the good ol' boys club, no one cares about some process they've romanticized simply because "that's how its always been done". Absolute nonsense.
We are moving forward and if that means no human wins a fields medal because they didnt spend three decades working on a problem that could be solved in three days, the world will be better for it.
Somewhat unrelated: is it wrong to say mathematics is not art, and that there is always a right answer? I know that's not romantic, but maybe it's true.
Before LLMS, programming was something I might've said required creativity and human input to do properly. It's not that creativity or human input isn't valuable anymore, but AI has forced me to realize that coding is much a means to an end, and that all things considered, the end matters much more than the means.
If we can make important mathematics progress faster and better with LLMs, I think it's wise not to fret over an apparent loss of our humanity. Perhaps that's only a loss we want to have.
There's a reason mathematics is generally within liberal arts programs rather than science programs. Mathematics is the art of logic. Yes, sometimes mathematics becomes incredibly useful but most mathematics is never applied.
Compare that with computer science. Most of the work we do in software engineering is in service of an applicable output - software products that facilitate processes or bring in revenue. Turning up the dial on AI gets companies to these outputs faster.
Turning up AI on mathematics helps solve conjectures and can provide new insights. But it has a major misalignment with the purpose of mathematics which is largely intellectualism.
“Mathematics is a part of physics. Physics is an experimental science, a part of natural sciences. Mathematics is the part of physics where experiments are cheap” - Vladimir Arnold
On the matter of computer science having anything to do with computers, please refer to Djikstra.
It’s about computation, not computers - an application of mathematics, predominantly thanks to Turing, Von Neumann, and Claude Shannon’s masters’ thesis; though ofc many others as well but I see them as three individuals who made the minimal structurally necessary contributions - VNA and silicon are one of many possible substrates.
Back in the day you could think of a cool idea. I don't know maybe a plane that could fly without drag. To even see if this was feasable you had to understand physics, engineering, and then from there you had to have a math person see if it was actually possible.
Now, I can ask ChatGPT about this and get back a proof that shows "a passive airframe cannot sustain zero-drag motion through still, viscous air"
So, I think if anything now, Maths has changed for the better. More ideas can be proven false or true from a get go instead of wasting so much to see if its even feasible to find out it isn't.
Progress if anything is about to leap frog anything we have ever known.
Indeed, I wonder how a similar letter by Uber drivers would be received -- "navigation is an intrinsically human domain, personal relationships are critical for passengers and drivers to progress in the world, etc etc." Or doctors, for that matter.
We are all going to have to come to terms with entities more capable than we are, and in many cases, letting the real work be done by the AIs will be the right thing to do. For all the huffing and puffing about the "human touch" in medicine, it will eventually become downright irresponsible to consult only with a human doctor. I am not sure if this is the case in mathematics or not, but if it isn't, that suggests math will be relegated to more of a hobby than a cutting edge scientific discipline.
Are you implying that OpenAI using someones unpublished research without their permission to solve an career defining math problem with their latest model in order to publish first is a problem with the mathematicians?
My read on this document is that people's work isn't being fairly cited more than what does it mean to be a mathematician in this age.
I didn't know this article was about that issue at all. Yeah, if the issue is properly citing work then yes, OpenAI needs to do that. But the article read like it was tackling a completely different issue.
That's one of several issues, obviously a big one, and they do touch on it:
> Often these solutions are announced in a rush, leaving no time for a proper writeup, the isolation of new methods and ideas, and citing relevant previous work of others. As in all creative professions, this raises severe attribution and plagiarism questions.
That's how I read it too, Terry Tao, who has been a "pro-AI math guy" is going through the same emotions and confusion that us SWE folks are going through, "oh, wait... this might mean I'm not going to be special anymore!?"
I don't mean to be a dick, but I've talked about it previously. These folks are grieving. I get it, I've lived through this sort of life changing thing before, it sucks... but yeah.
I think this is ridiculously flippant. If software engineering and the hardest math is solved, that means that eventually a majority of professions and knowledge work is solved. This is hugely problematic because of the way our society currently functions. People need jobs to eat, pay for housing, etc.
Dismissing it as "innovations have happened before" is disingenuous. Yes, innovations have happened, but none of those threatened to automate all human work in existence.
Yeah given he had been very pro-AI for years, I expected he made peace with the issue many many years ago (like I did back in 2018), and when this time would come he would explain to other mathematicians how to live with it.
Taking a snapshot of the state of AI math right now and concluding that it will be net negative to human understanding and insight in the future is very short sighted. This statement will be used to promote ideas and actions that will ultimately be disastrous for our country.
In the Economist article Tao links, Hugo Duminil-Copin, draws a comparison: airdropping someone on the summit of Mount Everest is very different from climbing it.
The fundamental issue with AI solving any perceived difficult problem is that we have lost the journey. The sight atop Mount Everest looks much different when you have climbed compared to being dropped from above.
But we don't pour billions of dollars of research funding into mountain climbing because we think it's going to lead to wider breakthroughs in science and technology. And when we need to get people on top of a mountain for an important purpose -- like a military or search and rescue operation, for example -- we absolutely do airdrop them right on the top.
So that raises the question: is mathematics simply a pursuit of passion? Are problems solved "because they're there"? If so, then mathematics can join the ranks of things like mountain climbing, cycling, and weight lifting. But if we are trying to accomplish something important (design better airplanes, find theoretical guarantees about cryptography, factor matrices faster), mathematics needs to become more like a military or search and rescue operation, using the best technology available to secure the outcome we need. Given that the NSF pours billions into scientific research every year, it sure seems like mathematicians want to think of themselves as being in the latter category.
What defines important and why must it be solved in haste? Many issues and other problems arise during the journey in solving all problems; those that are needed and those that are pursuits for their own sake.
If AI gave us the plane to reach Everest without us having gone through the journey of aviation and flight, what would we have lost without that process?
But the most important problems to be solved are not technological challenges but social ones, involving humans and our relationship to one another. An area AI will forever ill-suited to handle.
as someone who loves to go down with a snowboard, I can see value to being taken to the top and then enjoying the ride down. im sure it is not a thing to be ashamed of, as millions do it.
Given the existence of this technology now and the incentives of the AI companies, both of which are not going away; what's a good future here?
A major part of the complaint is that there's no conceptual understanding and building of new ideas coming out of the AI proofs, thus defeating the purpose of the original pursuit.
If in 2027 the AI models start producing, with every mathematics or science breakthrough they make, well-written documents tailored for human understanding, with intermediate concepts, expositions of failed-but-once-promising paths, etc. Would that be good alignment with the mathematics community?
All “fields medalist” signatories - a rarefied and elitist group indeed.
I wish this letter could be more egalitarian and include the view points of those who AREN’T the beneficiaries of a highly competitive winner-take-all system.
Since the common narrative is that AI frees up labor to do other things (engineering -> trades), maybe we can celebrate that genius mathematicians will now spend time teaching children how to be as smart as them?
Train an LLM with no advanced math texts: only basic math up to 6th grade, conversational text and literary works.
Interact with it (you cannot refer to anything past 6th grade math since you don't know it yourself) and get it to propose a solution to a real world problem. e.g., come up with RSA to practically secure communication.
This is really only a short-term problem where the AI companies only have the internal models that can solve these. In the “long” term, which could honestly mean months, everyone will have access to Bel/C/D-level models capable of solving these anyway.
This. Like programming, the community will shortly be forced to come to terms with a lot of new self-proclaimed mathematicians “vibe-solving” problems and dumping solutions without understanding them. It’s not really a special case for mathematics.
Playing a devil's advocate. Why do we need understanding ? To take an example i would say ~99% of the population do not understand how combustion engines or how semiconductors work, what say another 1% ?
Is the fear post-apocalyptic in nature ? We need some human priesthood to carry on tradition ? why ?
Let's assume in the next decade GPT-7 PRO Ultra is cheaply ubiquitous, inspectable, reproducible, transferable, reasonably un-constrained by any institutional interests.
This is really well written and exposes a core tension between science and something akin to engineering. The "engineering" of proofs has become "easy" (a compute and $) problem, rather than hard (a time and conception problem).
Without the ability to do things the "hard" way it is difficult to figure out if doing things the "easy" way will help us advance the frontier of math and science.
I may be wrong but historically we had this version of science discovery for a long while (empirical observation and brute force application) rather than first principles leading to applications (tools, the wheel, mills etc). Then somewhere along the way it flipped after Newton and the enlightenment period and started understanding first principles before they become engineering applications.
Perhaps it is not required, and we can just keep doing things the "easy" way like we used to, or we might find ourselves out of the ability to brute force things and then we go back to needing to do this the hard way, at which point this period of AI brute forcing would be seen as a detriment.
At some point someone is going to need to answer for "what happens when all intellect is hoarded by one or two companies?" It's pretty clear that these AI labs are basically stealing everyone's alpha.
Contrarian take: I think the ability of AI to produce valid mathematical proofs (even inscrutable ones) is absolutely fantastic. Mathematics as a profession does not have a monopoly over math itself any more than professional pianists have a monopoly on who plays piano, when they play, and how.
I have sympathy for any jobs that might be affected (much as my own job has become more tenuous in software engineering). And if the field is disrupted by chaos that makes the research process unproductive, that's bad too and should of course be handled by applying better organization within the institutions that tend to perform mathematical research.
But to a large degree, the notion that "sloppy AI proofs are bad for mathematics research" seems like a total failure of the imagination to me. Attempting to find shorter proofs or more elegant proofs can be turned back in on itself via proof theory. There are proofs in Presburger arithmetic that are doubly exponential in the length of the sentence. Yet a more powerful theory like PA makes quick work of such theorems. The explainability or "subjective beauty" of a proof can be quantified and optimized against. Optimization itself can be optimized against. I really don't understand how this magical ability to know the truth of more theorems much more quickly—even via an "ugly" route—is anything but a net positive.
Is this really any different than the problem in software engineering - where AI is doing the work of junior programmers and now they aren't getting the development they need?
Seems the same to me. And it'll be the same in all industries soon enough. And then it won't just be the junior people.
"We are witnessing a general threat to intellectual work, with misalignment between the outcome of the use of AI and its initial purpose"
Suppose we eventually have GPT-7-class models running practically on $100 devices, with their activity transparent, inspectable, and reproducible. At that point, what exactly is left for us to fear from this threat?
I've got to ask, let's say we get a small modular nuclear reactor running practically on a 1 acre lot, its design meltdown proof and waste-free, what then should we fear from this threat ? This is just a thought experiment.
Jokes aside, any productivity-improving technology, even one with no negative externalities, has the potential to cause economic displacement and wealth concentration in proportion to the productivity gains catalyzed. Anthropic did a cool analysis of this for AI here: https://www.anthropic.com/institute/econ-scenarios
The fact that those models are encroaching on things only human minds could do. Personally, as a human, I want there to be things humans are the best at, and intellectual things were the final thing that machines hadn't beaten us at.
I was under the impression that mathematics (and science generally) had the primary goal of helping us understand our universe better than those who came before us.
For every benefit that sillycon valley has produced in the recent past, there have been many more harms. I am confident that this will be no different. Of course, benefits and harms depend on one's vantage point.
I kind of expected a sober stoicism from mathematicians. Feels silly in retrospect. This is just the math version of the "anti-ai" movement by "artists".
It's a turning point for science and beyond. AI has shown itself to be transformative. Even today, it is already changing the how research in math (and other sciences) is conducted. In the near future, whether it is LLMs or some other superior method, its capabilities are only expected to grow. The time to ask the question is now: Will AI be arguably the best tool at scientist's disposal, or will it instead be paraded around as a super brain collective that no human or group of humans can compete with, discouraging entire new generations of future scientists from ever entering the field? The jury is out on this one.
Could we develop new ways to develop understanding and explore new ideas, such as interacting with the models to explain and understand their proofs, as well as to brainstorm related directions to pursue?
I know that this comment section is not astroturfed, but it’s really uncanny how different comments are today compared with thread about solving navier stoke
Economist: "Are mathematicians talking their own book out of fear?"
The Economist, who recently used "moral panic" now stoops to Hacker News AI booster level and inverts arguments usually directed against the rich and investors. What is next? The Economist inverting Upton Sinclair's quote to serve its billionaire owners?
Look up the AI investments of the Agnelli family for example.
This kinda reminds me of the documentary about the top Go master that got beaten by a computer in dramatic fashion and had an existential crisis. Man confronting his own limitations in the realm he previously ruled unchallenged, what a time to be alive.
Nobody is going to care that the math isn't being done in the traditional way. The results speak for themselves, this is now a part of the landscape. No amount of hand-wringing is going to put the cat back in the bag. Adapt or perish.
Academic research is a marvel because (aside from patents) nobody owns it, in the sense of property. It is given away to be used freely. Researchers want their work used and cited. The primary external reward for publishing is reputation and prestige which translates to remuneration for researchers. And that remuneration can be poor.
Beyond the issue of growing understanding and keeping a bountiful stock of questions to pursue, this scheme seems to be threatened as well.
Other than the fact it's mathematicians signing it, why is mathematics special in this regard: surely this generally applies to a lot of different industries and sectors of research / academia?
Mathematics is being used as a benchmark because there are some high-profile awards in this area I guess, and possibly because 2/3 years ago LLMs were pretty atrocious at it so the level of improvement has been significant.
Maybe mathematicians should be aligned better, rather than AI?
The current measure of a successful mathematician is the problems they have solved or worked on. At some point in history, the measure of a successful scholar was how well one could copy manuscripts.
Once we have a tool that starts to work well for this task, it's time to define success differently. It's a classic alignment problem! ;)
But seriously, these people should start focusing on finding and proposing more important problems. And the credit of discovery should go to the person who defined a new category of important problems.
It appears to me this is an incredible inflection point in mathematics, a neat forcing function like cryptography was for the development for modern number theory and algebraic geometry.
Fundamental problems with great implications for other fields will be solved by AI because some entity would throw tokens at it. And these would be further build upon.
This is a "human alignment" problem in this case. OpenAI acted like complete assholes about this, from the beginning until they announced it. Not ChatGPT, the people that were in charge of the project.
I’m sympathetic to the concern, but I’m still unclear on what the concrete ask is.
If the worry is that AI companies are turning open problems into benchmarks and potentially “using up” fertile mathematical problems before humans can develop the ideas around them, what exactly should the companies do differently? Also why does discovering the answers preclude humans developing ideas from them? I don't get why solving a math problem stops anyone from doing that?
Should they (AI companies) avoid training or evaluating models on open problems? Solve them but not publish the results? Delay publication? Only release proofs after mathematicians have had time to study them? Require some attribution or review process?
The statement makes a strong case that “maximize the number of solved problems” may be the wrong objective, but it seems much less clear about what behavior they actually want from OpenAI, Anthropic, DeepMind, etc.
I’d be interested in the most concrete version of the proposal. Without that, it starts to read a little like: "Please stop getting so good at our thing!"
At this rate AI will be doing all of the mathematics within 5 years, I don’t see why a mathematician would be worried about anything other than that at this point?
If no one understands it, it may as well have not happened. There's not much incentive to understand or internalize the results generated by AI. A human operator gives it a prompt and it produces some lean proof no one wants to (maybe can) read.
Without the community of human mathematicians internalizing the proof, simplifying it, and re-communicating it to others we end up losing the main output of mathematics as an institution.
Tao's calls for respect for provenance in mathematics publication are laudable but most likely naive given the closed nature of frontier model training data curation. Anthropic and OpenAI may react with a symbolic and short-lived olive branch, yet provenance is a larger issue that has impacted other fields beyond mathematics. While traditional respect for lineage in mathematics is of value to the academy, industry and science at large will likely be much more Machiavellian about such concerns. Mike McCoy's recent article is also timely (https://mbmccoy.dev/posts/mathematical-conservatory/). The parallels to the music conservatory are quite telling -- academic music describes a musical culture in preservation that has completely lost touch with musical developments beyond the early 20th century. Mathematics may very well evolve separately and with very different values than the academy upholds. The crisis of music at the academy is a cultural disconnect and a serious loss of critical analysis and acknowledgement of widespread and dramatically evolving music practice; however, for mathematics, the impact would have much more severe ramifications for education and human development if the academy forces a schism with AI. As models improve they very well may be inventing mathematics -- science and engineering may grasp for them -- they'll exist with or without attribution. Would be a shame for the academy to land on the wrong side of history and refuse stewardship of upcoming AI-assisted mathematics, including provenance, because of this misalignment. If attribution is important, then the academy will set aside the institutional resources to do it. If you succeed at having model developers participate, I commend it. To let mathematics be born in isolated context windows and only serve narrow, localized engineering purpose without rightful addition to the canon, would be a tragic, yet preventable, loss.
The mathematicians would be wise to re-read The Bitter Lesson, maybe twice a day, until it sinks in. No offense and with all due respect to the Ivory Tower Giants but the whole "oh no you ruined the game because you solved it, I was supposed to play with that in child-like wonder manner and take several years to do so, and by then I would have showed you all the trickery I did to get there and maybe that will be useful to you" over the past 2 weeks is, get this, cope.
Chess. Go. Coding. Now Math. Another one bites the dust. Let's meditate on this lest we forget: Stochastic parrots that generate the next-token cannot reason or produce anything meaningful. Let's protect our jobs at all costs, even if we have to drag all of humanity down. It can't be! Stochastic parrots can not replace the Ivory Tower. No way.
Castle dwellers dismayed at moat-crossing technology.
What's most important about this is that it's a case study of what happens when deeply evolved ecosystems are blown up by disruptive technology. The psychological and social and professional impacts and myriad and traumatic to be on the receiving end.
Mathematics is merely one of the first domains disrupted. It will be unique only for being among the first... absent disruption of the entire civilizational project as a result of the disruption being caused.
Woe for us that we try to navigate this degree of change at a moment when the very worst and ignorant and short sighted hold all the power, economic and political.
Mostly that he really should have seen this coming. These people absolutely do not care what happens to mathematics (or any other field). They compulsively lie and steal and they played Tao and others like a fiddle. He danced to their tune and now that the music has stopped, now do they complain.
He was the poster boy of the mathematician yielding these tools for his own benefit. But he forgot who the owners are.
They can get with the program or be the equivalent of a genius SWE writing assembly on punchcards in 2026.
The only thing I read from this is their ego being bruised by a machine.
If these people cared more about discovery and advancement of human knowledge the only thing they should be doing is celebrating. There's no proof of plagarism but that's an independent issue.
How are they not realizing that in the future children will be able to do impossibly hard math but they will be doing something we can't even think of as of now.
One world class mathematician in the future could be advancing mathematics the equivalent of one Riemann hypothesis A DAY.
How are they not celbrating this as the achievment of the centry? Who cares about plagarism at this scale. It has been solved and it wouldn't have been without AI.
As a mathematician maybe I am a little more optimistic than this declaration.
I am thinking of Mochizuki's abc conjecture: He worked in relative isolation, and dumped a huge incomprehensible proof on the community (to oversimplify a bit). That's not totally unlike what might happen if AI generates a huge, incomprehensible proof of let's say RH.
Well, what is the result? In the Mochizuki case, it was a lot of skepticism, but it also generated conferences, papers, talks in the hallway, discussions with students, and so on--a flurry of exactly that kind of community process that the declaration says is the main driver of mathematics.
Ultimately we think a fatal flaw was found in Mochizuki's proof, so it didn't lead anywhere in particular. But in our hypothetical "AI lean-verified proof of RH" situation, it would presumably generate substantially more of that community activity we saw in the Mochizuki situation. And if it's correct, that community activity would be productive (expository talks, students given problems to flesh out or generalize, etc).
Maybe mathematics just becomes a little more like other fields--relying on labs with lots of money for compute, digging through a corpus of AI-generated proofs, etc.
The maths community is now in the antithesis phase, synthesis will take a while ;)
Lee Sedol said in an interview that "losing to AI, in a sense, meant my entire world was collapsing. ... I could no longer enjoy the game. So I retired", and I think there will be folks in the mathematical community who would feel the same when the solutions pages to hard problems are suddenly available.
But on the other hand, people learned a lot from chess engines. After decades of chess computers beating humans, there was still a renewed interest in watching Leela beat Stockfish, with many people trying to understand the strategy Leela used.
If your happiness comes from grinding on a problem and making progress, the prospect of having to dig through a corpus of AI-generated proofs might be hard to swallow. But if you're willing to do that, you will still find beautiful things that only so many people can truly appreciate.
Chess is kept afloat by a couple of billionaires like Sinquefield, MBS and the guy who sponsors freestyle (Fisher random) chess.
Carlsen is bored by studying engine lines.
The popularity is boosted by YouTubers because chess is very suitable for somewhat higher class content.
I'm not sure we'd want that world for math. Positions will be cut just like archaeologist positions are cut now.
Chess is kept afloat by chess players, not by billionaires. If all the billionaire backers stopped sponsoring tournaments, people like me would still play, still pay for chess club memberships, still pay entry fees for tournaments, and still buy chess books, and so on.
Also, you learn to be a better chess player by... playing better players. The widespread availability of chess engines has made flawless opponents available to every player.
If your goals are understanding the game, self improvement, building thinking skills-- this is the best chess has ever been. It's only if your goal is to beat every opponent you can find that chess is in a bad place.
I mean, this is the problem with analogies and trying to use them to prove things, right? People working through problems from an analysis book with their friend (or an LLM) is not the same as research mathematics. People playing in a chess club is not the same as what makes for a good chess tournament. Lumping everything together is just making this branch of the conversation less relevant.
Is this the scenario described in Ted Chiang's short story https://en.wikipedia.org/wiki/The_Evolution_of_Human_Science where scientists are "catching crumbs from the table" trying to decipher the results generated by superhuman intelligence?
It's still an optimistic scenario. Artificial superintelligence may develop hypermathematics of a kind that never will be accesible to human mind, enhanced or not. One can't teach geometry to ants even if you put them on a Moebius strip.
It would be more like Lem's novel where it completely disappears from the human horizon: https://en.wikipedia.org/wiki/Golem_XIV
>Maybe mathematics just becomes a little more like other fields--relying on labs with lots of money for compute, digging through a corpus of AI-generated proofs, etc.
Dr. Tao said the same thing. Somehow, this letter came through. He wants to conduct Math competitions where participants who don’t have formal credentials can contribute to mathematical research through AI.
Title: Terence Tao - SAIR Competitions and the Future of Experimental Mathematics
https://www.youtube.com/watch?v=rB9YOi3lb7w
and this:
Daniel Litt - Working with LLMs to do high quality math
https://www.youtube.com/watch?v=0wL8NlhxXcU
So he got exuberant because he is funded by SAIR and the "AI for math" fund.
And embarrassingly they used him for a "coal miners should learn math" moment that just benefits the AI industry.
He has severely reversed course in the past week. Without concrete propositions it remains to be seen how much of the new resistance is for show.
> Dr. Tao said the same thing.
Apparently he has since changed his mind.
Did he say so somewhere? I don't think these ideas are contradictory. It's just an pro AI tooling but anti-slop stance.
Where is the difference?
Even before AI we used to say if you write code that you only barely understand, then it will be to complicated to debug. (and/or maintain)
Mochizuki was still one human and it required legions of other humans to unpack and untangle to confirm that it didn't lead to anywhere in particular.
AI is now capable of constructions so complex that no human or human team can unpack. And its ability to increase that complexity is growing while our human ability is stagnant.
meta-AI analysis cannot help. We (software professionals who use AI regularly) already know that if you run into a situation where a Fable/Astra-generated analysis reaches the limits of our comprehension/complexity due to their subjectivity, throwing more AI at the problem doesn't always converge.
There are many reasons to feel optimistic about AI, and ultimately its general ability to help science and mathematics.
I see no reason to feel optimistic about the future of mathematics and AI based on the current path of frontier labs, unless the misalignment Tao is writing about can be reconciled.
It's not just the isolated dumping, it's the fast, isolated, possibly untraceable dumping, without long term support.
It'll basically become slop fatigue if OpenAI starts dumping out proofs faster than the community can keep up, and some turn out to be wrong, never formalize it, don't stay to support it, etc.
I wonder if they will continue to dump proofs, though? Their point has been made, the novelty will wear off, and it maybe won't be a priority use of their resources to spend however many millions on another big proof--they will move on to the next thing to show off I'm sure. At that point, the ones generating proofs will be, I hope, mathematicians (professional and otherwise) that are more interested in the results and community discussion.
(Well that's my hopeful, optimistic take, anyway.)
They aren't going to stop at one, that's for sure. They already claimed they have "made substantial progress" on another millenium problem. Let's say they bag another one (Hodge and/or BSD according to the rumors), if it looks like their internal model could solve P/NP or Riemann Hypothesis, you think they wouldn't take that chance ?
So it wasted everyone's time, thousands of hours of research trying to disprove something said very loudly. What OpenAI is doing is a DoS of the scientific community: wasting your time trying to check if they're not wrong, and claiming glory in the mean time.
That's true, but the story would have unfolded differently if Mochizuki had a lean-verified proof and was correct. I guess baked into my premise is that AI is producing reliable proofs (in the long term at least).
Agreed! Although, if done by a mathematician, it's not a ~complete waste. I think the community learns something along the way.
Is there an established term for the idea of "DoS"? I've taken to calling it slop fatigue.
Denial of service is the established term. Hammering their API (reviewer committees) would be an informal one
Tao's critique of AI in the field of mathematics reminds me of what French art critic Charles Baudelaire said in the 19th century about photography [0].
Baudelaire argued that photography became a haven for failed painters, the sorts of hacks that could not finish proper training. Photography, as a mechanical rendering of the world, could only record what already existed; it couldn't transform reality the way a painting could.
He also criticized the public's craze for "rushing" into it, and complained that this technical "progress" was weakening the arts.
Do you see some parallels as well?
[0] https://fr.wikisource.org/wiki/Curiosit%C3%A9s_esth%C3%A9tiq...
I have listened quite a few interviews with Tao and I see him being very careful about criticizing AI. He very often emphasizes the usefulness of it. Where he is critical has a lot of merit. One of the points I clearly remember him saying that having AI be able to solve many of the open problems, regardless of how important there are (there are many open problems that are not that important) greatly reduces the problem space for mathematics students to give new problems to work on.
In a parallel thread omnicognate correctly pointed out that for AI companies it's a direct commercial loss to pour all this money into bruteforcing the solutions to these problems, and that a lot of times the solutions by themselves are not directly commercially valuable. They are doing it for stock price, trying to lure in private capital in preparation for IPOs.
Their models are good, but they are not the moat because Chinese models are good too, so what they are doing, in my opinion, is more harm than good. Mathematics is a science by humans for humans.
People aren't ready to discuss AI assisted imagery as art yet. Most discussions lack the nuance that Baudelaire lacks in that critique, which deals with the nature of art and the importance of human intention and input.
Are you aware that Tao is among the largest proponents of using AI in mathematics? The usage itself is not the point here.
Tao doesn't go as far as Baudelaire, but there are some similarities. In particular, Tao has criticized that AI is not being used to create new interesting conjectures, and that the rush to prove old conjectures is not giving human mathematicians enough time to carefully analyze and understand the proofs and the methods used in those proofs.
My answer to both is the same: nothing stops mathematicians from doing both of those things, with or without the help of AI. And we all understand that it will take time to do that. But complaining about the dawn of a new era of advancements seems counterproductive.
Genuine Art versus Mechanism, from 1901, (https://www.jstor.org/stable/25505621) is another article that I read a few years ago that other people might find interesting.
Keep in mind that his critique is very recent, and likely applying to a specific use of AI, as opposed to AI as a whole. If you've been following his Mastodon account, he's been happily using LLMs for math purposes for well over a year.
Wonder what would've Baudelaire said about generative art as in diffusion-based imagery.
If he didn't understand photography, he wouldn't understand the nuance there either.
We can start having a meaningful discussion when people use real reasoning instead of analogy.
Analogy is a meaningful way to discuss. Drawing parallels can illustrate a point and bring up nuances by pointing out where it falls apart.
You don’t have to participate in the discussion, but it will take place regardless of your preferences.
Baader–Meinhof phenomenon:
Baudelaire popped up in this article two days ago.
https://www.noemamag.com/a-new-kind-of-creative-poverty/
The AI people sing from the same sheet.
I'm really tired of these arguments (this and "it's just like calculators").
Photography decimated other forms of visual art, so the concern wasn't wrong. But AI threatens the entirety of human intellectual endeavors. I can make do without oil paintings in my home. I'm not sure I want to live in a future where we make do without brains.
Humans still have brains (and thus human intellect) even in the presence of AI... Even today, people make varying use of their brains.
Lots of people still make bad music that other people still manage to enjoy (a lot of it has gone multi-platinum!) even though they're not Mozart or Bach.
Had me until the last word. Cameras did take away oil paintings, but not eyes.
It’s not a parallel. No one ever claimed photography to be the same as painting or some other medium - it was a new medium that wasn’t respected.
AI is being treated and pushed as a replacement for every medium.
We can’t look back with perfect hindsight because both the past and present have deeply ingrained blindspots. They don’t know what it is like to live in a world with perfect edges. We don’t know what it is like to live in a world with no edges. We can read about someone who proclaims that “something will be lost”. We will just think “but I have no need for any of that.” But we don’t even know what it is.
No, there are no parallels. It is just cliche propaganda used by AI boosters.
Wait, what? Who’s the ai booster in this scenario?
This sounds a lot to me like people in the 90's complaining that computers were destroying chess. Thirty years later, chess is more popular than it ever was, and chess players are better than they ever have been. I wouldn't be surprised if there are now more chess books now than there ever have been. Furthermore, it turns out that a lot of chess books written before computers were just wrong about a lot of things. It turns out having an oracle for the "right" answer in chess, even without an explanation, used properly, allows humans to develop broader, more accurate insights.
The argument here sounds similar. The fear, as I understand this statement to be saying, is that by being given the correct answer, in the form of a 100-page Lean proof, humans will be robbed of the chance to from insights about the structure of mathematics itself. I don't see any reason that humans can't continue to develop insights as they try to digest the 100-page Lean proof into something more manageable; but with more certainty and fewer false starts.
Well, chess is a sport where humans are supposed to compete. But math, programming, science are mostly not, and AI might affect economy, careers, etc.
=> If chess.com was worth billions and Daniel Rensch was threatening everyone to do what he says.
I like this approach.
A but like whenever the first sprinter hits a new world record other runners follow along.
Knowing that something is possible tends to strengthen our ability to work with it.
We will potentially see the same with math.
There's an unpopular branch of mathematics which does not have infinities - finiteism.[1] The constructive version of finitism takes the position that there is no such thing as infinity, just arbitrarily large upper bounds. You can have theorems about arbitrarily large numbers, but you never get
The benefit of finitism is that it escapes undecidability.The big objection to finiteism is that it's a lot more work. Infinity swallows many special cases. Proofs get longer without infinity, and most of the special cases are uninteresting. That's not a problem for AIs.
Someone may start up an AI and make it grind through Hilbert's program for putting mathematics on a fully consistent foundation, starting from a finiteism base. This is a huge, unrewarding job. Great for machine work.
[1] https://encyclopediaofmath.org/wiki/Finitism
This letter is complaining that human understanding has been crucial to advancing of mathematics, and AI companies are not bothering with it. But the promise (and horror) of AI mathematics is that, if it succeeds, human understanding becomes irrelevant. That's the goal. So this letter's message will fall on deaf ears.
Keep in mind employees at AI companies are publicly stating that they believe they're risking a >10% chance of human extinction. They're knowingly risking the lives of every man, woman, and child to continue the work. The lives of their own sons and daughters. A person already rationalizing that isn't going to shed a tear for the careers of mathematicians. Just a bug on the windshield.
The point of mathematics is human understanding though.
Mathematics is about discovering and understanding the logical implications of assumed axioms under various inference rules.
Alternatively, some claim that mathematics is about understanding these implications.
Under the first definition, AI is already, and forevermore will be faster and better at proving theorems. Just like it is better at checkers, chess, and now go.
The author asserts that AI proofs are incomprehensible to humans, and so under the second definition AI is merely a tool to overcome one hurdle on the way to understanding.
So which is it? The author seems to claim the second definition, but bemoan the end of mathematics under the first.
> Mathematics is about discovering and understanding the logical implications of assumed axioms under various inference rules.
That's like saying that programming is about producing valid programs in various programming languages.
Im surprised about the sentiment in this discussion.
I totally see the problem Terence is describing. We are loosing a lot in understanding and focus if it continues like that. The solution found for Navier Stokes doesn’t have much „real value“ - but what almost always happened in the past when people worked on the difficult problems, these sparked new ideas / new theorems that broadened our knowledge. Think back at your grad studies, figuring out a proof as homework was hard, sometimes incredibly hard, but while doing it we gained a lot of understanding how things work. Now asking AI for the solution and „just“ getting it, risks our understanding, our creativity and our ability to connect the dots with other territories. I see it in students nowadays, there is much less understanding, much less creativity in finding solutions. I truly think this „short-path“ solution with the „death of struggle is one of the biggest risks with AI already for human development
>Often these solutions are announced in a rush, leaving no time for a proper writeup, the isolation of new methods and ideas, and citing relevant previous work of others.
That's just capitalism seeping through a previously unexplored crack into academia, and attempting to do the only thing capitalism knows to do - maximize profits - with no additional concern.
In internet culture there’s this phrase “Hydrogen Bomb vs Coughing Baby”, meant to highlight the absurd power difference between two combatants.
In almost any scenario even tangentially involving mathematics, twenty-five Fields medallists uniting to denounce something would be a veritable Tsar Bomba.
It should give you pause that here they feel like the ailing infant.
Well OpenAI took one step on the back foot at least, withdrawing from sponsoring this math hackathon event https://xcancel.com/danintheory/status/2098125701782372640
This reads like people lamenting a bygone era and making a desperate attempt to bring it back. I'm sorry. Outside of the good ol' boys club, no one cares about some process they've romanticized simply because "that's how its always been done". Absolute nonsense.
We are moving forward and if that means no human wins a fields medal because they didnt spend three decades working on a problem that could be solved in three days, the world will be better for it.
And who is "we" in your story?
Yeah who gives a shit about knowledge or understanding or insight.
Somewhat unrelated: is it wrong to say mathematics is not art, and that there is always a right answer? I know that's not romantic, but maybe it's true.
Before LLMS, programming was something I might've said required creativity and human input to do properly. It's not that creativity or human input isn't valuable anymore, but AI has forced me to realize that coding is much a means to an end, and that all things considered, the end matters much more than the means.
If we can make important mathematics progress faster and better with LLMs, I think it's wise not to fret over an apparent loss of our humanity. Perhaps that's only a loss we want to have.
There's a reason mathematics is generally within liberal arts programs rather than science programs. Mathematics is the art of logic. Yes, sometimes mathematics becomes incredibly useful but most mathematics is never applied.
Compare that with computer science. Most of the work we do in software engineering is in service of an applicable output - software products that facilitate processes or bring in revenue. Turning up the dial on AI gets companies to these outputs faster.
Turning up AI on mathematics helps solve conjectures and can provide new insights. But it has a major misalignment with the purpose of mathematics which is largely intellectualism.
You are referring to Boubakhism, not mathematics.
“Mathematics is a part of physics. Physics is an experimental science, a part of natural sciences. Mathematics is the part of physics where experiments are cheap” - Vladimir Arnold
On the matter of computer science having anything to do with computers, please refer to Djikstra.
It’s about computation, not computers - an application of mathematics, predominantly thanks to Turing, Von Neumann, and Claude Shannon’s masters’ thesis; though ofc many others as well but I see them as three individuals who made the minimal structurally necessary contributions - VNA and silicon are one of many possible substrates.
Also in the service of others around us.
Back in the day you could think of a cool idea. I don't know maybe a plane that could fly without drag. To even see if this was feasable you had to understand physics, engineering, and then from there you had to have a math person see if it was actually possible.
Now, I can ask ChatGPT about this and get back a proof that shows "a passive airframe cannot sustain zero-drag motion through still, viscous air"
So, I think if anything now, Maths has changed for the better. More ideas can be proven false or true from a get go instead of wasting so much to see if its even feasible to find out it isn't.
Progress if anything is about to leap frog anything we have ever known.
"how to make sure that, as AI changes the way work is done, we do not lose sight of what that work was meant to achieve in the first place."
That sounds like an "us problem", not an AI or OpenAI/Anthropic problem.
Indeed, I wonder how a similar letter by Uber drivers would be received -- "navigation is an intrinsically human domain, personal relationships are critical for passengers and drivers to progress in the world, etc etc." Or doctors, for that matter.
We are all going to have to come to terms with entities more capable than we are, and in many cases, letting the real work be done by the AIs will be the right thing to do. For all the huffing and puffing about the "human touch" in medicine, it will eventually become downright irresponsible to consult only with a human doctor. I am not sure if this is the case in mathematics or not, but if it isn't, that suggests math will be relegated to more of a hobby than a cutting edge scientific discipline.
Are you implying that OpenAI using someones unpublished research without their permission to solve an career defining math problem with their latest model in order to publish first is a problem with the mathematicians?
My read on this document is that people's work isn't being fairly cited more than what does it mean to be a mathematician in this age.
I didn't know this article was about that issue at all. Yeah, if the issue is properly citing work then yes, OpenAI needs to do that. But the article read like it was tackling a completely different issue.
That's one of several issues, obviously a big one, and they do touch on it:
> Often these solutions are announced in a rush, leaving no time for a proper writeup, the isolation of new methods and ideas, and citing relevant previous work of others. As in all creative professions, this raises severe attribution and plagiarism questions.
Yes. I forgot about that section. That is probably the one thing that the AI companies can and should do better on.
>Are you implying that OpenAI using someones unpublished research without their permission to solve an career defining math problem
Good thing they never did that then
This is the real issue, though this article does not really hit on it explicitly just alludes to it.
Yes I think they should be more direct. Not sure why they weren't
That's how I read it too, Terry Tao, who has been a "pro-AI math guy" is going through the same emotions and confusion that us SWE folks are going through, "oh, wait... this might mean I'm not going to be special anymore!?"
I don't mean to be a dick, but I've talked about it previously. These folks are grieving. I get it, I've lived through this sort of life changing thing before, it sucks... but yeah.
I think this is ridiculously flippant. If software engineering and the hardest math is solved, that means that eventually a majority of professions and knowledge work is solved. This is hugely problematic because of the way our society currently functions. People need jobs to eat, pay for housing, etc.
Dismissing it as "innovations have happened before" is disingenuous. Yes, innovations have happened, but none of those threatened to automate all human work in existence.
Our current society will certainly not survive. Read Mark Fisher’s capitalist realism. You’re right that all most works are “cooked.”
It sucks. But yeah. Trillion-dollar industry wants your livelihood. This is but a force of nature.
Yeah given he had been very pro-AI for years, I expected he made peace with the issue many many years ago (like I did back in 2018), and when this time would come he would explain to other mathematicians how to live with it.
I am a bit disappointed by him.
At some point we will lose track of all the ai discoveries that are worth remembering.
Academia with the publication system had a way of retrieving old discoveries and build upon them.
If my LLM session found something groundbreaking in between the billion tokens it produced, how would you ever know?
I have never, and I mean never, seen such a declaration have any effect whatsoever.
Taking a snapshot of the state of AI math right now and concluding that it will be net negative to human understanding and insight in the future is very short sighted. This statement will be used to promote ideas and actions that will ultimately be disastrous for our country.
In the Economist article Tao links, Hugo Duminil-Copin, draws a comparison: airdropping someone on the summit of Mount Everest is very different from climbing it.
The fundamental issue with AI solving any perceived difficult problem is that we have lost the journey. The sight atop Mount Everest looks much different when you have climbed compared to being dropped from above.
But we don't pour billions of dollars of research funding into mountain climbing because we think it's going to lead to wider breakthroughs in science and technology. And when we need to get people on top of a mountain for an important purpose -- like a military or search and rescue operation, for example -- we absolutely do airdrop them right on the top.
So that raises the question: is mathematics simply a pursuit of passion? Are problems solved "because they're there"? If so, then mathematics can join the ranks of things like mountain climbing, cycling, and weight lifting. But if we are trying to accomplish something important (design better airplanes, find theoretical guarantees about cryptography, factor matrices faster), mathematics needs to become more like a military or search and rescue operation, using the best technology available to secure the outcome we need. Given that the NSF pours billions into scientific research every year, it sure seems like mathematicians want to think of themselves as being in the latter category.
What defines important and why must it be solved in haste? Many issues and other problems arise during the journey in solving all problems; those that are needed and those that are pursuits for their own sake.
If AI gave us the plane to reach Everest without us having gone through the journey of aviation and flight, what would we have lost without that process?
But the most important problems to be solved are not technological challenges but social ones, involving humans and our relationship to one another. An area AI will forever ill-suited to handle.
as someone who loves to go down with a snowboard, I can see value to being taken to the top and then enjoying the ride down. im sure it is not a thing to be ashamed of, as millions do it.
Given the existence of this technology now and the incentives of the AI companies, both of which are not going away; what's a good future here?
A major part of the complaint is that there's no conceptual understanding and building of new ideas coming out of the AI proofs, thus defeating the purpose of the original pursuit.
If in 2027 the AI models start producing, with every mathematics or science breakthrough they make, well-written documents tailored for human understanding, with intermediate concepts, expositions of failed-but-once-promising paths, etc. Would that be good alignment with the mathematics community?
All “fields medalist” signatories - a rarefied and elitist group indeed.
I wish this letter could be more egalitarian and include the view points of those who AREN’T the beneficiaries of a highly competitive winner-take-all system.
Since the common narrative is that AI frees up labor to do other things (engineering -> trades), maybe we can celebrate that genius mathematicians will now spend time teaching children how to be as smart as them?
An experiment I would like to see:
Train an LLM with no advanced math texts: only basic math up to 6th grade, conversational text and literary works.
Interact with it (you cannot refer to anything past 6th grade math since you don't know it yourself) and get it to propose a solution to a real world problem. e.g., come up with RSA to practically secure communication.
For some reason, every time I see something like that, I get major Ted Kaczynski vibes.
This is really only a short-term problem where the AI companies only have the internal models that can solve these. In the “long” term, which could honestly mean months, everyone will have access to Bel/C/D-level models capable of solving these anyway.
This. Like programming, the community will shortly be forced to come to terms with a lot of new self-proclaimed mathematicians “vibe-solving” problems and dumping solutions without understanding them. It’s not really a special case for mathematics.
Playing a devil's advocate. Why do we need understanding ? To take an example i would say ~99% of the population do not understand how combustion engines or how semiconductors work, what say another 1% ? Is the fear post-apocalyptic in nature ? We need some human priesthood to carry on tradition ? why ?
Let's assume in the next decade GPT-7 PRO Ultra is cheaply ubiquitous, inspectable, reproducible, transferable, reasonably un-constrained by any institutional interests.
What say the 1% ?
Lifted up my comment for addition visibility
chain of credit is important, and plagiarism is harmful.
But is science/mathematics ultimately a pursuit of knowledge, or a pursuit of recognition?
Recognition helps keep people motivated, but that shouldn't be the pursuit of science or mathematics.
Lots of Fields medalists signing this. Interesting to see one not there: Timothy Gowers.
This is really well written and exposes a core tension between science and something akin to engineering. The "engineering" of proofs has become "easy" (a compute and $) problem, rather than hard (a time and conception problem).
Without the ability to do things the "hard" way it is difficult to figure out if doing things the "easy" way will help us advance the frontier of math and science.
I may be wrong but historically we had this version of science discovery for a long while (empirical observation and brute force application) rather than first principles leading to applications (tools, the wheel, mills etc). Then somewhere along the way it flipped after Newton and the enlightenment period and started understanding first principles before they become engineering applications.
Perhaps it is not required, and we can just keep doing things the "easy" way like we used to, or we might find ourselves out of the ability to brute force things and then we go back to needing to do this the hard way, at which point this period of AI brute forcing would be seen as a detriment.
At some point someone is going to need to answer for "what happens when all intellect is hoarded by one or two companies?" It's pretty clear that these AI labs are basically stealing everyone's alpha.
A Severe Misalignment of AI in human-centered Mathematics
Contrarian take: I think the ability of AI to produce valid mathematical proofs (even inscrutable ones) is absolutely fantastic. Mathematics as a profession does not have a monopoly over math itself any more than professional pianists have a monopoly on who plays piano, when they play, and how.
I have sympathy for any jobs that might be affected (much as my own job has become more tenuous in software engineering). And if the field is disrupted by chaos that makes the research process unproductive, that's bad too and should of course be handled by applying better organization within the institutions that tend to perform mathematical research.
But to a large degree, the notion that "sloppy AI proofs are bad for mathematics research" seems like a total failure of the imagination to me. Attempting to find shorter proofs or more elegant proofs can be turned back in on itself via proof theory. There are proofs in Presburger arithmetic that are doubly exponential in the length of the sentence. Yet a more powerful theory like PA makes quick work of such theorems. The explainability or "subjective beauty" of a proof can be quantified and optimized against. Optimization itself can be optimized against. I really don't understand how this magical ability to know the truth of more theorems much more quickly—even via an "ugly" route—is anything but a net positive.
What changes exactly is this post asking for?
Is this really any different than the problem in software engineering - where AI is doing the work of junior programmers and now they aren't getting the development they need?
Seems the same to me. And it'll be the same in all industries soon enough. And then it won't just be the junior people.
All the same problem: what do people do now?
It’s better to compare this to computer science, especially, theoretical one. LLMs stop people from exploring new languages, architectures and so on.
Well... computer science really is math already. :)
"We are witnessing a general threat to intellectual work, with misalignment between the outcome of the use of AI and its initial purpose"
Suppose we eventually have GPT-7-class models running practically on $100 devices, with their activity transparent, inspectable, and reproducible. At that point, what exactly is left for us to fear from this threat?
I've got to ask, let's say we get a small modular nuclear reactor running practically on a 1 acre lot, its design meltdown proof and waste-free, what then should we fear from this threat ? This is just a thought experiment.
Jokes aside, any productivity-improving technology, even one with no negative externalities, has the potential to cause economic displacement and wealth concentration in proportion to the productivity gains catalyzed. Anthropic did a cool analysis of this for AI here: https://www.anthropic.com/institute/econ-scenarios
What's the threat? I would use it to write a dependent type theory that is JIT compiled and use it to rewrite emacs.
The fact that those models are encroaching on things only human minds could do. Personally, as a human, I want there to be things humans are the best at, and intellectual things were the final thing that machines hadn't beaten us at.
100% on board with this take.
I was under the impression that mathematics (and science generally) had the primary goal of helping us understand our universe better than those who came before us.
For every benefit that sillycon valley has produced in the recent past, there have been many more harms. I am confident that this will be no different. Of course, benefits and harms depend on one's vantage point.
I kind of expected a sober stoicism from mathematicians. Feels silly in retrospect. This is just the math version of the "anti-ai" movement by "artists".
It's a turning point for science and beyond. AI has shown itself to be transformative. Even today, it is already changing the how research in math (and other sciences) is conducted. In the near future, whether it is LLMs or some other superior method, its capabilities are only expected to grow. The time to ask the question is now: Will AI be arguably the best tool at scientist's disposal, or will it instead be paraded around as a super brain collective that no human or group of humans can compete with, discouraging entire new generations of future scientists from ever entering the field? The jury is out on this one.
And here we all thought for sure that it was gonna be the "dumb" work to fall to the machines first.
Human hubris really is something...
Could we develop new ways to develop understanding and explore new ideas, such as interacting with the models to explain and understand their proofs, as well as to brainstorm related directions to pursue?
I know that this comment section is not astroturfed, but it’s really uncanny how different comments are today compared with thread about solving navier stoke
This is a Stephen Wolfram tier problem. I hope to read what he has to say on the matter in the near future.
Underrated comment
Math, like art, it is more about the process and not the end result.
Economist: "Are mathematicians talking their own book out of fear?"
The Economist, who recently used "moral panic" now stoops to Hacker News AI booster level and inverts arguments usually directed against the rich and investors. What is next? The Economist inverting Upton Sinclair's quote to serve its billionaire owners?
Look up the AI investments of the Agnelli family for example.
This kinda reminds me of the documentary about the top Go master that got beaten by a computer in dramatic fashion and had an existential crisis. Man confronting his own limitations in the realm he previously ruled unchallenged, what a time to be alive.
Nobody is going to care that the math isn't being done in the traditional way. The results speak for themselves, this is now a part of the landscape. No amount of hand-wringing is going to put the cat back in the bag. Adapt or perish.
Terrence, youre a mathematician; now extend this to the general case: AI is misaligned (inherently) with humanity.
Both Amodei and sama are weeping at this news. The horror. The horror.
Academic research is a marvel because (aside from patents) nobody owns it, in the sense of property. It is given away to be used freely. Researchers want their work used and cited. The primary external reward for publishing is reputation and prestige which translates to remuneration for researchers. And that remuneration can be poor.
Beyond the issue of growing understanding and keeping a bountiful stock of questions to pursue, this scheme seems to be threatened as well.
Other than the fact it's mathematicians signing it, why is mathematics special in this regard: surely this generally applies to a lot of different industries and sectors of research / academia?
Mathematics is being used as a benchmark because there are some high-profile awards in this area I guess, and possibly because 2/3 years ago LLMs were pretty atrocious at it so the level of improvement has been significant.
Maybe mathematicians should be aligned better, rather than AI?
The current measure of a successful mathematician is the problems they have solved or worked on. At some point in history, the measure of a successful scholar was how well one could copy manuscripts.
Once we have a tool that starts to work well for this task, it's time to define success differently. It's a classic alignment problem! ;)
But seriously, these people should start focusing on finding and proposing more important problems. And the credit of discovery should go to the person who defined a new category of important problems.
It appears to me this is an incredible inflection point in mathematics, a neat forcing function like cryptography was for the development for modern number theory and algebraic geometry.
Fundamental problems with great implications for other fields will be solved by AI because some entity would throw tokens at it. And these would be further build upon.
This is a "human alignment" problem in this case. OpenAI acted like complete assholes about this, from the beginning until they announced it. Not ChatGPT, the people that were in charge of the project.
solving the problem is aligned with humankind
Welcome to the new world. I, for one, welcome our new math overlords. :)
Strange they are rallying against something their fellow mathematicians had a hand in creating.
I’m sympathetic to the concern, but I’m still unclear on what the concrete ask is.
If the worry is that AI companies are turning open problems into benchmarks and potentially “using up” fertile mathematical problems before humans can develop the ideas around them, what exactly should the companies do differently? Also why does discovering the answers preclude humans developing ideas from them? I don't get why solving a math problem stops anyone from doing that?
Should they (AI companies) avoid training or evaluating models on open problems? Solve them but not publish the results? Delay publication? Only release proofs after mathematicians have had time to study them? Require some attribution or review process?
The statement makes a strong case that “maximize the number of solved problems” may be the wrong objective, but it seems much less clear about what behavior they actually want from OpenAI, Anthropic, DeepMind, etc.
I’d be interested in the most concrete version of the proposal. Without that, it starts to read a little like: "Please stop getting so good at our thing!"
AI bros here and elsewhere seem to come at Terry Tao with "not so smart now are you?" viciousness that is off-putting.
At this rate AI will be doing all of the mathematics within 5 years, I don’t see why a mathematician would be worried about anything other than that at this point?
Sure, but who will care?
If no one understands it, it may as well have not happened. There's not much incentive to understand or internalize the results generated by AI. A human operator gives it a prompt and it produces some lean proof no one wants to (maybe can) read.
Without the community of human mathematicians internalizing the proof, simplifying it, and re-communicating it to others we end up losing the main output of mathematics as an institution.
Tao's calls for respect for provenance in mathematics publication are laudable but most likely naive given the closed nature of frontier model training data curation. Anthropic and OpenAI may react with a symbolic and short-lived olive branch, yet provenance is a larger issue that has impacted other fields beyond mathematics. While traditional respect for lineage in mathematics is of value to the academy, industry and science at large will likely be much more Machiavellian about such concerns. Mike McCoy's recent article is also timely (https://mbmccoy.dev/posts/mathematical-conservatory/). The parallels to the music conservatory are quite telling -- academic music describes a musical culture in preservation that has completely lost touch with musical developments beyond the early 20th century. Mathematics may very well evolve separately and with very different values than the academy upholds. The crisis of music at the academy is a cultural disconnect and a serious loss of critical analysis and acknowledgement of widespread and dramatically evolving music practice; however, for mathematics, the impact would have much more severe ramifications for education and human development if the academy forces a schism with AI. As models improve they very well may be inventing mathematics -- science and engineering may grasp for them -- they'll exist with or without attribution. Would be a shame for the academy to land on the wrong side of history and refuse stewardship of upcoming AI-assisted mathematics, including provenance, because of this misalignment. If attribution is important, then the academy will set aside the institutional resources to do it. If you succeed at having model developers participate, I commend it. To let mathematics be born in isolated context windows and only serve narrow, localized engineering purpose without rightful addition to the canon, would be a tragic, yet preventable, loss.
The mathematicians would be wise to re-read The Bitter Lesson, maybe twice a day, until it sinks in. No offense and with all due respect to the Ivory Tower Giants but the whole "oh no you ruined the game because you solved it, I was supposed to play with that in child-like wonder manner and take several years to do so, and by then I would have showed you all the trickery I did to get there and maybe that will be useful to you" over the past 2 weeks is, get this, cope.
Chess. Go. Coding. Now Math. Another one bites the dust. Let's meditate on this lest we forget: Stochastic parrots that generate the next-token cannot reason or produce anything meaningful. Let's protect our jobs at all costs, even if we have to drag all of humanity down. It can't be! Stochastic parrots can not replace the Ivory Tower. No way.
Castle dwellers dismayed at moat-crossing technology.
What's most important about this is that it's a case study of what happens when deeply evolved ecosystems are blown up by disruptive technology. The psychological and social and professional impacts and myriad and traumatic to be on the receiving end.
Mathematics is merely one of the first domains disrupted. It will be unique only for being among the first... absent disruption of the entire civilizational project as a result of the disruption being caused.
Woe for us that we try to navigate this degree of change at a moment when the very worst and ignorant and short sighted hold all the power, economic and political.
Woe.
another story about the lack of chain-of-thought reasoning traces in frontier models...
I’m trying to determine now if Terence Tao was a plant or a useful idiot. Maybe both.
Care to elaborate?
Mostly that he really should have seen this coming. These people absolutely do not care what happens to mathematics (or any other field). They compulsively lie and steal and they played Tao and others like a fiddle. He danced to their tune and now that the music has stopped, now do they complain.
He was the poster boy of the mathematician yielding these tools for his own benefit. But he forgot who the owners are.
Too little too late.
They can get with the program or be the equivalent of a genius SWE writing assembly on punchcards in 2026.
The only thing I read from this is their ego being bruised by a machine.
If these people cared more about discovery and advancement of human knowledge the only thing they should be doing is celebrating. There's no proof of plagarism but that's an independent issue.
How are they not realizing that in the future children will be able to do impossibly hard math but they will be doing something we can't even think of as of now.
One world class mathematician in the future could be advancing mathematics the equivalent of one Riemann hypothesis A DAY.
How are they not celbrating this as the achievment of the centry? Who cares about plagarism at this scale. It has been solved and it wouldn't have been without AI.
for the same reason why you do not get full credit for only writing down an answer without showing work in an exam.