Synthesis Tutor:AI 驱动的数学辅导软件