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.

I am completing my PhD at the University of Toronto, supervised by Yevgeny Liokumovich and Vitali Kapovitch.

Thesis upcoming.

PAPERS