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 正在接管纯数学研究中的部分环节,尤其是把数学命题转写成机器可验证形式这一步;但他强调,决定“该问什么问题”仍然依赖人的想象力。







![[Bug] Client sends empty _meta:{} on every request; strict servers (Meta Ads MCP) reject with HTTP 400](https://www.chat-gpts.plus/wp-content/uploads/2026/10/3473-a9bea40e-768x403.jpg)
