北京大学国际数学研究中心报告厅外，人群从早上八点就开始聚集。不到九点，能容纳300人的报告厅已经连走廊都站满了听众，工作人员不得不临时在隔壁教室开通视频直播——这是34岁的王虹教授受邀回到母校，举行题为《微分几何中的非线性分析技术》的学术讲座的现场盛况。

讲座 数学 教授 引理 王虹 2025-06-19 21:05  2

它的英语是harmonic，是和声、协调的意思。按照字面理解，是不是可以理解为数学中的各种谐波的意思？因为各种不同的声波加在一起，听起来才会感到和谐，对不对？

谐波 引理 傅里叶级数 泛音列 基波 2025-06-06 09:29  4

本周二，我们报道了菲尔兹奖得主陶哲轩的一个开源项目 ——在大模型的协助下编写了一个概念验证软件工具，来验证涉及任意正参数的给定估计是否成立（在常数因子范围内）。

copilot 引理 陶哲轩 lean sympy 2025-05-12 16:10  6

吴宝珠1972年出生于越南一个学者家庭，15岁时进入越南国立河内大学附属高中的数学专修班，1988年和1989年，他连续两届参加国际奥林匹克数学竞赛，获两枚金牌。他在法国完成大学学习，在博士研究生阶段开始研究朗兰兹纲领；2008年，他证明了朗兰兹纲领的基本引理

论文 吴宝珠 引理 2024-11-22 09:11  5