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 (Stephen Wolfram/Stephen Wolfram Writings)

Stephen Wolfram 撰文讨论 AI 正在接管纯数学研究中的部分环节,尤其是把数学命题转写成机器可验证形式这一步;但他强调,决定“该问什么问题”仍然依赖人的想象力。








