Zhengying Liu

Moonshot AI researcher focused on large language models and AI for mathematics. Public event bios note that he led the Kimina project with Numina and contributed to the Kimi K2 series after earlier work on neural theorem proving and AI agents.