人工智能在数学领域的能力飞速进展正在深刻冲击数学学科和专业的未来。仅在三年前，AI系统还无法可靠地进行两数相加，但如今OpenAI和DeepMind的内部模型已在国际数学奥林匹克竞赛（IMO）上获得金牌级别分数，甚至开始自主解决重大开放问题。
OpenAI的下一代主要模型Astra的内部版本成功解决了十个数学、量子复杂性和理论计算机科学领域的重大开放问题。根据EpochAI Research的评估标准，这些成果的重要程度经过了系统分类和评价。