人工智能在数学领域的能力飞速进展正在深刻冲击数学学科和专业的未来。仅在三年前，AI系统还无法可靠地进行两数相加，但如今OpenAI和DeepMind的内部模型已在国际数学奥林匹克竞赛（IMO）上获得金牌级别分数，甚至开始自主解决重大开放问题。