星空平台app官方下载官方网站玩法规则 - 星空平台app官方下载官方网站

2026年08月26日（星期三）

时间

内容

08:30-09:45

开幕式：

1、校领导及与会院士等嘉宾致辞

2、合影

09:45-10:15

休息

10:15-11:00

董彬（北京大学）

【报告题目】AI for Mathematics：数学智能体的设计与实践

11:10-11:55

岳海天（上海科技大学）

【报告题目】Invariant Gibbs measures and propagation of randomness for nonlinear dispersive PDE

14:00-14:45

孙崧（浙江大学）

【报告题目】爱因斯坦度量的几何

14:45-15:15

休息

15:30-18:00

分论坛一：学术交流

分论坛二：学术交流

2026年08月27日（星期四）

时间

内容

09:00-09:45

袁新意（北京大学）

【报告题目】莫德尔猜想中解的个数估计

09:45-10:15

休息

10:15-11:00

王国祯（复旦大学）

【报告题目】The Structure of Stable Homotopy Groups

11:10-11:55

余红杰（中国科星空平台app官方下载官方网站玩法规则数学与系统科学研究院）

【报告题目】Counting l-adic and p-adic Coefficient Objects over Finite Fields

8月26日 董彬 10:15-11:00

【报告题目】AI for Mathematics：数学智能体的设计与实践

【摘要】

 人工智能正在推动数学研究范式的演进，但其深度参与数学研究仍面临若干关键挑战。数学研究高度专业化，不同领域在概念体系、符号表述和文献传统上存在差异，使潜在的跨领域关联难以被有效发现；与此同时，自然语言论证与机器可验证的形式化证明之间仍存在显著鸿沟。本报告将介绍北京大学课题组围绕数学信息检索、检索增强的自动形式化与自动推理所构建的一系列数学智能体，重点阐述其设计理念、系统架构与实践方法，并通过若干开放数学问题的典型案例，展示这些智能体在知识发现、问题形式化和推理探索中的作用。最后，报告将对人工智能驱动数学研究的未来发展方向作简要展望。

【个人简介】

 董彬，北京大学博雅特聘教授，现任职于北京大学北京国际数学研究中心，兼任北京大学国际机器星空平台app官方下载官方网站玩法规则研究中心副主任及北京中关村星空平台app官方下载官方网站玩法规则常务副院长。其主要研究领域涵盖机器星空平台app官方下载官方网站玩法规则、科学计算与计算成像。主要研究成果包括揭示了偏微分方程与小波之间的深层联系，启发了针对复杂计算成像问题的新型算法。在 AI for Mathematics领域，围绕计算与推理展开系统性工作：计算方面，建立了微分方程与深度网络之间的桥梁，提出了PDE-Net等新架构；推理方面，构建了数学语义检索引擎、研发了多款推理智能体，并解决了基础与计算数学中的多个开放问题。董彬的学术工作获得了学界的广泛认可，曾获2014年求是杰出青年学者奖与2023年王选杰出青年学者奖，并于2023年入选新基石研究员项目。此外，他曾受邀在2022年国际数学家大会作45分钟报告，2026年受邀在SIAM成像科学会议（IS26）与SIAM数学数据科学会议（MDS26）作联合大会报告，并已受邀将于2027年国际工业与应用数学大会（ICIAM）作大会邀请报告。

8月26日 岳海天 11:10-11:55

【报告题目】Invariant Gibbs measures and propagation of randomness for nonlinear dispersive PDE

【摘要】

The study of propagation of randomness in the context of dispersive PDEs can be traced back to work by Lebowitz–Rose–Speer (1988, 1989) and Bourgain (1994, 1996) concerning the Gibbs measure for nonlinear Schrödinger equations. Since then there have been substantial developments of their ideas by many different researchers. In the last few years, this field has seen significant progress and many new ideas and methods have been introduced. The aim of this talk is to briefly review these recent developments (random averaging operators and random tensor theories) and describe some of the foundations upon which these recent developments have built upon, in particular Bourgain’s seminal work on the subject.

【个人简介】

岳海天，数学博士，2021年至今任教于上海科技大学数学研究所。2018年在美国马萨诸塞大学阿默斯特分校获得数学博士学位，2018-2021年在美国南加州大学进行博后工作。学术研究方向为非线性色散偏微分方程，目前主要关注非线性色散方程的随机初值问题和不变吉布斯测度问题。研究成果发表在包括《Annals of Mathematics》、《Inventiones Mathematicae》和《Communications in Mathematical Physics》等多个国际知名数学期刊上。

8月26日 孙崧 14:00-14:45

【报告题目】爱因斯坦度量的几何

【摘要】

 爱因斯坦度量是广义相对论中爱因斯坦时空在几何学中的对应。它刻画了在一定意义下最自然的曲率分布，因此成为现代几何中最重要的几何结构之一。围绕爱因斯坦度量的研究，与微分几何、偏微分方程、拓扑、代数几何等数学分支有着深刻而丰富的联系。我们将介绍相关背景知识与一些最近的进展与研究方向。

【个人简介】

 孙崧，浙江大学数学高等研究院教授。2006年毕业于中科大少年班，2010年获美国威斯康星大学麦迪逊分校博士学位，师从陈秀雄教授。2024年全职回国前任加州大学伯克利分校教授。他曾荣获2014年斯隆研究奖和2019年美国数学会维布伦几何学奖，并于2018年受邀在国际数学家大会作45分钟报告。因在复微分几何领域的一系列开创性贡献，包括凯勒-爱因斯坦度量存在性理论以及其与模空间和奇点理论之间联系的研究，荣获2021年科学突破奖-新视野数学奖。

8月27日 袁新意 9:00-9:45

【报告题目】莫德尔猜想中解的个数估计

【摘要】

 1983年，法尔廷斯证明了著名的莫德尔猜想，即亏格大于1的代数曲线上只有有限个有理点。在这个报告中，我将介绍我近期与虞家伟、周胜铉合作的工作，即莫德尔猜想中解的个数的一个具体的上界。

【个人简介】

袁新意，北京大学北京国际数学研究中心讲席教授。2003 年于北京大学获得学士学位，2008年于美国哥伦比亚大学获得博士学位。袁新意教授的研究领域是数论与算术几何，在Gross-Zagier公式、 Bogomolov猜想、Mordell猜想等问题上作出重要贡献，在《Annals of Mathematics》、《Acta Mathematica》、《Inventiones Mathematicae》等重要期刊上发表论文多篇，并出版专著两本。袁新意教授获得了诸多奖项和荣誉，包括2008年克雷数学所奖学金，2022年新基石科学探索奖，2025年华人数学家大会金奖，2026年国际数学家大会45分钟报告及2026未来科学大奖。

8月27日 王国祯 10:15-11:00

【报告题目】The Structure of Stable Homotopy Groups

【摘要】

Understanding the structure of the stable homotopy groups is a classical problem in algebraic topology. The major approach is via various spectral sequences. We will give a review on some new insights on the structures of these spectral sequences: the deformation theory relating the Adams and Adams-Novikov spectral sequences, the periodic and vanishing properties of certain slice spectral sequences, etc. We will also give some examples of these methods in concrete computations, including the stable homotopy groups of the spheres which leads to the resolution of the longstanding Kervaire invariant problem.

【个人简介】

王国祯，复旦大学上海数学中心教授、星空平台app官方下载官方网站玩法规则级高层次人才计划入选者，主要从事代数拓扑研究，在同伦论领域取得多项突破，包括与合作者证明61维球面微分结构唯一性、计算球面第60至90个稳定同伦群等，其科研成果发表于在《Annals of Mathematics》、《Acta Mathematica》、《Inventiones Mathematicae》等著名期刊。王国祯教授受邀在2022年国际数学家大会作45分钟报告，作为独立完成人获星空平台app官方下载官方网站玩法规则自然科学二等奖、星空平台app官方下载官方网站玩法规则部自然科学奖一等奖、陈省身数学奖、陈嘉庚青年科学奖、科学探索奖等荣誉。

8月27日 余红杰 11:10-11:55

【报告题目】Counting l-adic and p-adic Coefficient Objects over Finite Fields

【摘要】

Deligne formulated a series of conjectures concerning the counting and study of arithmetic coefficient objects on curves over finite fields, with the aim of understanding the arithmetic and geometric structures underlying them. Roughly speaking, coefficient objects are linear objects encoding arithmetic information of algebraic varieties; examples include l-adic local systems and p-adic F-isocrystals. These conjectures also suggest certain Lefschetz-type phenomena, relating the counting of coefficient objects to fixed-point phenomena on modu-li spaces.

In this talk, I will discuss some results and conjectures surrounding these questions. I will first recall the background and several results on counting l-adic local systems. I will then turn to the p-adic setting, where overconvergent F-isocrystals can be viewed as fixed points of a Frobenius-type operation on a modu-li space of vector bundles with connections. I will conclude by discussing ongoing work on a Lefschetz-type fixed-point formula in this setting.

【个人简介】

余红杰，2019年获巴黎第七大学博士学位，2024年起任中国科星空平台app官方下载官方网站玩法规则数学与系统科学研究院晨兴数学中心副研究员。其博士论文的核心成果以一篇109页的独著论文发表于《Annals of Mathematics》，该工作获首届基础科学大会科学前沿奖及2025年华人数学家大会最佳论文银奖。主要研究领域为表示论与算术几何，重点关注Langlands纲领以及非阿贝尔Hodge理论的算术版本。