結果 : artificial intelligence for solving mathematical problems