2025-07-02
2025年6月13-16日，上海期智研究院成功举办"International Workshop on Structural AI"(结构AI国际研讨会)。此次研讨会由上海期智研究院院长姚期智与研究院PI袁洋共同组织。会议邀请到了菲尔兹奖得主Laurent Lafforgue教授，以及来自全球AI Theory, AI Algorithms, Math for AI, AI Software等领域的二十余名顶尖学者齐聚上海，分享了自己的最新科研进展，深入探讨结构在塑造人工智能未来中的变革作用。
2025年6月13-16日，上海期智研究院成功举办"International Workshop on Structural AI"(结构AI国际研讨会)。此次研讨会由上海期智研究院院长姚期智与研究院PI袁洋共同组织。会议邀请到了菲尔兹奖得主Laurent Lafforgue教授，以及来自全球AI Theory, AI Algorithms, Math for AI, AI Software等领域的二十余名顶尖学者齐聚上海，分享了自己的最新科研进展，深入探讨结构在塑造人工智能未来中的变革作用。
院长致辞
院长姚期智对从全球各地远道而来的顶尖学者表示欢迎，并在致辞中表达了对此次研讨会的殷切期待。来自不同领域的专家和科研人员，将在这里分享最前沿的研究成果，探讨最前沿的问题，互相学习、互相启发。姚先生表示，这种跨领域、跨国界的学术交流，将为人工智能的发展提供新的思路。
报告分享
Laurent Lafforgue
REPORT
2002年菲尔兹奖得主
Huawei
Académie des Sciences
Math for AI
Title: The Interplay of Semantics and Topology Through Grothendieck Topos Theory
Andrew Chi-Chih Yao
REPORT
2000年图灵奖得主
Shanghai Qi Zhi Institute
Tsinghua University
AI Theory
Michael Lyu
REPORT
The Chinese University of Hong Kong
AI Software
Jun Wang
REPORT
University College London
AI Algorithms
Yang Yuan
REPORT
Shanghai Qi Zhi Institute
Tsinghua University
AI Theory
Yuxin Deng
REPORT
Shanghai University of Finance and Economics
Programming Language
Title: Formal semantics, theorem proving, and verification of quantum programs
Jingzhao Zhang
REPORT
Shanghai Qi Zhi Institute
Tsinghua University
AI Theory
Title: New Problems in Statistical Learning Inspired by LLMs
Zhengying Liu
REPORT
Kimi Moonshot
AI Math
Title: Kimina-Prover: A Large Formal Reasoning Model Based on Reinforcement Learning
Quanquan Gu
REPORT
ByteDance
University of California，Los Angeles
AI Algorithms
Title: Unleashing the power of variance reduction for training large models
Qinxiang Cao
REPORT
Shanghai Jiao Tong University
Programming Language
Title: A Set Library in Coq for Teaching Denotational Semantics
Xiaodan Liang
REPORT
Sun Yat-sen University
AI Math
Title: Multi-modal Math Reasoning Challenges and Methods
Junchi Yan
REPORT
Shanghai Jiao Tong University
AI Algorithms
Title: Solving and Representation for Graph & Combinatorial Problem Instances
Kelin Xia
REPORT
Nanyang Technological University
Math for AI
Title: Mathematical AI for Molecular Sciences
Di Wang
REPORT
Peking University
Programming Language
Title: Algebraic Program Analysis of Probabilistic Programs
Paul Lessard
REPORT
Symbolica
Math for AI
Title: What Categorical Deep Learning Is and Isn’t: Revisiting “Position: Categorical Deep Learning Is an Algebraic Theory of All Architecture"
Olivia Caramello
REPORT
University of Insubria
Grothendieck Institute
Math for AI
Title: Relative Toposes and Meta-learning
Jie Wu
REPORT
Beijing Institute of Mathematical Sciences and Applications
Math for AI
Title: Topology, Category and Structural AI
Sergey Mechtaev
REPORT
Peking University
AI Software
Bin Dong
REPORT
Peking University
AI Math
Yingfei Xiong
REPORT
Peking University
Programming Language
Title: Neural Code Generation Models with Programming Language Knowledge
Cong Fang
REPORT
Peking University
AI Theory
Title: Relational Learning in Pre-Trained Models: A Theory from Hypergraph Recovery Perspective
Xin Xia
REPORT
Zhejiang University
AI Software
Title: Enhancing Software Engineering with Large Language Models: Insights, Challenges, and Future Directions
学术问答
分组讨论
