Thread

What's the future for pure math research in the age of AI?

59 points · 46 comments · 6bitquant

jaykru · 1791137376 · focus · HN ↗
Wolfram gives a very important and sober take on the present state and future of pure math. I came away with the following key takeaways:
1. An essential goal of mathematics is human understanding. The computation of proof terms doesn't necessarily enrich human understanding. The proof of the four color theorem result is a good example, and formal verification/SAT solving gives many more: these are results that can be trusted up to our trust in the system used to produce them, and they can be used in practice, but they don't necessarily enrich our understanding. Imagine a computer with near infinite proof search powers set loose with the current human definitions, theorems, and understanding of mathematics. Suppose it constructs a proof for a new theorem at our mathematical frontier. The shortest such proof in terms of currently understood definitions and concepts could be so long and mechanical that the entire lineage of humans until the end of the universe could not finish reading it. So though it overlaps with the activity of mathematicians, this type of computational proof search is not mathematics as such. This is an important distinction that many people do not seem to grasp and some dismiss as cope.
2. The human activity of theory building, rendering otherwise monstrous proofs like the one I discussed above into light conceptual arguments a person can understand, appears at this time out of reach of models. Maybe they will do this in the future, but it is not yet the case. Human theory building drastically compresses the spaces of theorems and their proofs: this is why great theory builders like Groethendieck are so important to the field; grinding has its value too, but runs up against computational limits in both humans and computers. These limits are collapsed by the conceptual shortcuts created by theory builders.
Gowers has a nice and arguably better-grounded article on the mathematical capabilities of recent LLMs that I think is enlightening to read alongside Wolfram's bird's eye view of the implications of those capabilities: <a href="https://gowers.wordpress.com/2026/08/12/what-sort-of-maths-are-llms-good-at/" rel="nofollow">https://gowers.wordpress.com/2026/08/12/what-sort-of-maths-a...
1. btilly · 1791138098 · focus · HN ↗
  I've heard the human understanding line a whole bunch.
  But it begs the question. What is the value to the rest of humanity that a small group of people possesses something that can be called human understanding? Particularly when that group of people is historically terrible at communication (as is routinely demonstrated in Calculus classes), and most humans are not capable of learning that understanding (though more are capable than think they are capable - that is another story).
  I am speaking as someone who nearly finished a PhD in mathematics. I understand why mathematicians would wish to continue in the age of AI. But, barring something like universal basic income, it isn't obvious why the rest of humanity would support them in this endeavor.
  1. mohamedkoubaa · 1791138749 · focus · HN ↗
    The idea that the rest of humanity needs to support them is absurd. A couple billion in private trust funds could fund mathematics researchers in perpetuity.
    btilly · 1791139846 · focus · HN ↗
    The idea of being supported by the rest of humanity, is not a requirement that the rest of humanity support it equally.
    The idea that "someone rich will take care of it", reminds me of a passage from <a href="https://en.wikipedia.org/wiki/The_Logic_of_Collective_Action" rel="nofollow">https://en.wikipedia.org/wiki/The_Logic_of_Collective_Action. It talks about "the exploitation of the large, by the small". Where a public good (in this case mathematics) is provisioned by a large entity that finds it worthwhile for their own reasons, and the remaining players who value it, feel no need to contribute anything themselves.
    mohamedkoubaa · 1791141734 · focus · HN ↗
    What does it mean for a mathematics to be "provisioned"? A well-funded math foundation run like the Linux Foundation could cover the lifestyles of many elite mathematicians. I don't understand why you imagine it would be centralized behind one "large entity" or that this large entity, so long as it is not a government, can't be trusted to fund good things.
    People unaffiliated with the Linux foundation contribute to Linux. Regularly.
    btilly · 1791164732 · focus · HN ↗
    For a public good to be provisioned means that the necessary resources and organization for that good, need to be supplied.
    Supporting a group of elite mathematicians is not enough. There needs to be a path to becoming an elite mathematician.
    Which either means that it becomes an unpaid hobby. Or there is some wider source of support for the profession.

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.