xAI 联合创始人 Christian Szegedy 发文探讨 AI 时代的数学范式转变

xAI 联合创始人 Christian Szegedy 发文称 AI 正在终结纯数学的个人英雄主义时代，使其转变为全科技行业的工程化地基。文章回顾了自动化定理证明与大模型在猜想求解上的进展，指出数学家的核心能力将转向方向选择与工具调度。Stephen Wolfram 等学者则持保留态度，强调数学问题的定义目标仍须来自人类自身。