The Loss of Singularity

Benoit Henry, Associate Professor at Institut Mines-Télécom Nord Europe

This essay is not a high-level reflection on what AI means for mathematics. It is more of a “what should I do with my life?” essay. As such, it may not be well suited to ProofAndPrompt, but I needed to write down my thoughts (for what they’re worth) and to mourn, somehow.

I had a depressing August. Like where I compulsively bought stupid stuff every time a conjecture was solved through AI by a Redditor who didn’t understand the solution, probably not even the question. I, then, started doing it myself. There was a statistical problem that I found interesting and had had in mind since my PhD, but had never had the time to tackle. In a few hours, I obtained something reasonably decent. With a bit of polishing, it could have made it into a good journal. Before, it would have taken me years… But why bother putting this on arXiv? Why send it to a journal? I can’t accept someone spending more time reading this than I spent producing it. But the main point was this: work that should have taken me a long time and a lot of effort could be done almost instantly. I told a colleague, “I didn’t think my job would be the first to be replaced.” I was joking, but there was still something real in it.

The loss began far earlier for me. I was never a top-level mathematician, but I always hoped to produce some impactful and interesting results, and worked hard to achieve it (a hope that is gone now). At least, among my colleagues at the lab, I believe I had some value. Because there were topics I knew very well, because I was reasonably technically competent, and also because I was very good at coding. I could produce complex simulations that helped our projects find research directions or ideas. This ended more than a year ago. I think I haven’t written a line of code for a year and a half. By then, everyone in my team could have produced their own simulations. Interestingly, somehow, nobody does (at least as far as I am aware). That was already a loss, but at the time I naively thought I was still a decently competent colleague who could help my teammates with the maths. Now that is gone too.

Then September showed its face, the time when most colleagues come back from holiday. I couldn’t wait to share my depression. I was a bit disappointed that almost none of them saw the wall coming as I thought I did. Then there were the θ(pc)=0\theta(p_c)=0 rumours and the leaked Anthropic GitHub commit, and it began to feel a bit more real to everyone. But still, I didn’t feel that my colleagues (apart from the PhD students I spoke to) realised what they could do themselves on their computers.

Some colleagues say that this will only be transitory, that the gains from using LLMs will quickly be outweighed by the costs. I think the opposite. The first time I was impressed by an LLM was with DeepSeekR1 in January 2025. I gave it a pretty hard undergraduate analysis problem, and it managed to solve it. This wasn’t worrying at the time. My point is that DeepSeekR1 needed data center grade hardware. Now models that can solve this kind of problem, even faster than DeepSeekR1, can run on my computer (a high-end consumer computer, but still). My guess is that models will become far better than they are now, and at a fraction of the cost (in any units you like).

I have a few ongoing projects, and I am pretty sure they could nearly all be solved in one shot in half an hour with the best version of Astra. I could do that, polish the result, send it off, and produce an article in a month that would not have to fear the comparison to my earlier productions. I believe people are already doing this1: I was looking at math.PR on Monday and thought, “That’s a lot of single-author articles today!” So I tasked my favourite agent with investigating how the number of single-author articles had changed, and I was not surprised by the result.2

The share of single-author articles seems also to increase.3

(Be re-assured: no humans were harmed in the production of these plots. In particular, none had to work or even think—most importantly, not me…)

I could finish every single project I have in a few weeks. I won’t do it because I still have some affection for these problems.4 But once they’re settled, I don’t think I will ever write an article the way I did before.

So what should we do?

First and foremost, I really think the most important step we should take as a community is to get rid of the idea of “ownership” of mathematical results altogether. It doesn’t make any sense to me now. Is it your theorem if AI proved it? Is it your theorem just because you did it first, if I could obtain the same result in ten minutes with Astra? To be honest, the problem existed well before: how many people have been listed as authors just for asking the question? That doesn’t feel so different to me from prompting an LLM.

It is a hard step, because it is so ingrained in us. Our whole professional life is built on the results we have fathered. Our whole idea of ourselves as mathematicians is constructed around it. All our myths, all our culture. Maybe I am not well placed to say this, because I’ve always been a mediocre mathematician, but look at the dispute over Navier–Stokes, fighting over who prompted the LLM better or first.5 Who will be king of the ashes? I think it doesn’t matter anymore and, most importantly, it shouldn’t matter to us.

One could argue that disclosing AI use can solve the problem of ownership, but it is not verifiable. And I don’t trust people in a competitive environment. Anyway, the culture of priority in mathematics has always been toxic. If we get rid of it, I believe we can all be happier.

Concerning the practice of mathematics, I’d say, “you do you”. We don’t own mathematics,  we don’t own the problems. People shouldn’t be ashamed of using AI.

On the other hand, if you find meaning in doing everything by yourself, good. It is just not the way I am built. I see no sense in spending months working on something that could be so easily solved by chatGPT. I can’t accept putting my name on an article that relies substantially on AI for doing the maths, either. That makes no sense to me. Maybe I will try to do mathematics in the following way. A colleague recently talked to me about the question of the large particle number limit of a two-dimensional log gas confined to a disk. The result is known only in a very particular case where the process has a determinantal structure. I think I will create a GitHub repository6 containing the results known either from the existing literature or through AI. Anyone will be welcome to contribute in any way they want. The goal would be to produce a coherent, digested account of the mathematics which, once it covers the question sufficiently, could be put on arXiv in the name of a team.

I would like to end with a word for PhD students and postdocs. If you, reader, are lucky enough to hold a permanent position, please be aware that they are probably far more aware of this situation than you are. In particular, if you disagree with me and think we are not going through a terrible transition, please acknowledge at least that they have good reason to feel scared and lost. Please allow them to use AI in any way they want, or not at all if they don’t want to. And more importantly, if you are involved in recruitment of any kind: stop counting candidates’ articles. Whatever people say, this has always been a very important criterion. It was already a bad one before, now it is just terrible. It creates a very wrong incentive. They need to hear that they don’t have to use AI to remain “competitive” and the community must acknowledge it

  1. At least to some extent. ↩︎
  2. This is off-course not a proof of anything but we should not be naive. ↩︎
  3. Between August 2025 and August 2026 the number of single authored articles went from 1,174 to 2,603. Among the 2,603 articles of August 2026, only 809 mentioned AI (take these numbers with caution, they are uncertain). ↩︎
  4. A few time later, I’ve come to accept it is not affection and more a mixture of ego, reluctance to let go of the effort I had already invested, and the fact that I am not alone working on these problems. ↩︎
  5. One could argue that there is still human input in one of the teams, but how do you even measure it? It seems they used AI quite extensively. ↩︎
  6. Since then, this repository has been created. I also wrote a follow-up essay developing the idea behind it. ↩︎

Received 9 September 2026, revised 24 September 2026.

6 responses to “The Loss of Singularity”

  1. Michel Schellekens Avatar
    Michel Schellekens

    Thank you for this honest contribution. I remember how hard it was to secure an academic position, to keep motivated and not give up, moving countries etc. It has only gotten harder and I can only imagine what researchers go through now with AI impacting life this much. Society will be slow to follow so the industrial revolution will hit many hard.

  2. Pierre Menard, Author of the Quixote Avatar
    Pierre Menard, Author of the Quixote

    These kinds of posts make me feel less alone, yet more depressed and enraged. Mathematics has always been deeply rooted in my identity, to the point where I am experiencing a total loss of meaning. I now feel like my purpose is gone.

    [P.S. for the readers: a few of my latest comments have been deleted or were never posted. Just so you know, there may be some spam filter in action, or maybe even something worse from the owners of this site.]

  3. Anonymous Avatar
    Anonymous

    The elusive “frontier” open models that you are supposed to run on your PC with the same results as Astra in 10 months don’t and won’t exist. They are marketing by two groups who want to quell fears that an oligarchy owns the means of human knowledge production: The oligarchy itself and startups who resell the products of the oligarchy.

    So the means of production will be owned by Musk, Altman and Amodei. Currently the $200 plans are subsidized. In order to participate in mathematics, you will basically need the whole median world salary.
    Maybe some billionaires will shell out $500 million for another millennium problem.

    This is the future if the projections of this post are true.

    In software the utility of AI is vastly overhyped for PR reasons. Every “success” on GitHub is by someone who works for an AI company and often got a huge amount of free tokens. Often such software is never used.

    If Redditors solve math problems, you have to check if they are real and not a front for some mathematician working at OpenAI who is paid for guerilla style marketing.

  4. Below average postdoc Avatar
    Below average postdoc

    I myself am, at best, an average postdoc, and very likely not a mathematician for much longer as my contract ends in 5 months, and I’d like some career stability. But I’d say its easy to get carried away with the angst. I always enjoyed asking questions, and trying to solve them. To me, AI has only reached the oracle status if, whenever it is given a question it can offer a proof, a counter-example, or prove it not provable.

    Even now, in the hybrid world of doing maths on paper and using AI prompts, I am still stuck on my questions. Perhaps the only hope of solving the question is getting the AI to do so, but that requires significant prompting. Perhaps the best way is to abandon the maths altogether, and focus on more significant prompting architectures (although I don’t believe this – because soon such architectures will be inbuilt into the AI system). But either way, I’m still stuck on my problems, still thinking about my research in the shower, and hence, still have the same feeling of being a mathematician.

    I agree, that the age of “hero” mathematicians may be over. And there may be even more nepotism in future hiring processes and journal standards than there is already. But the role of a mathematician, in terms of being stuck and thinking deeply about problems is still here. And for the next few months, I’m still one.

  5. Daniel Brosch Avatar
    Daniel Brosch

    I love the idea of working fully in the open! In the recent weeks I have seen plenty of drama: who scooped who, what did they contribute, what did AI do? But that was never the point. We want to progress understanding, together.

    I was never competitive in my research, and I still am not. I like to work on problems for years at a time, making progress every now and then, sharing ideas in talks all along the way. When I realized just how strong Astra is at math, I felt panic: Should I rush and upload various preprints I have been working on the last years? Many of my ideas are posted openly in my slides on my website, so they were definitely fed to the machine. I am at a severe risk of being scoped, but what is the point? It’s not like people will get much credit for any individual result, no matter how good, produced now.

    Instead of hiding what we do, mistrusting AI, colleagues and friends, we should do the opposite: Work fully in the open. I am not sure if GitHub is the right place, but it’s a good start. It would be fantastic to have some kind of platform, on which we collect project ideas (be it a survey, that is missing, or a problem which ChatGPT actually cannot solve). Anyone should be able to contribute, be it ideas, code, AI-Slop, writing, explanations, and everyone who contributed should get credit (even if their particular idea does not lead to the final proof). Moving towards larger-scale collaborations sounds a lot more fun than racing each other to the finish line.

  6. Manuel Avatar
    Manuel

    I like your post very much, and in particular I found the github idea interesting.

    Maybe there is a way to move parts of math activity to github (without licensing of proofs please). Interesting questions and quality content can be given stars, people can fork a proof, e.g to generalize it, to make something new out of it, to make a new exposition for it, or a lecture out of it.
    Publications still could make sense, as a filter of what is ultimately approved by some expert community that controls journals and that controls judgement about human understanding. Contributions by non experts could likewise be on such github-like repositories as well, possibly forked by someone or some group that has the guts to defend it, to teach it, to make it part of the recorded canon for future generations, to undergo notorious publishing procedures that might be based on much more than just having a novel result, that ensure that those who publish are those who can defend each aspect of the work and that they are those who are able to educate humans to have that skill as well, so that we are not going back to stone age after llms broke down for some reason, or so that there are actually sufficiently many of our kind to judge if technology or knowledge can be trusted.

Add to the discussion

Discover more from Proofs and Prompts

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

Continue reading