Open letter to the European Mathematical Society

Snorre H. Christiansen, Professor at the University of Oslo

The EMS should establish a structure to shepherd the use of artificial intelligence in mathematics research. First version sent to the EMS on 20 September 2026.

A European institute for AI enhanced research in mathematics

This open letter is a response to the latest developments in AI (including contributions to the Millennium problem on Navier-Stokes) as they impact the mathematical community.

My impression is that many research mathematicians would feel a loss of meaning if the most advanced research were to consist mainly in efficient prompting and agent management, especially if these tools are outside of our control. This sense of loss compounds with scepticism about where the broader society is driven, by the interests of a handful privately owned outsized AI companies. What’s more, in most cases these companies are subject to politics and jurisdictions that we can hardly count on swaying.

I believe that the mathematical community is well placed to develop its own AI models, to regain control over its destiny. The community has competent and motivated manpower, especially if research as we knew it is upended, as seems to be already the case. I am sure that mathematicians can develop the AIs that are best at doing maths and that they are best placed to help regulate the use of this tool, notably in regards to the education and recruitment of future generations of mathematicians. Mathematical thinking is as needed now as it has ever been.

This communal AI could take the form of an institute owned by EU/EEA through the European Research Council (ERC), governed by the EMS and partnered with promising European AI companies for mutual benefit (I have noted that Mistral has developed Leanstral).

It would be subject to European law, contribute to European sovereignty and would give European mathematicians a hand on the steering wheel in matters that are important to them. Communal values have been expressed in particular in the Leiden declaration. The declaration by Fields medalists relates our concerns to the ones expressed in other arts and sciences. The initiative should be mindful of the solidarities felt by mathematicians across continents.

Mathematicians have always had a broad spectrum of views on matters of ethics, especially regarding military technology. I suppose this will also be the case regarding AI. I understand that some will prefer to stay away from AI all together, and that’s fine. Protecting human agency in mathematics can take many forms.

This initiative would provide a structure that gives willing mathematicians a possibility to defend their values and regain a sense of control over their destiny. If prompting is the future, I for one would like to prompt inside a structure I can support. This way we can at least try to align future AIs with the interests and sense of dignity we defend as mathematicians and as human beings united by the Universal Declaration of Human Rights.

Traditional ways of doing maths would coexist with AI enhanced mathematical research developed in house and whose findings are shared on a need to know basis and published according to consensual protocols as collective endeavors (high energy physicists working at CERN have more experience with this).

I would also suggest that the EMS establish a Millennium type prize related to AI. It could be for instance to explain mathematically why deep neural networks work so well on some problems otherwise considered intractable (due for instance to the curse of dimensionality). This would give the EMS an occasion to communicate to the greater public about the role of mathematics in modern technologies.

Yours sincerely,

Snorre H. Christiansen


Received on 22 September 2026.

5 responses to “Open letter to the European Mathematical Society”

  1. Nilima Nigam Avatar
    Nilima Nigam

    Thank you! A publicly-supported AI infrastructure, developed by mathematicians, would be an excellent resource. It would address many-a-problem I see with the present situation.

  2. Galyna Livshyts Avatar
    Galyna Livshyts

    Thank you! I keep saying this all the time! https://m.facebook.com/story.php?story_fbid=pfbid0uUL6dDimDGs4hNSiEiPZgyEnHkWLEwAzWaLjfY2SKuVhhbAC3ayhUeQqq3XLP3Zbl&id=100001436827244

    I think that math does not even require a language model, one could develop an a lot more efficient neural network specifically for math, operating in formal logic, requiring far less computational power and servers. The academic infrastructure is plenty sufficient, both in financial capabilities, and even more so in manpower, to build this tool, and reshape the field for the better. This would mean — access to knowledge available to all, not depending on consumer interests of the AI companies. This is a far better approach then saying “let’s shut AI down” — one cannot uninvent it 🙂 Best to take control over it!

  3. Mister Avatar
    Mister

    The power of the current generation of models that are currently available commercially will be after not too long also be available (from thieves of thieves) in open-weight models, which are cheaper to run. That means that the capital cost of developing some EMS coordinated system from scratch (or near scratch), if they are based on similar technology, will be a hard to sell to any potential backers. It also means that soon hobbyists will, at lower expense, be able to prove very strong theorems, like they can now by paying 100 or 200 a month. Unless this EMS coordinated system will also be running giant swarms of agents, I don’t foresee how this could help (even if it were adopted) in terms of the most “advanced” research, whatever that means anymore. And there are many initiatives already that are developing/running truly GDPR-compliant inference, which makes the privacy benefits of such an initiative also less appealing (even if perhaps still appealing).

    1. Snorre Harald Christiansen Avatar
      Snorre Harald Christiansen

      I don’t think it needs to be developed from scratch. I see the maths part as an add on to some system that is already good at language processing and programming and that is not primarily the responsability of the maths community.

  4. Snorre Harald Christiansen Avatar
    Snorre Harald Christiansen

    Some additional thoughts:

    – Funding. Very soon project proposals to Horizon Europe will include budget items for AI capabilities. The total cost of this will be determined by the real cost of providing such services, the perceived productivity gain of users, and market strategies of companies offering these services. It’s hard to predict, but if this becomes 10% of the total budget, we are already above a billion euros annually.

    – Intellectual property (IP). Many AI giants have demonstrated questionable practices regarding IP, as witnessed by the many current lawsuits. On the other hand their expansive view of what constitutes “fair use” is now protected in the US by a Department of Justice “statement of interest” (dated September 1st 2026) invoking national security. In this situation Europe might want to take measures to protect its IP and research resources against aggressive ambitions of “AI dominance”. What is “fair use” of our prompts?

Comments are moderated. Read our comment policy.

Add to the discussion

Discover more from Proofs and Prompts

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

Continue reading