Itai Sher on Twitter / X

Mathematics in the age of AI

An essay, based on a public lecture delivered at the 2026 International Congress of Mathematicians, on how the mathematical community might respond to the arrival of artificial intelligence tools that are capable of performing research-level mathematical tasks. Rather than debating the capabilities of such tools, we condition on the hypothesis that these capabilities will arrive, and examine instead a question that is orthogonal to it: what the goals and values of mathematical research actually are. The problem-solving component of mathematics is used as a case study.

Can AI replace mathematicians? Vienna researchers weigh in

In September, OpenAI announced that some 10,000 AI agents partially 'solved' the Navier–Stokes problem, one of the most prestigious open challenges in mathematics. University of Vienna mathematicians Nathanaël Berestycki and Vera Fischer agree that the field will never be the same, but argue that maths is far more than producing proofs at speed.

98 out of 100. That's how many advanced maths problems current AI models managed to solve in an international benchmark in Leipzig. One of the two remaining problems? A simplified version of a… | Czech Technical University in Prague | 11 comments

98 out of 100. That's how many advanced maths problems current AI models managed to solve in an international benchmark in Leipzig. One of the two remaining problems? A simplified version of a combinatorics problem solved by researchers from the Faculty of Information Technology CTU in Prague. Alexander Clifton, Daniela Černá and Jan Volec, together with Bartołomiej Kielak from Universität Leipzig , found the solution to a simplified version of the long-standing open problem of breaking triples with permutations. The problem was later included among the 100 tasks used to test how today's AI models perform in advanced mathematics. While AI came remarkably close, this was one of the problems it couldn't solve on its own. A nice reminder that mathematical creativity and abstract reasoning still leave some room for humans. 🧠 🔗 Read the full story in the comments. | 11 comments on LinkedIn

No. 020: Astra solves ten open math problems, AI agents fail at open-ended research, peer review under strain - The Hallway Track

The Hallway Track No. 020 - How AI is affecting the practice of science

Ale×ey on Twitter / X

Funniest possible outcome of new ai math proofs publications would be that explosive progress cannot be delivered through individual genius and singular products but only through contextualized human understanding and embedding of knowledge.— Ale×ey (@EqualParallel) October 7, 2026

Mathematicians are grappling with the possibility that AI might eclipse them

I talked to 20 mathematicians about rapid AI progress in their field.

Is AI the End of Math As We Know It? | Quanta Magazine

Mathematicians are facing the sudden shift with grief, anger, and a desperate search for fresh ideas: “If we don’t adapt, there’s just no more math in 50 years.”

OpenAI’s latest math breakthroughs commit research misconduct, experts say

OpenAI released 10 AI-generated results over the weekend. Some mathematicians are unhappy with their approach

The fall of the theorem economy

How AI could destroy mathematics and barely touch it

The fall of the theorem economy

How AI could destroy mathematics and barely touch it

The AI Revolution in Math Has Arrived | Quanta Magazine

AI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning.

AI agents can't yet do open-ended AI research

Early evidence from two case studies

AI co-mathematician: Accelerating mathematicians with agentic AI

We introduce the AI co-mathematician, a workbench for mathematicians to interactively leverage AI agents to pursue open-ended research. The AI co-mathematician is optimized to provide holistic support for the exploratory and iterative reality of mathematical workflows, including ideation, literature search, computational exploration, theorem proving and theory building. By providing an asynchronous, stateful workspace that manages uncertainty, refines user intent, tracks failed hypotheses, and outputs native mathematical artifacts, the system mirrors human collaborative workflows. In early tests, the AI co-mathematician helped researchers solve open problems, identify new research directions, and uncover overlooked literature references. Besides demonstrating a highly interactive paradigm for AI-assisted mathematical discovery, the AI co-mathematician also achieves state of the art results on hard problem-solving benchmarks, including scoring 48% on FrontierMath Tier 4, a new high score among all AI systems evaluated.