AI浪潮下,全球数学家的跨界迁徙

菲尔兹奖得主陶哲轩与Google DeepMind深度合作，参与开发 AlphaEvolve，用 AI 推进数十个数学问题研究，提升 AI 数学推理上限。

Carina Hong（洪乐潼），MIT 数学 + 物理双学位，斯坦福数学 + 法学博士退学，创建创办 Axiom Math公司。种子轮融资 6400 万美元，AI 独立解决多项研究级数学难题。

数论家小野健（Ken Ono），辞去弗吉尼亚大学终身教职，加入其学生洪乐潼创办的AI数学公司Axiom Math，致力于打造能自主提出并证明定理的“AI数学家”，推动 AI 与数论融合。

François Charton，数学 + 物理背景，前 Meta AI 研究员，加入 Axiom Math，用 AI 解决百年数学难题，负责符号推理与证明模块研发。

牛津大学数学家Marc Lackenby与谷歌DeepMind深度合作，通过人机协同破解了群论领域几十年未解的Kourovka Notebook第21.10号问题。

杰里米·阿维加德（Jeremy Avigad）推动形式化数学。卡内基梅隆大学教授、交互式定理证明（Lean）领域的领军人物阿维加德，长期倡导数学家与AI协作，领导的团队正训练AI系统完成研究级数学定理的‌非形式化与形式化双轨证明‌，为AI参与前沿数学研究提供方法论基础。

吴明辉则从北大数学系出发，创立明略科技并推动其在港交所上市，实现学术到产业的跨越。其核心理念是“‌y = f(x)‌”——用数学函数抽象世界问题，驱动AI智能体（Agent）实现自动化决策。

香港中文大学计算机科学系教授徐强，深耕AI与EDA（电子设计自动化）交叉研究，于2026年5月正式加盟国产EDA企业‌芯华章‌，出任首席科学家。他将推动“‌AI原生验证‌”技术落地，利用大电路模型（LCM）和验证智能体，解决先进芯片设计中的“验证赤字”难题。

原Meta SAM项目核心成员、Llama3/4视觉定位团队负责人张鹏川，本科毕业于清华大学基础科学实验班（主修数学），后获加州理工学院应用与计算数学博士学位。他于2026年初加入‌OpenAI‌，转向‌世界模拟与机器人方向‌，将数学建模能力应用于物理环境的AI仿真系统构建。

往期回顾