Peking University AI for Math Exchange Workshop

Description

This workshop focuses on key tools and frontier platforms in the development of AI for Math, with presentations and discussions centered on mathematical research agents and intelligent mathematical reasoning engines. The workshop aims to share the latest progress at Peking University in empowering mathematical research with artificial intelligence, and to explore how AI technologies can support mathematical discovery, proof verification, research collaboration, and applied modeling. It seeks to promote the deep integration of mathematics and artificial intelligence, and to jointly advance new paradigms of mathematical research in the intelligent era.

• Please scan the QR code to complete your registration. (Deadline: June 15, 2026)

https://v.wjx.cn/vm/weLJYPd.aspx

Organizers

Bin Dong (Peking University)

Zaiwen Wen (Peking University)

Host Organization

Beijing International Center for Mathematical Research, Peking University

School of Mathematical Sciences, Peking University

Schedule

Campus Access and Dining Arrangements

Campus Access

Registered participants, who have received invitation or confirmation of acceptance from the organizing committee, will be granted access to the main campus of PKU. During the meeting, you may enter through any campus gate by presenting your ID card.