Mathematics has changed. Let's act like it
https://terrytao.wordpress.com/2026/11/01/mathematics-has-changed-lets-act-like-it/Yup. This is what Terence Tao has been saying about digestion of results for several months now. Mathematics has become a field where results themselves matter less, the social aspect of attracting others to understand your results and explore new problems has become more important.
In a sense it is a little bit like software engineering, where writing code can sometimes be delegated to AI, and is arguably less important than understanding what the customer really wants from this software.
My recent take on AI is that people haven't adapted to the new huge potential of the tool, and don't dream big enough (yet).
It's like seeing a car engine for the first time, lamenting about the future of horses, and not realizing it'll also help us fly.
People have been dreaming running PS5 games on PC for a long time. Just when AI starting to become capable of doing that, Anthropic shut it down.
Yeah you can dream, but only what we allow.
There might be a “proof motive” in math which one could argue will drive the full automation of theorem proving. But we must recognize that profit is more universally valuable (i.e. it has value outside the industry in which it was created), whereas proofs are only valuable inside the math community (at least the pure math proofs the labs have been publishing thus far).
Maybe we should listen to people that care about negative externalities more often, and actually mitigate them.
There’s an immediate resistance towards change rather than embracing it and finding opportunities to improve and work with it.
You can drive 1000 miles and arrive at the destination on the highway quickly.
Or you can take the slow road and walk. You discover unrelated things, make new relationships, see the scenery, listen and smell what is around you and have time to contemplate things which may or not be related.
This particular tool economy robs us of all these things in the rush to the destination.
I'd sacrifice "progress" a little for some of the better bits of humanity.
Singularity? Probably not.
Tech bro dictatorship? Unfortunately a bit more likely.
None of the above? Then we have a small shot at a great future.
Having a machine that solves hard problems must be a good thing.
> other skills will matter more: choosing which terrain is worth exploring, steering fleets of airplanes, and explaining what they find to the rest of the world.
These all seem totally achievable by LLM agents, or at least, I don’t see an obvious reason why it wouldn’t be. 3blue1brown’s recent discussion on this subject was a bit better, but he spent the plurality of main body of the video assuming this scenario, devoting less time to the other possibilities. To me, it seems dangerous to build a math career on the foundation that AI won’t be able to explain math well in a few years, let alone a few months (which seems entirely plausible given the recent math progress).
One comment was "A common piece of wisdom is that mathematicians only have a few tricks in their bag – which they skillfully apply again and again." Feynman made that point in his autobiography. For various reasons, he had a different set of mathematical tools than others in his field, and that helped him to solve problems that stumped others.
A big AI model has access to all known tools. AIs have more breadth than any human. Some of these breakthrough proofs seem to come from applying techniques from areas different from what people in the field tend to use. I'm not qualified to comment on math at that level, but the comments by mathematicians seem to hint in that direction. That may indicate why throwing vast amounts of compute at these problems works - an AI can try everything.
[1] https://proofsandprompts.com/2026/10/08/100-reactions-to-100...
I wish mathematicians would just focus on this. This really is the problem, at the end of the day.
Having models get better at writing elegant proofs and explaining their results will not solve this problem - it will only make it worse, if anything.
We are all sympathetic to this. I, personally, am much less sympathetic to the absurd notion that it is "bad" that this new technology can solve important open mathematical problems at all, that we should stop trying to solve them, that things like the Mathathon are dangerous and needs to be shut down, that ugly proofs are the real problem here, so much so that you wish the open question weren't resolved at all, and so on. So silly.
But being pissed off that people are going to be out of work is something I agree 100% on. Hopefully, much like the internet, there's a way to make the whole thing a net benefit for society.
I don't see it. What I see is more wealth and power concentration and with the worst group of people possible.
CS had this moment decades ago, sans some theoretical parts that are joining the bandwagon now.
I did a bit of math research in grad school collaborating with my math postdoc roommate. I found the aversion to any computation making its way into the craft to be odd decades ago.
Well, now the proof’s in the AI generated pudding.
The wildcard is that we have no idea what the model after that will be capable of, or the model after that.
Of course if you solve any existing problem, new ones appear. That's not the point. The point is that AI will be able to advance on any problem better than any human.
That is the correct take, but I can understand that given how current funding system (esp grants) work the incentive are stacked against doing that.
From TFA:
"I’m ready to board the plane, because I want to see what’s there. At the same time, I would add that people who previously have been walking around on earth with their eyes closed are not going to recognize anything however high they fly; I still believe that many of the skills that mathematicians have now will not only be transferable but vital to the new world order."
That sounds a bit disconnected and rude.
If we don't interview candidates based on results, what is it? Politics. It already was. I had a JEMS paper in grad school and got zero postdoc offers. Many other cases.
The real shift is that math will become a hobbyists game. Make money other ways and then spend your money on humans and tokens to solve your problems.
[1] https://archive.org/details/colossus-the-forbin-project-1970...
Once again perpetuating the cardinal sin of lionizing mathematics heroes. Which to be fair is just THE culture of higher mathematics.
What good is a minuscule elite Cabal of savants? If these deep insights are inaccessible to 99.999% of the population, then they are no better than the manuscripts written by AI. We already have those.
among all the discourse, it seems mathematicians are vaguely converging on this higher layer of abstraction being where the human value in math is now. It seems across domains (such as in software too), people speak of “judgement”, “taste” and other fuzzy concepts around defining problems rather than solving them. The lowest level of abstraction where humans win is asking the questions, rather than merely answering them.
As math is so verifiable, the “transition” seems most poignant and quick there. Watching these big name mathematicians discuss this unfolding revolution in real time is fascinating.
Sure it can solve math problems by just following the implication arrows. But those are just low hanging fruits, i.e problems that humans were too lazy to deal with.
Machine proofs are useful machine understanding. You don't read the proofs, that's holding it wrong. You point another agent at the proof and prompt "use these ideas to prove this lemma that's useful to me". And it works, agents are faster given access to the proofs than without.
This analogy is pants on head stupid. They're talking as though the only thing AI will ever solve is the Langlands program, not as though we have discovered a generic tool.
It's like saying "they drove the car one mile -- and every mile driven leads to more roads that we can trot along, why are you so worried about the future of horses?"
I know, unrelated truths and coincidental timelines, part of me giggles nonetheless since the whole belief system behind the market relies on infinite coincidences
Sums up the reaction from a lot of developers too.
1. Make mathematics a closed community, only people who join this community can read and work on its stuff. I imagine a VPN that contains all maths knowledge that only members can view, similar to how big tech handle their codebases. It needs to be hard to copy and paste that stuff into the open internet and doing so should involve serious punishments like jail time, similar to posting say proprietary Google code on the internet.
2. Anyone caught using AI is excommunicated from the society, his access to the VPN permanently revoked, and his work is never interacted with again.
3. There will be a bit of a disruptive period as maths moves from open to closed model. During that time AI will keep solving more problems, but as long as mathematicians stop contributing more open problems, at some point AI will stop (either because it has solved all open problems, or it can’t make progress anymore because scaling is no longer economical).
I think Association for Human Mathematics should do this, I think they will be surprised by how much funding the public is willing to allocate to this (public hates AI), because fundamentally humans like thinking about and doing maths, and do not mind dedicating a bit of the surplus produced from society to let others do this, similar to arts. Just because I can prompt a better melody from Suno, doesn’t mean humans will stop wanting to make music.
Of course other mathematical associations can and should form, which fully embrace AI. But if the VPNs secure, these associations will not be competing as they won’t even have shared consensus of what problems to solve. They both will still need to compete to get public funding, which is fine, I think AI math will have a harder time justifying their funding since anyone can prompt a robot.
This guest author runs a seminar to lure people into AI: