Start 5-year AI reasoning project, developing human-like AI for elementary-level math problems.