让人工智能解数学题，可能没你想象的那么简单