The case
Advances in mathematics require creativity, perhaps even a genius. At the moment, AI is not up to this, the question is how this human stronghold is going to withstand AI.
Source: NZZ – 22 August 2025
The commentary
AI demonstrates “artificial intuition,” i.e. impressive heuristic performance in formal patterns. At present, it cannot yet develop its own, fully creative intuition the way human mathematicians do.
According to experts, we will see more comprehensive support for formal proofs a few years down the road. Whether AI will ever become “intuitively creative” like a mathematician is open to speculation and it might take a decade or more to complete this task – or it might never be possible at all.