At the 2026 International Congress of Mathematicians, 20+ mathematicians reflect on how AI advances are transforming their work and field; many are optimistic
Understanding AIKai Williams
Context & Ripple Effects
Mathematics had already become a proving ground for newer reasoning models, with AI researchers arguing that the systems were becoming more useful for the discipline and that math offers a demanding test of AI progress. The Congress discussion shows that that utility is reaching working mathematicians, not just model evaluators.
The optimism arrives alongside the Leiden Declaration’s warnings about accuracy and reliability. That tension matters because broader use makes validation practices central to whether AI is treated as a research aid or a source of unverified claims.
First-order effects
Mathematicians attending the International Congress of Mathematicians are incorporating AI advances into their work, making AI-assisted mathematical research a live practice rather than a prospective one.
The Leiden Declaration’s signatories face greater urgency to define how AI-generated mathematical work is checked as enthusiasm for the tools broadens.
Second-order effects
AI researchers gain stronger incentives to optimize reasoning models for mathematical usefulness, since the field is being used both by practitioners and as a measure of model progress.
Mathematical researchers and institutions will place more value on workflows that preserve accuracy and reliability, the risks identified in the Leiden Declaration on AI and Mathematics.
Third-order effects
If adoption and verification develop together, mathematical research may split less around whether to use AI than around which standards make AI-assisted results trustworthy.
Mathematics is becoming a dual-purpose AI domain: a research workflow for mathematicians and a stringent evaluation environment for developers of reasoning systems.
The trend: AI is moving from a general research tool into discipline-specific knowledge work, with trust and verification determining the terms of adoption.
I strongly recommend @chi_t_williams's meditation on the possible implications of AI gaining superhuman abilities in math. https://www.understandingai.org/ ... [image]
I wrote a 2500 word explainer of how mathematicians are dealing with AI dramatic rise in mathematics: https://www.understandingai.org/ .... So many good details I had to leave out, like how three people told me they had institutional access to Gemini, but paid for Chat bc Gemini …
After this tweet, I talked with Tsimerman and over 20 other mathematicians at the International Congress of Mathematicians about how they're responding to AI. Most others were more optimistic than I expected: https://www.understandingai.org/ ...
@awaysummer2005 I mean, I have a fairly small sample size here, but I was surprised by how much the grad students I talked with were more open about it. The bigger difference to me felt like senior mathematicians vs. everyone else in terms of the degree to which they had big pict…
There's been a LOT of discussion about how good AI models are getting a math recently. But surprisingly few people have focused on the mathematicians themselves. — So I wrote a piece where I talked to 20 mathematicians. Here's what they told me: www.understandingai.org/p/math…
Mathematicians aren't going to lose their jobs because of AI. Nor their prestige. Nor the fun of finding things out. The only thing they'll lose is their chance to be heroes. https://www.noahpinion.blog/ ...