What’s not new

Orr Shalit, Professor at the Technion

There is nothing new under the sun.

Yes, we are living through a technological revolution of dramatic consequences. We who have lived through the birth of personal computers, the rise of the internet, the invention of smartphones, the disruptive eruption of social media, the promise of mass open online learning, we have seen some incredible techno-social turns of events, but this time it is different. This is going to change everything.

However, for perspective, we might like to recall the words of Kohelet, son of David, king in Jerusalem: “There is nothing new under the sun”.

What’s not new? I feel that the concerns we have in light of the AI-industrial revolution are ones I’ve been dealing with for all my career. My point is not that everyone should have gotten depressed much earlier, but rather that the issues are not entirely new. The bad news is that it is harder to ignore these issues, the good news is that we may already have the tools and experience needed to cope.

Existential crises

When I hear that the rise of AI is pushing some mathematicians to an existential crisis, I feel like saying jokingly: “Are you kidding me? You’ve waited until now for your existential crisis? I had mine decades ago!”.

In my eyes, one needs to be kind of philosophically sleepwalking to have not had an existential crisis until some robot came and pulled the keyboard from underneath their fingers. Never mind the horrifying fact that you are mortal; surely you’ve noticed already that nobody cares about a typical pure mathematician’s work. Even some of the most profound and celebrated results in pure mathematics are of absolutely no consequence to anything or anyone except for a handful of other mathematicians, and it might even be the case that contradicting papers exist for over a decade with nobody knowing who is right and there are no consequences even for the mathematicians involved! And if that doesn’t crush you, well think of this: you do realize that there are only finitely many proofs that any human being can discover in a lifetime, and these can be enumerated by a computer, long before AI. So you are only searching in a finite proof space, how deep is that?

Beaten by someone else

When I hear someone saying that an LLM could replace me, I smile: so could a human.

It’s even worse. Euler, Gauss, Poincare, Hilbert, Godel, Groethendick, Bourgain, Terry Tao…\ldots Who am I, what am I? Am I even working in the same profession? Well, I can still come up with some interesting questions of my own, solve an interesting problem, maybe come up with a very clever or original proof that nobody else thought of. But, honestly, maybe someone else could have, too. Probably so. Should that depress me?

I’ve seen a few cases of a young mathematician being scooped by someone else who published a result the young mathematician already established but has not yet published because they were working towards a bigger goal. It doesn’t take LLMs to get scooped. It can also happen in reverse: more than once I had the sour experience of proving a result I really liked, only to find out that someone else had done obtained the result already, using basically the same ideas. Does that make our efforts a waste of time?

There is some kind of irony here: if the problem is interesting, many will work on it, and the chances you’ll get scooped are high. If you are working without the risk of being scooped then maybe what you’re working on is simply not interesting enough? Now there are LLMs waiting to scoop you – is that a sign that what you are doing is important? Or not?

Math overflow

When I was hired as a faculty member for my first tenure track job, my new office was handed down to me from a retired operator theorist. “I have a surprise for you” he said proudly and lovingly. Was he planning to leave me the contents of his secret whiskey cabinet?

Nope! When I came into the office, I saw that he left four huge, ugly metal filing cabinets, filled with papers, I mean paper papers (printed on paper), filed away in neat folders conveniently sorted and labeled. “I am leaving all this to you!“

Not wanting to disappoint a retiring colleague, I said thanks and counted a few weeks until I was sure he’s not coming back and decided to get rid of all the crap. But surely, there may be some interesting papers in there. So I started working through a couple of tons of papers in operator theory, systems theory, operator algebras…\ldots Wow, there was almost nothing that I was interested in, or could use. All that math, all those years.

That was years ago. Now look around you. So many papers, so little time to read! I can’t read all the papers coming out in my own specialised subfield, I can’t keep track. Perhaps the community is digesting them, as a community? That doesn’t seem to be the case. Maybe we are missing out on important stuff?

(wait a minute, who’s reading my papers?)

Standing on thin air

Sometimes I would be working on a problem in my field, and slowly realize that I need some kind of lemma in an adjacent field, say complex geometry, which depends on a certain kind of structure having a desirable property. And I would plow through textbooks in other fields until I found, 200 pages into the book, the result that I could use to prove what I needed. Dilemma: should I use it – taking it on faith, or should I first read those first 200 pages of the book to understand the lemma?

Or say I am collaborating, and my colleague completes an argument by applying some fancy theorem that I didn’t know from algebraic geometry or some other alien voodoo. Can I be a coauthor if I don’t understand why that fancy theorem is true? Even in my own field, can I freely use theorems from textbooks, or must I always have some understanding of how they are proved down to the bone? (or at least, maybe if at some point in the past I had an understanding down to the bone, maybe that’s good enough?).

I used to think I should do research with an understanding of everything down to the foundations of mathematics. With time I started to accumulate debts: I would use some theorem in several complex variables, but would promise myself to teach a course on the subject so that I fill that gap (I kept the promise). Or I used a result in von Neumann algebras, because I used a result from a paper that used some deep von Neumann algebra thing – the unique predual – so then I taught a course on von Neumann algebras to cover that base (I didn’t make it to uniqueness of the predual).

This point of view soon becomes unsustainable and at some point one settles for working at a higher level, taking on faith established results from the literature and using them when needed, just as a scientist might use the results of someone else’s experiments. But today, AI can connect all kinds of areas and can overwhelm you with a proof that uses several things outside your area, stuff that none of your collaborators would pull out of their sleeve. What should one do? Can you use it? These are the kinds of dilemmas we always had but are going to have more often.

The tension between wanting to know and wanting solve it

Before I started doing research, all the problems I solved were exercises whose solutions were known to the people who gave them to me. I didn’t care that the problems I solved as student weren’t new, I loved solving them! But more than anything I loved studying new mathematics. Just give me more structures, more theories, more theorems and tell me the beautiful proofs. Of course, I could and would anticipate some of the steps in the proofs. But I knew I wasn’t being original, that was just a way of actively learning new math. When I started doing research, things changed.

One day I showed a book to my masters thesis advisor. “Maybe we can use some of the results” I said, but he waved it away and told me that he is not interested in problems whose solutions appear in books. I was puzzled: don’t you want to know the answers? But later I felt something similar. I once worked on a conjecture, and one day when a solution by someone else appeared on the arxiv I felt .. disappointed. Shouldn’t I be happy? You’d think I’d be at least curious to know how it came out and what’s the proof! But I read the paper with the intension of tearing it apart until I find a mistake (and I did). If I am working to solve a problem and disappointed to hear that it’s solved, doesn’t that show that it is not really an important problem? Doesn’t it show that I am driven by a ridiculous sense of competition?

What about people being disappointed that OpenAI solved the sofic group problem? If they are not happy to hear that the existence of a non-sofic group has been established, doesn’t that mean that the problem itself was not important? Is there really nothing at stake except some egos? Could it be that the problem itself is important, but only as an open problem, while the result is not?

I have an even stranger story. I once wrote an expository essay “Dilation theory in finite dimensions – the possible, the impossible and the unknown“. It had some minor new results, but its contribution was mainly in the overview of the field and the narrative. It also had some open problems – “the unknown”. One of the open problems was a question that I planned to work on, but after finishing the essay I took a couple of months break. I wanted to know the answer, but honestly, I didn’t want to know it just yet. I later had a very nice collaboration on this problem and we solved it, beautifully. Maybe I could have solved it earlier, but that would have spoiled the story, and it would have definitely spoiled the title of the essay! And I used the open problem to get a new collaborator hooked.

Maybe my story is crazy, maybe I was being unreasonable. But I think everyone wants to savor their little wins, to relish in them a bit before moving on. But imagine that now we might be able to doomscroll results on our phone, just swipe up and there they fly up, result after result. Where’s the fun? Well, remember that we always had to pace ourselves.

Teaching

People are very concerned about AI going to change everything about homework. There’s no point in giving students homework, people say, because now they’ll just give it to their chatbot.

Hello? Do you have any idea what’s been going on for decades? In the good old days (thirty years ago) students would physically circulate someone’s handwritten solutions among the class and submit hand copied versions. With time, we started having shared drives so people could download and read someone’s solution, or even cut and paste it. And if nobody in the course was going to do the hard work for everyone, there were Stack Overflow and Wolfram Alpha. Standard math homework seems to me to be the case where the impact of AI will actually be the least dramatic – many students (most of them) have not been writing their own solutions to homework for a very long time.

The best students, however, have been pulling their own weight. I mean the serious students, the student who study for the love study, the curious ones. This category of students will continue to work, but they will need to be disciplined and determined to keep their brains busy. I see them coping.

What changes now is the amount of friction. Now, there is absolutely no friction. You don’t have to ask for favors, you don’t even need to cut and paste. Your agent can read the exercise pdf and prepare a solution pdf, and submit it for you. But, really, who are we kidding if we tell ourselves that things have been going much better?

The future

The future was always beyond a veil of mist. The future was always scary. So now it is scary, too. Today’s future is a new future, but the new-ness of the future is not new. Don’t let the scary mystery crush you. Imagine immigrants sailing for a new land. Imagine nomads, migrating to a new continent. Their whole worlds would change. And changed again. We’ve done this and we’ll do it again.

See you in campus.


Crossposted from my blog.


Received 22 August 2026.

More by →

7 responses to “What’s not new”

  1. Galyna Livshyts Avatar
    Galyna Livshyts

    Hi Or, super nice post:) I think that in global terms, AI is going to free up a lot of humanity’s potential (by taking over a lot of tasks). Similarly, the technological revolution of the late 19th century freed up a lot of humanity’s potential — and instead of (or in addition to) leading to creativity and progress, this has led to two brutal world wars. But nowadays, of course, the humanity has completely changed, and its hidden potential, about to be released, will only bring out the greater good… (Gali)

    1. a Avatar
      a

      I think the analogy on “scooping” underestimates the difficulty of the current situation: in this time of AI, with anybody being able to generate works very fast, the (new) scooping can be beyond imagination. This will most likely destroy the profession.

      1. Orr Shalit Avatar

        I agree that the difficulties of the current situation are bigger, but I find it hard to believe (or accept) that this will destroy the profession. Rather, it might change the profession: being the first to solve an open problem will carry less weight, the emphasis will move towards scholarship, perhaps research will take place in groups that operate more like labs rather then lone wolves hunting for problems, and so forth…

      2. Galyna Livshyts Avatar
        Galyna Livshyts

        I also do not think the profession is in danger of destruction. For sure it will change a great deal. Perhaps, it will become easier in some aspects (such as writing out formal logical derivations), and most certainly will become harder in other aspects, since the standard of expertise will rise very high. If Pythagorus would arrive to a modern day math conference, soon enough he would be like “you guys. This is too hard. I cannot possibly keep in mind so much information from so many fields of Mathematics. I will go back to drawing triangles and circles in the sand. Bye now.” Perhaps, in a few years an average mathematician will feel that way, that the requirement for the speed of learning and the scope of knowledge will be to high a bar for what we are used to. New generations will probably meet that bar. Preparation will be organized accordingly, starting from school. The annoying part is that the speed of change will be very much within one’s lifetime. Personally, I do not know what I will do and if I will be able to handle the challenge. So at the moment, the current best strategy seems to just take a deep breath and see what happens:)

  2. Jeet Sampat Avatar
    Jeet Sampat

    Thanks for writing this up, Orr. I definitely felt called out, unintentionally of course, at certain points, so I appreciate your input 😉

    The last few weeks have been a bit of an exercise in my mind to find out where I stand, and everytime I settle with something the ground beneath my feet shifts again. Currently, I am not using any AI tools for three primary reasons:

    1. I have to pay money that I don’t have to use the ‘pro’ versions. The free versions are essentially useless.

    2. The CEOs of these companies say unhinged things in public that make me doubt what their true goal is with this technology, and whether they align with those of current academic circles all over the globe (emphasis on the final 4 words).

    3. While I agree with you that the current system of mathematics is not sustainable long-term, it is not clear to me if the AI route is either. There does not seem to be any transparency in terms of how many resources are being consumed, at what rate, or what steps are being considered to ensure sustainability. Keep in mind that mathematics is only a small fraction of what AI is being used for (let’s not even get to what the world militaries might be up to).

    I am happy to elaborate further on the reasoning behind them, but that is besides the point for now.

    All of my concerns can, in essence, be solved by de-commercializing AI. For instance, mathematicans ‘must’ introduce mandatory course(s) at the graduate level that teach students about these kinds of machine learning models, proof checking algorithms like LEAN, and the math behind them. This woulf create interest in the new generation of math undergaduates to continue with graduate school, while also giving faculties a genuine chance to stay up-to-date without having to find time outside of their regular duties. (Note: there are several intelligent people resigning from AI companies through personal concerns; if they truly believe in their decisions and it’s not just a marketing ploy, then we need to utilize their experience in preparing this coursework to ensure their knowledge is preserved.) This also paves way for scientists to have their own ‘local’ AI model, built by the department(s) of universities close by, all the while using the same money that was put into training students, which obviously incentivizes further collaboration. Arranging this will also make it clear how many resources ‘need’ to be utilized to get this technology working. It is impossible for the general public to gauge costs at the local level when all you hear from companies are figures in 10s of 100s of billions. Lastly, this gives every student, postdoc, and faculty access to the same tools as everybody else around them.

    I do not claim that this is an original idea, obviously. This is the only way it makes sense for me to move forward in academia, and mathematics, specifically. Most likely this is already taking place at major universities in the global west, but imagine how skewed the level-field would become if such steps are not taken en masse. Yes, there are global disparities in terms of societal and economic differences, but having access to tools that can solve millenium prize problems in a matter of weeks is simply in a different dimension.

    The final takeaway for me is the following. I am a nobody right now, despite being commended by his research group wherever he goes for having interesting conversations and contributing to their respective research projects. To put it bluntly, 6 people read my work; 2 of them are my co-authors, 2 are reviewers, and the remaining 2 are colleagues/fellows from my department who attended my seminar talk as a common courtesy. I have to count pennies to make sure I can budget my travel expenses to promote my work. In the end, it is not worth it since no one comes to attend my talks at major conferences; a more important personality is speaking in a parallel session at the same time as I am. I receive citations on my papers for working in a relatively unpopular field, and so other authors in this area can bring visibility to the topic. I’m a nobody outside of academia too. Everyone in my family thinks I’m still ‘just studying’. Everytime I speak to an old friend/distant relative I have to sit in silence for 5 minutes because they asked me ‘what is the point/utility of your work?’ I then realize that I have been a nobody since the day I began working on the kind of math I do, except I was too enamored by its beauty to acknowledge it and do anything about it. So, in a way, my existential crisis is a result of my own choices. But now, I have an opportunity to redefine my purpose and pursue a career in a field that is at the cusp of a revolution. Unsolved problems from over 100 years are getting close to being solved. I am eagerly waiting for my turn to experiment with these tools to finally unravel open problems that I care about. However, I also want to do it ‘the right way’. Whatever that be, only time will tell, but I can hope that I am not reduced to merely being an observer.

    For the time being I can reach out to you, you may reach out to Terence Tao, and he may address the public with his thoughts. At the end of the day we have to decide as a species, and not at the mercy of some mega-corporation, if it’s going to be man over machine or the other way around.

    1. Andrzej Brodzik Avatar
      Andrzej Brodzik

      I love your honest elaboration, I feel very much like you. Still, the insignificance of my meager contributions notwithstanding, I felt real joy doing mathematics. AI seems to be taking away any future prospects for continuation of that. Eventually, this will lead to extinction of human mathematics and human reasoning. Any alignment I think is impossible. One cannot control someone who is more capable in all aspects that matter, just like chimpanzees cannot control humans.

  3. […] some comments point out, centralization and commercialization may be part of the problems with AI. . On the […]

Comments are moderated. Read our comment policy.

Add to the discussion

New posts by email.

Prefer a feed reader? Subscribe by RSS.

Also on Mathstodon.

Latest comments across the site.

  1. That also seems fine. Various words would communicate the same information essentially equally clearly, although “disclosure” is more precise than...

  2. Would you prefer “Tool Use Acknowledgement”? Just as we thank colleagues who share their ideas with us, it seems reasonable...

Discover more from Proofs and Prompts

Subscribe now to keep reading and get access to the full archive.

Continue reading