Wolfram Research

Stephen Wolfram has published a long essay asking what role human mathematicians will play as AI systems grow more capable at pure mathematics. He explores whether machine-assisted proof and computation will change how mathematical research is done and what remains distinctively human in the field.