中央研究院 資訊科學研究所

The project "Robots for College Entrance Examination" is a major and important research project of the mainland launched about simulating human intelligence, including mathematics, Chinese, history and geography.

In this project, we are mainly responsible for the automatic problem solving of elementary mathematics, and the final goal is to get 110 scores (out of 150 scores) in 2017. Furthermore, the project involves natural language understanding, automatic reasoning, symbolic computation and knowledge base, which is a landmark problem for testing the level of artificial intelligence, and it is a new challenge of simulating human intelligence after IBM Watson. The purpose of this project is to promote the deep integration of big data, cognitive science and artificial intelligence, and obtain the original innovations in basic theories of knowledge representation, automated reasoning, and machine learning in cognition level.

Professor Fu has received his Ph.D. in Algebraic Geometry from SiChuan University in 1999, M.S. in Integral Geometry from Chinese Academy of Sciences in 1989. He has been a researcher of the Chengdu Institute of Computer Applications, Chinese Academy of Sciences from 2000 to 2006. Now, He is the professor in School of Computer Science & Engineering, University of Electronic Science and Technology of China (UESTC). His main research interest is Automated Reasoning and Machine Proof, and has won several awards for related topics. He is the principal investigator for a three-year multi-university China National 863 project “Key technology and system for solving elementary mathematics problems”.