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 and such a math problem.
