数学将迈入新纪元：AI突破引发学科范式变革

xAI联合创始人Christian Szegedy在X平台发布长文《数学何去何从？》，引发学界震动。他指出AI已实现数学领域重大突破，传统数学家的英雄时代即将终结。

2026年数学界接连取得突破性进展：OpenAI推翻悬置80年的单位距离猜想，Anthropic研究员用Claude Fable 5证伪1939年雅可比猜想。9月4日，Anthropic内部模型仅用11天即完成费马大定理证明，9月21日更宣称解决100多个数学难题。

Szegedy回顾自身学术历程，从匈牙利数学特长班到谷歌深度学习奠基人，再到xAI创始成员。他提出自动形式化理论，主张让AI将人类数学自动翻译为机器可验证的证明，目标是2029年实现超人AI数学家。

文章对比传统数学探索与AI突破：过去数学家如同在原始丛林中徒手攀岩，而AI如同飞机已插旗无人登顶的山峰。Szegedy预言数学将从象牙塔走向产业，成为科技发展的基础设施。

他指出传统数学研究模式将被颠覆，未来数学家需掌握选择研究方向、指挥AI编队、传播发现成果等新能力。尽管部分学者如Stephen Wolfram对AI取代人类数学能力持保留态度，但Szegedy认为数学即将开启测绘整片大陆的新时代。

文章末尾强调数学将完成从英雄探险到系统工程的转型，成为所有科技领域发展的地基。Szegedy表示已迫不及待要乘超音速飞机探索那些广阔的数学山脉。

该文引发学术界激烈讨论，部分学者认为AI将重塑数学研究范式，但也有人担忧传统学术体系将面临根本性变革。