AI is solving previously unsolved mathematical problems, prompting researchers to reconsider the future of mathematical discovery and the role of mathematicians.
