The Dark Night of Mathematics: AI's Threat to Human Discovery

The Dark Night of Mathematics: AI's Threat to Human Discovery

I am facing a profound spiritual crisis as LLMs generate counterexamples to long-standing conjectures, rendering human mathematical discovery obsolete. While some argue we can still appreciate proofs, the vital experience of creating novel mathematics—the path to the ineffable—is being sealed off. This shift turns mathematicians into helpless spectators, stripping the discipline of its heroic, mystical soul.

There is something about mathematical discovery which is vital to the spiritual, experiential quality of doing mathematics; it is one way humans have historically accessed the ineffable and encountered the divine.
  1. bluecheese452

    “ I have wondered if it is the express goal of these companies to make me kill myself”

    100% yes. They brag about it!

  2. d_burfoot

    Every single knowledge worker is going to face this kind of crisis. It will be worse for people who cared deeply about their craft, but the crisis will have the same shape. The way through is to change the way you relate to your work, and to appreciate the fact that you can now produce far more output.

    Mathematicians should realize: instead of spending decades on individual theorems, you can now create whole new subfields of mathematics. Of course, you won't be doing the creation directly, in the way the mathematicians of old did; that's just not the name of the game anymore. But you will still be directing the research and involved in the creation.

  3. larodi

    here's unpopular view - thousands of people felt the dread of mathematics, that is no more, as they may advance together with the LLM. perhaps brilliant incredible in math lived, but they were not so many perhaps. now everyone can have one and if passionate for math - get up to speed. why is this bad? why would an LLM make me, an adorer of algorithms and structures, stop do what I love - pursue them? if LLM puts you off, perhaps you were chasing something else.

  4. marifjeren

    Grateful for this essay. Made me feel seen.

    Someone said:

    > No one is stopping you from doing what you enjoy.

    But that's wrong. LLMs are creating an environment in which some things are no longer enjoyable.

    For example there is less joy to be had in learning a programming language in 2026 than there was in 2016, because there is less utility in it now.

  5. jostylr

    As a mathematics person, I find this at odds with my views. I know the current regime rewards new mathematical discoveries for professional advancement, but that is a job thing, one which can be altered by the powers that be. To me investigating mathematics is fun whether it is new to the world or not. The complaint is similar to lamenting how everywhere has already been visited and there is nothing to be done other than have your own personal experience of a place. I saw the redwoods recently for the first time and I thoroughly enjoyed the experience despite not being the first person to see them. Mathematical discovery is much the same except now we have tools that help us dramatically with the tedious stuff, the researching what others know. In the old days, I would spend a long time figuring something out and only at the end could I figure out where to find it in the literature. Very frustrating. Now, we have machines to guide us to many things and understandings and clarifications. They are guides that help us get to where we want to be and then let us wander as we desire. This is incredible. I am currently using them to develop the computational tools I want to use to explore stuff.

    As for squeezing in the time to do mathematics if the paying jobs disappear, there is a good chance we will have a world of plenty very shortly. I have a belief that the Austrian economists are right that there will always be plenty for humans to do and get rewarded for, but I also think tha […]

  6. ngriffiths

    > For me, the affective quality of learning mathematics is empathetically tethered to an act of discovery and creation. It is social. We are conversant with another mathematician—perhaps long dead. If we follow the chain of communication we arrive at a mathematician who enjoyed some original discovery. Human mathematics is Talmudic. It is a lively discourse of philosophical and religious richness spanning thousands of years.

    This is really beautiful. And no matter what happens, two things have to be true: some form of lively philosophic and religious richness will keep being a core part of our history and will touch every person in some way; and it will change enormously over time (maybe with math continuing to be a small part, maybe not).

    There is a part of math that is like that. There's also another part (as Vladimir Arnold provocatively said):

    > All mathematics is divided into three parts:

    cryptography (paid for by CIA, KGB and the like)

    hydrodynamics (supported by manufacturers of atomic submarines)

    celestial mechanics (financed by military and other institutions dealing with missiles, such as NASA).

    > Cryptography has generated number theory, algebraic geometry over finite fields, algebra, combinatorics and computers.

    > Hydrodynamics procreated complex analysis, partial differential equations, Lie groups and algebra theory, cohomology theory and scientific computing.

    > Celestial mechanics is the origin of dynamical systems, linear algebra, topology, variational calculus […]

  7. Athanase000

    When I was in mathematics, reading other people's work was always more rewarding to me than doing my own. I would spend years on a question to get some progress, versus spending a few days or weeks reading a paper to enjoy something new. I understand not everyone is like me but I really welcome the omniscient mathematician machine people are predicting. I can't wait to ask all the questions I care about.

  8. thomassmith65

    It should be a mandatory part of a technology-related degree to watch "The Man in the White Suit" (1951) https://youtu.be/RC8q1QSkE3M

    When a new technology comes along, it diminishes some aspect of the human experience - because whoever had a talent for doing things the older, more difficult way becomes less important.

    In that regard, AI is the extreme, because it threatens to make so many of our intellectual talents useless.

More from this day

2026-07-25