菲尔兹奖得主名单提前泄露，王虹和邓煜两位中国数学家入选。王虹因破解三维Kakeya猜想而受到关注，邓煜则攻克了希尔伯特第六问题。这是中国籍数学家首次同时获此荣誉，标志着中国数学教育的崛起。

陶哲轩，菲尔兹奖得主，积极推动数学与人工智能的结合。他预言未来数学将依赖形式化语言，并通过Lean工具实现自动验证，促进数学协作。他发起的Equational Theories项目在AI和全球志愿者的协作下，迅速解决了大量数学问题，展现了新型数学研究模式的潜力。陶哲轩的实践证明，前瞻性思维与实际行动相结合，能够推动数学领域的创新发展。

AI Agent Gauss在一周内独立完成了菲尔兹奖成果的形式化证明，生成20万行代码，成为历史上最大规模的Lean形式化项目。该成果验证了8维和24维最优球体堆积问题，并修正了原论文中的错误，标志着自动形式化领域的重要突破。

在高中时，我和同学们学习了玛丽亚姆·米尔扎哈尼的《数论》，她是首位获得菲尔兹奖的女性，激励了无数伊朗女性在STEM领域取得成就。今天，我向她和所有打破障碍的伊朗女性致敬。