我们的目标是在此次暑期活动之后，学生不仅能够掌握抽象代数的基础知识，并对数学形式化工具Lean有深入了解，还能切身体会并熟练运用两者之间的互动，即形式化过程。1报名条件1.数学成绩优秀、对AI

community等形式化社群进行更全面、广泛的形式化数学数据的积累和收集，AI4Math才能有本质上的进展。文献[1]

图片由周珍楠老师用Midjourney创作创作灵感是利用人工智能实现个性化、互动式教育2023年秋季学期，北京大学董彬老师的《图像处理中的数学方法》课启用了一款AI助教“Brainiac

“怀新一题”栏目由包括历年国际数学奥林匹克竞赛（IMO）金牌得主在内的海内外数学家定期执笔出题，题目定位于中学生、数学爱好者。本期主题为“最低次数”（lowest

Moura在2013年在微软研究院推出。截至2023年3月，Lean的数学数据库Mathlib已经包含了超过110,000个定理和1,100,000行代码。Mathlib的主要贡献者是Thomas

代数组合是一个用组合模型研究代数结构，用代数方法解决组合问题的重要研究领域，尤其与代数几何和表示论关系紧密。其具体研究方向包含舒伯特计数演算、李群李代数的表示论、热带几何、拟阵、考科斯特群、多面体等。为激发优秀本科生科研兴趣，培养代数组合领域拔尖人才，北京国际数学研究中心将于2023年开始举办代数组合本科生暑期科研项目(PKU

222578bilibili直播https://live.bilibili.com/25879004·

916407bilibili直播https://live.bilibili.com/25879004·

近日，国家自然科学基金委公布了2022年杰出青年科学基金评审结果，北京大学北京国际数学研究中心葛颢教授申报的项目“随机过程与生物物理化学的交叉”，张磊副教授申报的项目“稀有事件和可计算建模”，北京国际数学研究中心原博士后、数学科学学院郭帅副教授申报的项目“拓扑弦与计数几何”分别获得立项。葛颢的研究方向为随机过程与生物物理化学的交叉学科；利用随机过程和非平衡态的数学物理理论，提出生物化学系统的随机热力学和随机动力学的新理论，并且利用数学模型在单细胞和单分子的层面揭示若干重要实验现象背后的分子机制；同时，在学科交叉的过程中，提出新颖的数学问题，促进理论自身的发展。迄今已经出版英文专著1本，中文教材1本，在PRL,

编者按：2022年7月5日，万众瞩目的菲尔兹奖揭晓，4位年轻数学家成为新一届获奖人，其中包括美籍韩裔数学家June

北京大学数学科学学院和北京国际数学研究中心一直致力于培养有志于从事应用数学研究的拔尖人才，通过制定应用数学拔尖人才培养计划、举办暑期学校、开展本科生科研等，以培养更多应用数学学术精英人才。

多年来，科学家们一直在加深人工智能（AI）的研究，努力探索和推进AI发挥作用的前沿阵地。但纯数学领域似乎是AI无法深入的一块神秘之地，猜想和定理的提出和证明一直被认为严重依赖于数学家的直觉。近期，国际著名的人工智能企业DeepMind发表在Nature上的一项研究成果却展示了突破的可能性：在计算机科学家的协助下，数学家们首次使用AI来寻找灵感并提出新的数学定理，给出了在拓扑（topology）和表示论（representation

Analysis”，照片是会议第一天，报告即将开始时的情景，图中左一为董彬老师，中间是董老师的硕士导师沈佐伟教授，右为董彬老师的博士导师Stanley

报告现场6月4日下午，中国科学院院士、北京大学讲席教授、北京国际数学研究中心主任田刚在数学中心甲乙丙楼报告厅作题为“几何化（Geometrization）”的学术报告，这也是“北大数学一小时”讲座新增通识系列的首场报告。通识系列报告主要面向本科低年级学生，旨在为年轻人打开一扇了解更广阔数学天地的窗户，这也是北大数学探索人才培养模式的又一新尝试。数学中心副教授葛颢主持报告。分类二维闭曲面的结果是几何、复分析与拓扑完美结合的一个范例。大于等于四维的流形则由于其基本群的复杂性导致完全分类几乎不可能。对于三维流形的分类，Thurston在1982年左右提出了一个满意的理论：几何化猜想。理论大概可以理解为将三维流形可以沿着特定的曲面（球面或者环面）切开成小块，而这种小块都具有八种特定的几何结构之一。打个比喻，我们只需要八种乐高小方块就可以搭建我们三维世界了。几何化猜想还蕴含了拓扑学中著名的庞加莱猜想以及双曲化猜想作为其特殊情形。令人惊讶的是这一拓扑猜想的解决使用到了Ricci

数学研究需要安静的治学环境。我们也衷心希望社会各界与我们一起营造有利于年轻人专心开展学术研究的氛围。

https://link.springer.com/article/10.1007/s00222-020-01015-z

在p进霍奇理论这个国际竞争异常激烈的方向，刘若川潜心于其基础理论研究，在几何相对p进霍奇理论和算术相对p进霍奇理论两个方向上都取得了重大进展，得到了国际同行的高度认可。自2012