Stephen Wolfram / Stephen Wolfram Writings: As AI automates parts of pure mathematics research, a look at formalization challenges and why human imagination remains key to deciding which questions to ask — Headlines and History — The headlines keep coming: such and such an AI system has solved such…