微软前高管:数学家 200 年来一直拥抱新计算工具,抵制 AI 并非传统

inductionheads · x · 2026-09-12

针对 25 位菲尔兹奖得主警告 AI 与数学界错位的声明,前微软高管 Steven Sinofsky 发长文提出反问:数学家本就是计算的起源——从巴贝奇到最早的编程语言、可编程计算器、PC,再到 MACSYMA、muMath、Mathematica 等符号数学 AI,数学系一直是校园里最早采用这些工具的地方。

他回忆自己大学时唯一能借到可编程计算器的地方就是数学图书馆,数学系实验室比英语系更早用上 PC 和符号数学软件。他認为当下部分数学家的抵制态度,与过去 200 年「用新工具解决更难问题」的传统并不一致,值得深究背后的真实动机。