Mathematicians

Mathematicians are beginning to work with AI systems capable of exploring conjectures, searching large spaces of possibilities, manipulating expressions, producing candidate proofs, and connecting problems with potentially relevant results from other areas of mathematics.

A machine-generated idea can still be mathematically interesting even when it is wrong

One potential value of AI is as a source of conjectures and approaches that a mathematician might not have considered. The human researcher can then determine whether the idea is meaningful, repair it if possible, and produce the rigorous reasoning required to establish the result.

1. AI can search, calculate, and generate candidate approaches rapidly.
2. Formal verification tools can help check increasingly complex reasoning.
3. Mathematicians may spend more time directing automated exploration.
4. Conceptual breakthroughs, abstraction, rigorous proof, and deciding why a result matters remain central to the discipline.

Rather than making mathematics obsolete, increasingly capable AI may give mathematicians a new experimental instrument. The profession could become less constrained by computation while placing even more value on deep understanding.