Alan Li

PhD Student, Computer Science
The University of Texas at Austin

About

I am a second-year PhD student in Computer Science at UT Austin, advised by Swarat Chaudhuri. I am broadly interested in the application of AI to mathematics.

One project I am currently excited about uses AI to improve the best known bounds on the Grothendieck constant, which is fundamental to areas such as functional analysis, combinatorial optimization, and theoretical computer science (see our recent preprint). In this project, we have been exploring how AI can collaborate with human mathematicians on long-horizon open research problems.

Please feel free to reach out if you'd like to talk about any of this!

News

Aug 2026Announcing new work that further tightens both the upper and lower bounds on the Grothendieck constant to 6π/11 ≤ K_G ≤ π/(2 log(1+√2)) − 10⁻⁴, pinning down its tenths digit as 7, in collaboration with a long-horizon AI research system! In our mathematics preprint we give the proofs of these results, and in our AI preprint we detail the human-AI research process that produced them.
Jul 2026Our paper PWW-Bench was accepted to the AI for Math Workshop at ICML 2026!
Jun 2026New preprint improving the upper bound on the Grothendieck constant is on arXiv!
Aug 2025Started my PhD at UT Austin.