2025摄于安徽黄山Li, Xinze (Moqian)
李昕泽 (墨谦)
The paradigm shift brought by AI emerges as part of the broader dialectic of human history. Through connection, we make things happen.

AI4MATH ECOSYSTEM
When machines verify and humans create, mathematics enters a new era. I'm connecting people and projects shaping this space. Let's talk.
→ Curated list on GitHubRESEARCH
I am completing my PhD at the University of Toronto, supervised by Yevgeny Liokumovich and Vitali Kapovitch.
Thesis upcoming.
PAPERS