As AI marches on math research, scholars ponder the future

A flurry of AI-generated proofs has left mathematicians in various emotional states. Some are cautiously excited. Some are critical of the AI companies’ commercial motives behind their relentless mining of open maths problems and are insisting on more careful regulation. And some are left asking existential questions