Savelii Kholin


I live in San Francisco and learn at the intersection of computer science, Physics, biology, hardware, entrepreneurship, and investments. I grew up in Moscow and graduated cum laude B.S. in Physics from MIPT, M.S. from Duke University, and worked in McKinsey.

Lately, I've been interested in AI for math and synergy between LLMs and LEAN. I scored top 7% at If you are a team working on this in a startup or a research lab, I'd love to chat!