Wang Xiaochuan, founder and CEO of Baichuan Intelligence, holds a doctoral degree in computer science and technology from Tsinghua University and serves as the co-dean of the Tsinghua University TianGong Institute of Intelligent Computing. During high school, he used Wu Wenjun's elimination method to complete all proofs of elementary geometry propositions for the first time on a microcomputer. He has won gold medals in the International Olympiad in Informatics (IOI), the first prize of the Beijing Science and Technology Award, the China Youth Science and Technology Award, the first prize of the Science and Technology Progress Award of the Chinese Institute of Electronics, and the Qian Weichang Chinese Information Processing Science and Technology First Prize. He has served as a member of the 13th National Committee of the Chinese People's Political Consultative Conference and the Proposal Committee, a member of the Central Committee of the 14th Jiusan Society and the Director of the Committee for Promoting Technological Innovation, and a member of the Advisory Committee of the Computer Discipline of Tsinghua University. He has won various awards and honors including the 8th International Olympiad in Informatics (IOI) gold medal in 1996, the title of Beijing Model Worker in 2014, the first prize of the Beijing Science and Technology Award in 2015, the China Youth May Fourth Medal in 2018, the 15th China Youth Science and Technology Award in 2019, the first prize of the Sci