Speakers: Noriko Arai & Takuya Matsuzaki National Institute of Informatics (NII), Japan
Title: Todai Robot Project: Can an AI get into the University of Tokyo?
We introduce the NII grand challenge project known as “Todai Robot Project -- Can an AI get into the University of Tokyo?” This project aims to add a new dimension to the current information technology and bring a deeper understanding of human intelligence, by setting a concrete goal: development of a software system which is able to pass university entrance exams. As the milestones, we try to achieve a high-score on the National Center Test in 2016 and get the system to pass the entrance exam of the University of Tokyo in 2021.
The talk consists of two parts: the overview of Todai Robot Project and the math solver development. The math problem solving system is built on the integration of grammar-driven semantic analysis of the problem text and modern computer algebra technology. We show an overview of the system, several experimental results based on real university entrance exam problems, and prospects for the enhancement of the system’s capability over a wider range of problems.