The company was founded by Liang Wenfeng, a graduate of Zhejiang University, in May 2023. Wenfeng also co-founded High-Flyer, a China-based quantitative hedge fund that owns DeepSeek. "We estimate that compared to the very best worldwide standards, even the very best domestic efforts face a couple of twofold gap in terms of model structure and training dynamics," Wenfeng says. "We imagine formal theorem proving languages like Lean, which supply rigorous verification, represent the way forward f...