I’m currently a PhD candidate in the Physics Department at MIT, under the supervision of Peter Shor and Aram Harrow .
My research focuses on quantum codes, topological order, and quantum simulation of physical systems. I’m also learning about open quantum systems, quantum complexity theory, as well as quantum algorithms.
In my free time, I think about and experiment with how machine learning can help derive and prove mathematical theorems and how large language model agents can automate the process.
My email is yuanjie[at]mit[dot]edu. Please don’t hesitate to reach out for academic collaboration, entrepreneurship, or AI-for-math conversations.
We are considering a startup around formal verification and automated mathematical theorem proving, and we are actively looking to speak with people interested in investing in this direction.
Current AI-agent project: MerLean .