目录
- 2025年拉马努金奖授予智利数学家，表彰其在色散偏微分方程领域的开创性贡献
- [传奇数学家Ken Ono辞去了终身教职，加入了自己学生Carina Hong创办的Axiom Math](#传奇数学家Ken Ono辞去了终身教职，加入了自己学生Carina Hong创办的Axiom Math)
- AI数学家"亚里士多德"6小时破解30年难题，陶哲轩盛赞数学研究进入新范式
- 第四届数学促进经济社会发展论坛聚焦工业软件自主创新
- 参考资料
2025年拉马努金奖授予智利数学家，表彰其在色散偏微分方程领域的开创性贡献
2025年度的ICTP & IMU拉马努金奖授予了智利大学的克劳迪奥·穆尼奥斯（Claudio Muñoz）教授，以表彰他对色散偏微分方程的开创性贡献。色散偏微分方程是描述波动现象的核心数学工具，涵盖了从量子力学薛定谔方程到经典波动方程等一系列物理学基本方程。
穆尼奥斯教授工作的卓越之处，在于他对这些方程解的长期行为，特别是"孤子"解的渐近稳定性及多孤子相互作用动力学，做出了深刻而系统的研究。孤子是一种像粒子一样的特殊波包，能在传播过程中保持形状稳定，是理解许多非线性物理现象的关键。他的研究证明了这类波具有极强的稳健性，能够在复杂环境中持久存在。穆尼奥斯将自己的灵感归因于对物理世界，尤其是无处不在的波（如海洋波、量子波）的着迷。
穆尼奥斯的获奖，不仅是对其个人学术成就的认可，也凸显了数学物理这一交叉领域的持久生命力。他的工作架起了深邃数学理论与复杂物理现象之间的坚固桥梁。此外，作为智利数学建模中心（CMM）的首席研究员，穆尼奥斯正积极推动研究向新边界拓展，包括探索用色散方程描述人工智能，以及研究数论与色散分析的交叉领域。这展现了顶尖数学家从经典问题中衍生新方向的前瞻性，也体现了像CMM这样的研究中心在智利及拉丁美洲提升科研活力中的关键作用。
传奇数学家Ken Ono辞去了终身教职，加入了自己学生Carina Hong创办的Axiom Math
美国传奇数学家Ken Ono辞去了弗吉尼亚大学终身教职，加入了自己学生Carina Hong创办的Axiom Math，打造「AI数学家」。
Ken Ono是目前全球最杰出的数学家之一，对于在弗吉尼亚大学执教的他来说，硅谷AI初创公司好比另一个世界。Ono曾经对AI持怀疑态度，前不久，他还在讲座时调侃AI技术的「神话」，称自己是NI（Naturally Intelligent，天生智能）。然而，现在却要全身投入AI领域，促使他做出这一决定的，只因他在一次研讨会上看到了AI在数学研究上的无限可能。
Carina Hong也是非常具有传奇色彩，Carina Hong在中国广州长大，她在很小的时候就发现了自己对数学的热爱，她曾接受过奥数训练，并从激烈的竞争中脱颖而出。她3年内从MIT毕业，拿下美国本科数学研究最高奖Frank and Brennie Morgan Prize（摩根奖）和Rhodes Scholarship（罗德奖学金），曾是Ken Ono的学生。然后，前往斯坦福攻读法学与数学双博士，正是在斯坦福大学附近的咖啡馆，她结识了Meta的前AI科学家Shubho Sengupta。他们讨论了把AI和数学两个领域结合起来的想法，后辍学创办了Axiom Math，Axiom这个词对数学专业的学生来说一点也不陌生，Carina Hong的想法是打造一款「AI数学家」，这是一个能够推理已有问题、发现新问题，并用形式化证明验证自己工作的AI系统，而不仅仅是给出答案。
AI数学家"亚里士多德"6小时破解30年难题，陶哲轩盛赞数学研究进入新范式
2025年11月底，数学界迎来一次震动。由HarmonicMath团队开发的专用AI系统"亚里士多德"（Aristotle），在没有人类辅助的情况下，耗时仅6小时，便在Lean形式化证明系统中独立完成了埃尔德什问题#124一个版本的证明。该系统结合了强化学习、蒙特卡洛树搜索和形式化语言，通过搜索上亿种证明策略，最终输出了一条完全可验证的定理。这一成就被团队创始人称为"数学界的'登月'时刻"，标志着"vibe证明时代"的到来。
菲尔兹奖得主陶哲轩对此给予高度评价。他指出，通用AI工具未能发现新思路，而"亚里士多德"的突破性在于其专业性。陶哲轩进一步阐述，数学未解问题呈"长尾分布"，有大量因关注度不足而未被解决的"低垂果实"。AI自动化工具的优势正是大规模、高效地"收割"这些果实，从而将人类数学家的宝贵精力从繁琐的初步筛选中解放出来，集中于最核心、最艰难的部分。
"亚里士多德"的成功并非替代数学家，而是预示着一种新的研究范式。它证明，针对数学推理专门设计的AI，可以成为发现和验证知识的强大伙伴。这种"人机协同"模式将重塑数学研究的工作流程：AI负责处理海量可能性、验证常规证明乃至发现被遗漏的简单推论（如本次E124问题中因描述瑕疵而变简单的版本）；人类数学家则专注于提出深刻的猜想、构建理论框架和解决本质性难题。数学这片浩瀚的"暗森林"，正在被AI点亮新的角落。
第四届数学促进经济社会发展论坛聚焦工业软件自主创新
2025年11月29日，第四届数学促进经济社会发展论坛在重庆科学会堂举行，主题直指核心------"数学基石，软件当立"，聚焦"新一代工业软件研发与应用"。论坛汇聚了200余位院士专家及企业代表，共同探讨数学如何成为工业软件自主创新的真正基石。
论坛传递出明确共识：现代工业软件的本质是"数学方法工程化"的产物。为将这一共识转化为实践，现场举行了重要的平台落地仪式。一方面，"中俄数学中心A类基地"揭牌，旨在依托顶尖国际数学资源攻关核心理论；另一方面，"重庆市国产工业软件技术创新中心"正式授牌，该中心由北京大学重庆大数据研究院牵头，旨在构建从基础研究到行业应用的全链条创新体系。
论坛的"硬核"成果是两项自主研发的发布："北达飞易新一代CAE算法引擎"和"源启小智"民生分析平台。前者由胡俊教授领衔，其核心求解器在亿级自由度的工程场景下，精度达99.9%，效率超越国外商用软件，成为国产仿真软件突围的标杆。后者则运用数学算法与AI技术，实现对社会治理海量数据的智能分析，展现了数学赋能社会管理的潜力。
本届论坛清晰地勾勒出一条"数学理论-核心算法-工业软件-产业应用"的创新链条。它揭示了一个关键转变：中国软件要从"跟跑"到"领跑"，不能仅满足于应用层的开发，必须回归并夯实数学根基。正如与会专家所呼吁的，这需要数学界"放下身段"直面工程真问题，产业界"固本强基"尊重科学规律。这种"共生"模式，正是构建可持续创新生态、推动新型工业化的核心驱动力。
参考资料
1，2025年ICTP &IMU拉马努金奖授予克劳迪奥·穆尼奥斯
https://www.thepaper.cn/newsDetail_forward_32101285?commTag=true
2，半夜被AI「吓醒」！57岁导师投奔24岁华人女学霸，打造「AI数学家」
https://baijiahao.baidu.com/s?id=1850766665025341320\&wfr=spider\&for=pc
3，30年数学难题，AI仅6小时告破！陶哲轩：ChatGPT们都失败了
https://www.thepaper.cn/newsdetail_forward_32076555
4，第四届数学促进经济社会发展论坛（2025）举行
https://pkunews.lb.pku.edu.cn/xwzh/f336f15acf19470a84872ce35fe9a14a.htm