ProofCouncil: An LLM Agent for Solving Open Mathematical Problems
Preprint · arXiv:2607.09474
An author–critic agent for research mathematics, evaluated on the FirstProof challenge and open problems contributed by mathematicians.
Mathematics · ETH Zurich
I am a PhD student in mathematics at ETH Zurich, advised by Yilin Wang.
My research is at the intersection of complex analysis and probability, with a focus on Loewner energy, conformal geometry, Schramm–Loewner evolution and Brownian loop measures.
I also work on AI for mathematical research, including ProofCouncil, an LLM agent for open mathematical problems.
Preprint · arXiv:2607.09474
An author–critic agent for research mathematics, evaluated on the FirstProof challenge and open problems contributed by mathematicians.
Advances in Mathematics 452, 109815 (2024)
Boundary limits and continuity of singular value measures for inner functions of finite entropy, with connections to Beurling–Carleson sets and angular derivatives.
Work in preparation
With Oleg Ivrii.
Advisor: Yilin Wang. Started September 2025.
Thesis: Critical Values of Inner Functions
Advisor: Oleg Ivrii.
Summa cum laude. Dean’s Awards, 2019–2021.
Office HG E 66.2
Department
Department of Mathematics