xAI联合创始人探讨AI时代数学范式转变

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

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。