Hacker News November 2, 2026 36 min signal 2026-11-02

Mathematics has changed. Let's act like it

Archived text mirror, captured for personal reading when the Signal ran. Formatting is approximate — read the original at the source.

What's new

Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao

Home

About

Career advice

On writing

Books

Mastodon+

Applets

Subscribe to feed

Mathematics has changed. Let’s act like it

1 November, 2026 in guest blog, opinion | Tags: Frank Calegari | by Terence Tao

This is a guest post by [Frank Calegari. This blog post was initially written in a different file format and converted using AI. — T.]

Why we should not be sad

The release by OpenAI on October 6 of over 700 research papers was a watershed in the history of mathematics. AI is now undeniably capable of making groundbreaking contributions across many areas of mathematics. So why are some mathematicians so unhappy?

Some of it is the apparent disregard by AI companies for the practice of mathematics. The OpenAI papers — despite some tremendous ideas — are atrociously written and violate our community expectations of attribution. Some of them are even wrong. We have much more control over how we hire mathematicians, publish papers, and train students than over the behavior of trillion-dollar companies, and that is where our efforts would be better spent.

Much of the reaction seems to reflect a feeling that the subject that they love is under attack, and is being “hollowed out”. The recent OpenAI dump made barely a dent on the general problems of functoriality and reciprocity in the Langlands program. But even if it had solved every problem in the Langlands program, to imagine that would have “solved number theory” would be as naive as saying that the construction of the periodic table solved chemistry. Mathematicians should do a better job explaining that when we talk about the central problems in any area, we are merely discussing the most natural boundaries of our understanding — and that unlocking them is not the end but the first step to finding new playgrounds to explore. Of course, this takes time. I looked for areas of mathematics which were “harder hit”. It is hard not to be struck by Hugo Duminil-Copin’s lament:

Not a single one of the major open problems I have publicly mentioned throughout my career (whether in a talk, a lecture, an article, or even a grant proposal) was left untouched by the announcement. Everything has been claimed to be proved.

I expected to see a few of them in the list. But not all of them. Not all at once. Not with such nonchalance.

How would I respond to that?

The classification of finite simple groups.

I can’t say much about percolation theory, but there is another historical precedent I think mathematicians should take note of. In 1972, Dan Gorenstein announced a program towards the classification of finite simple groups. After a flurry of activity over around a decade, the “classification” was announced by Gorenstein in 1983 (somewhat prematurely, with the case of quasithin groups not being completed for another two decades by Aschbacher and Smith).

The classification of finite simple groups was in many ways a huge success, but it was also a failure in that it — apologies to my group theorist friends and collaborators — cooled a lot of the interest around the subject. The “famous problem” had gone, and mathematicians on the whole turned their attention elsewhere. And yet, there remain very rich questions in finite group theory and even about the classification itself (to name just one: John Conway’s favorite question is why does the Monster group exist?). Perhaps for some fields, the OpenAI dump feels like how a group theorist may have felt in 1970 if the classification was dumped in their office, not in the form of the actual papers, but printed out on a spirit duplicator, smudged a little, then spread randomly like confetti all over the floor.

Right now, we need efforts like that of Gorenstein, Lyons, and Solomon and their work on the revised classification. If this was all we had to do, then it would be a fairly thankless task. But we also have the responsibility not to pronounce the subject “done” but rather — with these new tools available — ripe for further investigation. When mathematicians lament the winding paths missed by the construction of a galactic bypass, they need to realize that those old paths still exist and seek them out. And we need to reward that behavior when it comes to offering people jobs.

The promise of AI, and the (dis)-unity of mathematics:

Since I was 15, I’ve wanted to know what was. First, there was the childhood fantasy of finding a formula that Euler missed. But soon one learns more: how Grothendieck’s period conjecture, together with a sufficiently fine understanding of the geometry of mixed Tate motives (following work of Don Zagier, Sasha Goncharov, Francis Brown, and others) gives a completely satisfying structural, conjectural explanation of what’s going on. The irrationality of , or even its transcendence, is a mere shadow of the actual interesting underlying problem. Apéry’s proof of the irrationality of has inspired me for over years not because of its conclusion, but for how it reveals the tiniest hints of some still secret story relating algebraic -functions to arithmetic.

I hope AI can help mathematicians break out of the straitjacket of being constrained by the first natural conjecture they cannot prove, and work on unraveling the deeper mysteries woven throughout our subject. In the last thirty years, progress in mathematics by humans has been remarkable. But at the same time, I have felt a growing unease; the number of times I have seen mathematicians of all levels being unable to explain to someone even slightly outside their field why what they are doing is interesting has been distressing. The natural grooves of our profession have very much been bent toward more narrow technical expertise than a bigger vision. AI allows us an amazing opportunity to broaden ourselves as mathematicians.

I have tried (not always successfully) to be broad as a mathematician. I had some help by the fact that, while I knew since I was 17 that I wanted to work in algebraic number theory and the Langlands program, I grew up in the crucible of Melbourne University, which was a home to many Thurston students and low-dimensional topologists. This meant I was bathed in the sweet liqueur of hyperbolic 3-manifolds. That exposure has helped my career immeasurably. As with any two deep areas of mathematics, hyperbolic three-manifolds and arithmetic are much more closely connected than would first appear. But it’s still hard to be an expert on both, let alone pursue a crazy idea combining them. Let me get technical for a moment. For every imaginary quadratic field , there are many commensurability classes of compact arithmetic hyperbolic three-manifolds indexed by non-split quaternion algebras . Manifolds in each of these commensurability classes give rise to elements in via the decomposition of into hyperbolic tetrahedra, and their volumes are always rational multiples of . I have always had this idea that one could conceive of elements in these different commensurability classes as forming some type of geometric Kolyvagin system (“Heegner points”) associated to , which one could yoke together by some unknown integral arithmetic version of the Jacquet–Langlands correspondence. This is not a question I have pursued, for two reasons. First, there were so many underlying conjectures involved that any result I could prove was going to be conditional on many of them, something that’s not always appreciated by the mathematical community. Second, assembling all the technical background to formulate such an idea precisely would have taken a huge amount of background work. Now, with AI, the barriers to trying such a problem are much lower. It’s not trying to prove a theorem. It’s trying to explore some completely new direction that may or may not be nonsense. There are so many problems in mathematics that are still so fresh and vital but were previously untouchable that the opportunity to approach them is massively exciting. We need to be more ambitious, to create bold research plans that weren’t even conceivable a year ago.

This is not to say that everyone must (or must not) use AI. But we have to rethink and readjust what’s important. Proofs of major conjectures, using AI or otherwise, are going to remain part of the new mathematics. But working toward broader programs (new and old) and structural understanding is going to play a more fundamental role. Christian Szegedy raised the following point:

Mathematics prided itself on being meritocratic, with deep reverence for the explorers: the people who could climb what nobody else could. That specific kind of heroism will matter less, and 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.

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.

The difference in reaction between the optimists and the pessimists is that, for the pessimists, the game is over. For the optimists, the game has just changed. I acknowledge that there are aspects of our mathematical culture that we treasure that won’t survive, and it is only human to grieve that loss. But there now exists an amazing new tool to study mathematics. To turn away and say that the community of mathematics as it currently exists is more important than mathematics itself would be a terrible mistake.

The ugly truth.

For all that everyone has been saying on this blog and elsewhere about how mathematics is about understanding, it takes one look at the arXiv to see many people in our profession rushing out AI-assisted papers in a somewhat unsightly rush to be the “first” to prove things. As many others have noted, there is quickly becoming a gulf between the ability to produce novel proofs and the ability to either demonstrate understanding or push the subject in new and interesting directions. As people crank out more and more results, the Leiden declaration is being honored more in name than in spirit, and it seems like “business as usual” except with a much more compressed time scale and the constant threat of being scooped hanging over people’s heads.

To me, someone who chooses a worthwhile problem, obtains a proof completely using AI, understands it thoroughly, and uses it to develop interesting further questions or directions has made a substantial mathematical contribution. I would give that person substantial credit even if they supplied no new ingredient in the original proof. Choosing worthwhile problems may end up mattering more than producing proofs.

Our obsession with conjectures tends to greatly undervalue the exploratory work that makes answering (or even asking) these problems possible. We are in danger of making that mistake a hundredfold now by encouraging or rewarding the rush for everyone to press the button to get these new results out as soon as possible. I would encourage all senior mathematicians (with the privilege of tenure) to take up the work of creating future problems and exploring new ideas rather than simply using AI to answer existing questions. If you, as a senior mathematician, are stressed about being scooped by AI, then you are not being ambitious enough.

So what are we actually going to do?

Think pieces are ultimately pointless unless they propose some mechanism for actually affecting how people act. The tools that are going to be the most effective are going to be economic rather than rhetorical. Mathematicians want recognition, mathematicians want jobs, mathematicians want grants. The tools that we currently have to affect this are hiring and accepting papers at journals.

Let me offer some very basic concrete suggestions, followed by a few details.

Evaluate all work as if it is AI-assisted.
Make hiring much more about personal interactions rather than a paper file. Interview postdocs and graduate students in person.
Demand more from journals, and abandon those that do not adapt.
Put a greater emphasis on breadth in graduate education, but do not abandon technical skills.
Give better seminars.
Take more ownership of the results of AI.

Evaluations:

Nelson Cole famously spent three years of Sundays discovering the prime factorization

In , this was a contribution to mathematics. Factoring the same number in by hand would be an equally impressive feat of arithmetic, but its contribution to mathematics (even if it had not previously been known) would be far less, since this can be done on a computer algebra system in far less than a second. It’s obvious that AI is changing the economics of what is “easy” or “hard” — much has already been said about the coming collapse of the theorem economy. In time (perhaps quickly) there will emerge a new sense of what remains a substantial contribution to mathematics, whether it be asking interesting questions, developing new programs, or something completely different. In the future, I see no reason to reward a paper based purely on a result that could be produced by machine, whether it was or not. A new proof can still deserve substantial credit for the ideas it introduces, even when its conclusion is already obtainable by machine. So why not start now? Importantly, I do not think this in any way means that access to AI will be required to make progress in mathematics — as long as we continue to value human understanding. While I feel that this is the most controversial recommendation, I also feel it is the most inevitable. It requires relinquishing an aspect of our reward structure that has been around for a long time, but at the same time a structure that will make no sense in the future. Right now, the use of AI carries a stigma, and the phrasing of many AI disclosures reads more like an attempt to minimize the contribution of the machine. If we evaluate every paper as potentially AI-assisted, then we must insist that its authors explain why the mathematics is interesting, what questions it raises, and how it connects to the broader subject. Don’t we want people to be doing this anyway?

Hiring:

It’s not going to be possible to get people to change unless we change how we evaluate people at the level of hiring. Lazy committees in the past have sometimes pointed toward a JAMS paper, an Annals paper, or some other collection of publications to justify how a candidate is impressive. I am looking for a narrative of where you want mathematics to go, the technical ability to explain why this may be possible, being able to converse about many areas of mathematics, and a demonstrable record of having done all of this in the past. This is not in any way a radical new idea. The hiring process is going to have to be much more about personal interactions than a paper file.

It should become standard practice to interview not only for tenure-track jobs, but also for postdocs and graduate student positions. I’m sure we have all had the experience of admitting a graduate student who was “working on higher homotopy theory” to only find out after they are admitted they can’t compute the homology of the circle. At the same time, I have interviewed candidates at the tenure level whom I was initially ambivalent about, but after a 30 minute conversation in my office I was totally convinced that here was someone who not only had a deep vision of mathematics but who was also able to communicate this to their colleagues. Once we take this approach, we then have the responsibility to train our own graduate students to be better able to communicate mathematics, something that we should take much more seriously. Note there is also a difference between knowing mathematics deeply and explaining it fluently; they are related but different skills. Ideally I want both, but it is the first that I ultimately value more highly.

Journals:

The journal system was in dire need of reform even before AI. Our current incentives already are to produce more and more incremental mathematics which is only flooding the system. The radical overhaul required is not going to happen through consensus agreements with editorial boards. (Do you know how hard it is to get academics to agree on anything?) Being accepted by a journal has long since ceased to be a guarantee of correctness (if it ever was) and has simply acted as an imprimatur of quality. I explained above the philosophy of how I think we should evaluate manuscripts going forward. On that basis, I would say that a significant proportion of papers posted to the arXiv should not be published anywhere. If journals demand much more from a paper in terms of writing, ideas, and exposition, I think that would make life better for everyone — editors, reviewers, and even ultimately authors.

If editorial boards are unable to adjust, then a more radical idea is to (at least temporarily) abandon journals altogether. (I still see a place for journals which emphasize exceptional utility and clarity (consider Essential Number Theory)). I am not advocating that people stop writing papers, but removing the fig leaf of journal publication forces the paper to stand on its own merits. Is the paper telling a compelling story? Is it Lean-verified? We should be producing fewer (and better) papers, not more. Autonomously AI-produced proofs, hopefully Lean-checked, also have their place, and should be recorded as part of our collective body of knowledge. (see hexagonmath.)

Graduate students, first-year courses, and seminars.

One of the thorniest issues we face is how to train graduate students. The typical thesis has always been to assign a problem in the overhang, an exercise that will teach the student the technical skills to solve a variation on some old problem, with the expectation that, as they continue, they can expand the techniques they’ve learned to new cases and then hopefully branch out to wider problems. In an age where such a thesis can be produced by the press of a button, we need to re-evaluate based on what we hope a good student will be doing in the future. Even with AI resources, no one is going to be able to explore the links between compact arithmetic hyperbolic three-manifolds and Kolyvagin systems if they don’t know what either of these terms means. (And even if somehow they could, why would they care?) It has become much more important to give students a broader overview of mathematics as a discipline. What I want a graduate student to achieve at the end of their PhD is a view of mathematics that extends well beyond their discipline, and yet with demonstrable technical skills on at least some class of problems. Often, students graduate with technical skills in a subarea, but their experience with other aspects of their area, let alone other areas of mathematics, consists of technical instruction which they have since forgotten, without any real vision. I advocated above that we need to evaluate work as if AI was involved. But this does not imply that we don’t need to teach students to do deep mathematics without AI just as the existence of computers doesn’t mean we should no longer teach children arithmetic.

This has consequences for what we teach, as well as how students learn to talk about it. A graduate course should leave students with some understanding of what the topic makes possible elsewhere in mathematics. We should expect them to retain a sense of the questions and connections, even when they have forgotten some of the technical details.

If we are to evaluate people more on how they can demonstrate understanding in person, we clearly need to be far more conscious of training our students to explain mathematics to other people, either in person, or in seminars, and to their peers. We need to work on giving our students opportunities to learn this skill. Remember that the most successful cohorts of students are the ones who learn together and who talk mathematics with each other.

We should also not forget that not everyone who completes a PhD in mathematics goes on to academia. We should also ask whether the length and structure of doctoral training serve students who will pursue careers outside academia.

Seminars:

Seminars are traditionally where someone presents the details of their latest result. Because math is difficult, this almost always consists of explaining some minor tweak to a previous method, often without anywhere near enough broader context to make it interesting. Instead, seminars should rarely be focused entirely on new work. They should be framed around the broader interesting questions, explaining the avenues on which we are stuck, on which we can make progress, on which we are hopeful, and then perhaps at the very end explaining some novelty, if there is any. This is how I have always encouraged my students to give talks! As senior faculty we all need to be vocal in our seminars demanding more from our speakers.

Ownership.

Mathematicians as a profession would do well to take more ownership of these results. What has come out of the machine has been built on the intellectual foundations of several millennia of human mathematical endeavor. Once you start to take credit on behalf of humanity (rather than attributing these results to either a Silicon Valley tycoon or a mathematical Twitter buffoon), you’ll immediately start to feel much better.

The world is looking at us.

My dean recently visited New York to meet with donors and other friends of the University of Chicago, and everyone she spoke to, regardless of whether they were a math major or not, wanted to talk to her about mathematics. The world is looking at us. There are many many people who care about mathematics without necessarily having a deep technical background (3Blue1Brown has over six million subscribers!). All of my friends in the humanities truly believe that having mathematicians in society both as custodians of one of humanity’s oldest intellectual activities and explorers of the frontiers of knowledge is important. I understand that some part of the culture we so deeply care about will disappear, and as humans, an emotional response to that is very natural. But this is a time to explain to everyone that there are so many great new opportunities, possibilities, and reasons to be optimistic. We are on the verge of a new era of mathematics, and I am excited to see what happens.

Notes:

For more context on Duminil-Copin’s remarks, see also this numberphile video. His full quote also says “We are a resilient community, and I have no doubt that we will adapt”.

Many of the themes mentioned here have been brought up in other posts. To give three examples:

The idea that mathematicians should take more ownership of the results produced by AI was also explored in Nestor Guillen’s post.
The idea that AI gives us the opportunity to be far more ambitious is raised in Ben Antieau’s post.
The idea that we need to revisit our reward structure to create the right incentives was explored in Bryna Kra’s post.

The Polymath Blog

19 comments

Comments feed for this article

1 November, 2026 at 10:59 am

Anonymous

First off, thank you for putting into words what I’ve been insinuating privately to my friends for months.

Second off, I didn’t know Karthik Prasanna was important enough to merit its own category on your blog, but, having stuffing myself with poutine and having seen Darmon ask away so many rapidfire questions across one week last year, can definitely see the allure.

Third off, I think it’s hardly a coincidence that you both enjoy chess as a hobby and regard class field theory as taking years to master, despite being “solved” for nearly a century now. Actually there is a 500 move forced mate KQN/KRBN that has long been “solved” by the Lomonosov tablebase, but for which humans have approximately zero idea what is going on. I find these comparisons to be a nice toy model of your essay above.

1 November, 2026 at 11:15 am

Nietzky

Adapt how? Similar how adapted to neoliberal model? By hollowing ourselves out, flattening the culture, fitting into the market, and surrendering the remnants of human agency to cybernetic capitalist system?

1 November, 2026 at 1:07 pm

Anonymous

Flattening culture? By all means please explain what you mean here? And I do mean that in the most literal “this is my culture, that we are losing, because of this”. Because that’s valuable in itself. Understanding culture, has value in itself. So what is being lost. Do tell the world.

1 November, 2026 at 11:17 am

Anonymous

I see nothing but common sense in this article. Let’s act like it!

1 November, 2026 at 11:37 am

Daniel

Great ideas. I feel like this is the right approach

1 November, 2026 at 11:52 am

Anonymous

You said “Choosing worthwhile problems may end up mattering more than producing proofs.” Check out the linked video. It shows that AI is already pretty good at this in math.

1 November, 2026 at 12:16 pm

Nestor

Frank — this is great, thank you. This really gets at the optimistic vision –, but also clear-eyed about the current problems — that I feel captures where most mathematicians are today. This optimism has gotten a bit lost in the conversation.

By the way, you mentioned my essay from the summer. In it, I wondered about the possibility about the solution to problems dear to me, and not just NS: I mentioned the the Komlós conjecture, the Mahler conjecture, and the nonlocal ABP. Since that essay came out, the first two problems have had complete solutions found in the output of an LLM (for Komlós in particular, this was something I had been working on a lot the last 2 years), and the nonlocal ABP had on one had a counterexample in its strongest form, while also a proof of a still quite good version of the nonlocal ABP was also found — again, the output of an LLM.

In all cases, those solutions did feel to me like a triumph of the fields that they come out of. There were really gems that we had been missing out on. Another good example came out last week with the proof of the local smoothing conjecture, which connects the problem to the Monge-Ampère equation.

In the behavior of the companies and the lack of transparency some of the genuine excitement over this progress has been lost. This is why its important to not equate AI technology with AI companies. I do think more than I did months ago that, as we take claim over these proofs as a community, and we start working on the reforms to the profession, that the mathematical community will indeed come out of this not only stronger, but also having a more useful and substantive relationship with the world outside mathematics.

1 November, 2026 at 12:20 pm

Anonymous

Another piece saying that there is no room for the average mathematician in the new math.

1 November, 2026 at 12:46 pm

Anonymous

Spend any time with a pro LLM model and you’ll see how much lower the bar is for dreaming the good dream. This bar is lowered as much for average mathematicians as it is for top mathematicians.

1 November, 2026 at 12:36 pm

Nick

I think we should also do the inverse, not everyone who lacks a degree in mathematics are incapable of mathematics, and I think with the introduction of AI, many more individuals who are actually mathematically gifted will find themselves able to understand mathematics, not because they couldn’t before, but because the pedagogy of mathematics is somewhat elitist and very expensive.

Personally, I love graphing in desmos, I love using python to graph things, I enjoy digging into a problem, but I also have Autism and ADHD. For the first time in my life, I can take mathematics at my own pace, and it has been incredibly rewarding. Insofar that I was able to get top 13% in HackerRank’s most recent Orchestrate Hackathon; two years ago I was struggling to figure out how to get python 3.9 and Ryzen AI software to work together, now I can write triton kernels for specific AI models on specific hardware and understand exactly what I am doing.

The future is now and honestly I’ve never been more excited.

1 November, 2026 at 12:59 pm

fairplaywes

I actually disagree at least in part with the statement

To turn away and say that the community of mathematics as it currently exists is more important than mathematics itself would be a terrible mistake.

If one believes that AI is already and might soon be better than humans at all aspects of math, including proofs, theory building, exposition, asking new questions, etc, then the one thing left for human mathematicians is human mathematical communities. To suggest our communities are less valuable than OpenAI’s slop theorems is to start down the road to a future in which all research mathematics is done by AI and for AI with no human involvement, and in which mathematics as a human endeavor is left for hobbyists.

2 November, 2026 at 1:28 am

Anonymous

Given the rest of the paragraph, I think the quote should be understood as stressing “as it currently exists”, rather than the community aspect. (But I agree with the point you are making after that.)

1 November, 2026 at 1:28 pm

Kęstutis

The work of Maxim Kontsevich is extremely profound. Maxim Kontsevich is absolutely horrendous at explaining that to somebody who doesn’t have prerequisites of having read Grothendieck’s Sketch of a Program and other diving into the weeds of geometric anaylsis. Countless students getting a degree don’t care at all anyhow, they just want their school to give them a certificate so they can seek a job on wall street or something. It’s hard to compartmentalize feelings about sociology, economics, and politics from raw math. For the aforementioned type of student outsourcing intellectual labor to available tools is almost a no brainer.

Well before AI it wasn’t that much of a hot take to insinuate the modern academic situation would discourage chew up and hinder the raw curiosity and passion of Einstein or Grothendieck.

There is no crisis if AI solved the Reimann Hypothesis today, mathematicians will find new problems. I think the vague worries emerging here are the same if it was a human who did that instead on a sheet of paper, that this knowledge is not very valuable or meaningful in the society we seem to be building that resembles an “idiocracy” or “don’t look up” where it takes herculean effort to get the average individual glued to tik tok for hours a day to even engage with the critical thinking required for a simpler problem.

This is a good article but I do ask about when and if this ethos is brought to something like environmental data and advocacy, in fact there’s quite a lot of stories to tell about how for what is workers concerned about their labor and favor compensation a very meek response.

I really am growing more and more stern that the problem is that there is no problem with mathematics at all. In fact it’s pretty telling it’s easier for us to fantasize about that than actually imagine any meaning suggestion to addressing critical issues with education…

1 November, 2026 at 2:58 pm

Daniel M Gessel

Should we analyze the AI models to understand how they are making these discoveries or just accept artificial intelligence as equal or superior to our own? Would the response be different the discoveries were found by a traditional heuristic search based theorem prover? One with algorithms we could analyze and understand, rather than the giant black boxes that are today’s AI. If the AI weren’t designed to present a human-like interface, would we understand it as a tool, not as an alternative to human beings?

1 November, 2026 at 3:02 pm

jesusvilelajato

Dear Professor Frank,

Thanks for sharing your deep meditations and perspectives on the surely brigth future of present and future mathematics and mathematicians alike.

Coming precisely from the other end, a seasoned enterprise practicioner with years of accumulated AI studies, understanding and practical usage, I also see with increasing concern how both major AI labs and Academia single out our contributions, even when those come in the form of explicit machine checked AI formalizations, on the grounds of AI usage.

We are indeed navigating dangerous epistemic times, where major labs feel as tough displacing traditional mathematic gatekeepers in Academia, but also where Academia fences out contributions on the grounds of AI usage, as tough the observable increase in quantity and the painful decrease in quality of published papers were not easy to correlate with the advent of mainstream large language model usage, such as GPT-4.

It takes only paraphrasing to circumvent most AI detectors, and one can pose some members inside the fence are prodigally using such tehcniques to present minor advances in methods and results. in a non-sensical race for the flag. All the while, different epistemic angles and ordinary common sense approaches are discarded upon the basis of AI usage, even when such usage is explicitly recongized and accounted for, both in the form of machine verification and epistemic hardening.

Even when not a mathematician, I do belive mathematics will change, and if I migth be so bold as to point out where help is needed, I woudl answer from engineering. In a decade, mathematicians will need maps, covering formalizations as well as sematic lineage, and powerful novel systems ensuring their insigth is not lost in the transformation.

That is why a great deal of my research concerns trnasformations, changes of perspective, holonomy and what remains true even when we don´t share common worlds.

With admiration,

Jesús.

Note: as a spanish speaker I oftentimes write in my words, only to have it AI corrected. I hope you will still feel my voice in the text. As a matter of fact, I prompt my model with “in the manifold of my words”

Research website:

https://jesusvilela.github.io/

1 November, 2026 at 3:31 pm

Anonymous

Apart from everything else, this post deserves a +100 for the little allusion to “mathematical Twitter buffoon.” 😄 I think everyone reading the post will know who that is and the buffonery was definitely super annoying.

1 November, 2026 at 9:10 pm

Anonymous

(1) It may be a brief window in which you get to be more ambitious in your research. Maybe in five years your ambition will be reduced to understanding the AI’s explorations, because yours will pale in comparison. (Not to mention mine!)

(Would you bet on the ratio between the following two numbers? 1) The total grant money given by governments to human mathematicians in 2031. 2) Money used for marketing privately-owned AI in the same year.)

Luckily, being tenured, you’ll still get to spend time doing what you like.

(2) The talented young people similar to who you were at 15 or 17: will they get to develop their technical skills in the way you did? Will they see a point in going after research math as a career, when they may never have a chance to be at the forefront of its development? Will they see it as something likely to be viable?

To be clear, as a pessimist I don’t think “the game is over” for mathematics. Maybe it won’t be over until AI is so good that there’s no drive to improve it further beyond force of habit. (At that point “the cloud” may be a system of yottawatt server farms in space or whatever.) I’m just more worried about what this means for humans than you seem to be. It doesn’t have to be the case that the best models are available to use for a reasonable price, and that we own what we use them to produce. They could lead to a massive concentration of power.

1 November, 2026 at 9:14 pm

Gordon Royle

In related discussions on MathOverflow, various commentators were extremely concerned about how those who are not mathematicians but whose opinion matters (external members of hiring, tenure, grant committees) could be expected to evaluate people without the supposedly objective measure of “research output” as measured by counting papers. Interviews are great for picking the winner from the 5-person shortlist, but how to do the initial selection from the 250 applicants? I fear it will degenerate into an informal country club where who you know and where you study will be the defining factor in making it past the first cut.

2 November, 2026 at 12:19 am

Daniel T

Many important observations about what’s often neglected. What I don’t quite see is how one could be sure that the realm of asking the good questions, providing well-explained answers, discovering not only the galactic bypasses, but the beautiful side-alleys and even theory making, will remain in the human domain. 1blue3brown argues for an increasing human collaboration, the transferability of the mathematical skills and the sheer enjoyment of it as the raison d’être for maths in this age. Maybe those arguments have greater chance to withstand the test of time?

For commenters

To enter in LaTeX in comments, use $latex <Your LaTeX code>$ (without the < and > signs, of course; in fact, these signs should be avoided as they can cause formatting errors). Also, backslashes \ need to be doubled as \\. See the about page for details and for other commenting policy.

« The mathematical sciences in an AI-enabled world

Blog at WordPress.com.Ben Eastaugh and Chris Sternal-Johnson.

Subscribe to feed.

- Comment

Reblog

Subscribed

What's new

Have a WordPress.com account? Log in now.

What's new

Copy shortlink View post in Reader

Manage subscriptions Sign up Log in

Report this content