Source: Understandingai
Twenty leading mathematicians at the 2026 ICM describe how AI is shifting their discipline from proof-discovery toward higher-order abstraction and verification. Pure mathematics may increasingly focus on asking better questions rather than solving them. These mathematicians are repositioning themselves as architects of AI's mathematical reasoning rather than defending against it—a posture that reflects broader institutional confidence. Fields with strong credibility structures (peer review, formalized knowledge) are absorbing AI as a labor multiplication tool. This dynamic will likely widen credentialization gaps: mathematicians fluent in AI-augmented workflows will shape how AI systems reason, while those who resist may find their work absorbed into training pipelines upstream.