xAI 联创称数学正被 AI 工业化，孤独证明时代走向终结

xAI 联合创始人 Christian Szegedy 在长文《数学何去何从？》中提出，AI 已把数学从少数天才的孤独攀登，推向可被大规模测绘和工业化利用的新阶段。他回顾自己自 2019 年起押注自动形式化与“超人数学家”的判断，并列出 2026 年 OpenAI 与 Anthropic 在多个数学问题上的进展。与此同时，Stephen Wolfram、Kevin Buzzard 等人公开表达保留意见，争论焦点集中在数学是否会被 AI 彻底改写。