2024 年，谷歌 DeepMind 的 AlphaProof 与 AlphaGeometry 2 联合系统在 IMO 竞赛题上解出 4 题，达到银牌线水平——首次在完整 IMO 赛制下接近人类顶尖选手。

2023 年 DeepMind 提出 FunSearch：用大语言模型搜索新算法与数学构造，在「帽子集合」与装箱问题上找到了此前未知的构造，成果发表于《自然》。

Lean、Coq 等证明助手把数学证明写成「可被机器检查的代码」。2024-2025 年，陶哲轩主持的「多项式 Freiman-Ruzsa 猜想」形式化项目成功，标志着大规模协作形式化证明的成熟。

大语言模型从「算术常错」到能解答高等数学题目只用了几年；但「会解题」与「会证明」之间仍有鸿沟，数学推理仍是评测大模型智能的黄金标准。

2026 年 2 月，王虹（纽约大学柯朗研究所）与约书亚·扎尔（不列颠哥伦比亚大学）宣布证明了三维挂谷猜想：在 $\mathbb{R}^3$ 中能包含所有方向单位线段的集合，其豪斯多夫维数与闵可夫斯基维数必为 3。这项突破是继 2020 年王虹-格思公式之后几何测度论的重大胜利，使王虹成为 2026 年菲尔兹奖的热门人选。

2014 年米尔札哈尼成为首位菲尔兹奖女性得主后，其关于模空间体积的公式持续发酵：2022-2025 年间基于米尔札哈尼公式的刚性研究不断取得进展，验证了「女数学家时代」的到来。

2013 年张益唐证明存在无穷多对素数间隔小于 7000 万，震动数学界；2022 年他宣布在朗道-西格尔零点问题上取得本质进展，虽未经完整同行评审，仍被视为解析数论的里程碑尝试。

2012 年望月新一发表 600 页的 ABC 猜想证明，2020 年京都大学数学研究所刊物发表该论文后争议持续：多数西方数学家认为证明存在不可逾越的论证缺口，成为「发表不等于接受」的当代案例。

朗兰兹纲领——连接数论、代数几何与表示论的「数学大统一理论」持续推进：2024 年几何朗兰兹猜想的证明由多个团队协作完成，成为纲领 50 余年来最重大的突破之一。

分布式计算项目（如 PrimeGrid）持续刷新孪生素数纪录；张益唐之后，「多项式方法」让无穷多素数间隔的上界从 7000 万降到 246，凝聚了数百位数学家的协作。

超级计算机验证了黎曼 ζ 函数前数十亿个非平凡零点的分布与随机矩阵特征值分布高度吻合——蒙哥马利-欧德利兹科猜想获得海量数值证据，却仍无证明。